../

Meeting with Tommy

Possible References

Introduction

  • Strong motivation needed for assertion mining
    • doi:10.1145/1837274.1837279 Post-Silicon Is Too Late Avoiding the $50 Million Paperweight Starts with Validated Designs is a strong motivation for why we need to do pre-silicon verification. But Idk if it motivates assertion mining.

TODOs

  • CVA-6 Verif
  • Add 50M paper, Wilson report about number of verification
  • See if there is a place to add BPS
  • Fix equation
  • Find paper with a strong motivation to assertion mining
  • Find paper with a strong motivation for constraining being hard especially at this scale