../

Meeting with Tommy

Notes

  • Compare the set of assertions generated
  • See if they are some assertions that are repeated
  • Move to a smaller design so that you can reason about it better
  • See if the LLM is cheating by padding the number
  • Better quantification of quality
  • Show that lean approach is empirically better

Fault finding

  • apbi2c
  • Smaller design
  • Github opensource verilog code and diffs
  • CVA6 or similarly large designs which are bound to have faults