../

Meeting with Kevin

Meeting minutes

  • No meeting next week
  • Boom core mining with happens before on a specific module
  • Both HARM and texada flows works
    • There was a difference
    • HARM and texada consistency
    • Weak implication fixed
    • drop HARM rules that are not reached in the last cycle
  • HARM running out of memory when it is run on the whole design
    • Intermediate file is just csv
  • Is CVA-6 to BOOM progression common?
  • Mine other rules on CVA-6
  • How automated is the process of mining?
    • How fast can we move from templates to templates
  • Bucketing the signals
    • This will prevent the $O(n^2)$ blowup
    • Use COI to map signal affinity
  • FMCAD 5 years ago, paper might be helpful
  • The rules seem reasonable

RISC-V verification guide Imperus -> Synopsys

Siemens RISCV

Brad’s meetings

  • Lawyer
    • Talk to another lawyer
  • Emulation