../

Meeting with kevin

Plan

  • Compare sets of assertions generated
  • Written the extraction
  • Side project with lean
    • Take a design. Convert it to a lean representation
    • Ask the LLM to prove those assertions

Notes

  • Compare with CVA-6 at some point
  • Qualitative measure of assertions
  • How to gauge the quality of assertions
  • How to gauge the quality of a single assertion?
  • Literature review of assertion
  • Synopsys tool assertion generation
  • HARM templates