The Painted Ladies
(This time in SF, I swear)
(This time in SF, I swear)
PhD from UC Berkeley
| Website | https://kevinlaeufer.com/ |
Kevin Laeufer
- 93 Followers
- 151 Following
- 243 Posts
Research Associate at Cornell University
PhD from UC Berkeley
PhD from UC Berkeley
Finishing up my dissertation in the rain in Ithaca! I am excited to start working with @adrian on Monday!
We implemented line, toggle, fsm and mux toggle coverage instrumentation in the firrtl compiler. It all compiles down to synthesizable hardware + a new cover statement. We added support for the cover statement to five different open-source backends.
Our new paper at ASPLOS'23 shows a good example of how open-source EDA is a force multiplier. Instead of implementing line, toggle, fsm, etc. coverage for every hardware simulator we can implement each metric once in a shared compiler.
https://kevinlaeufer.com/papers/simulator_independent_coverage_asplos2023.html