I am a PhD candidate in the ADEPT Lab at UC Berkeley. I am a major contributor to Chisel, an open-source hardware construction language, in particular to the firrtl hardware compile and the chiseltest verification library. I am advised by Koushik Sen.
- Mar'23I am giving a talk on our Simulator Independent Coverage work at the CIRCT Weekly Developer Meeting on March 15th.
- Feb'23I am giving a guest lecture on formal verification in CSE 228A - Agile Hardware Design at UC Santa Cruz on February 27th.
- Jan'23Paper on Simulator Independent Coverage accepted to ASPLOS 2023
Simulator Independent Coverage for RTL Hardware Languages
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic and Koushik Sen
ASPLOS 2023 (Paper PDF / GitHub / Lightning Talk / Lightning Slides / Poster (PDF) / DOI Link)
Verification of Chisel Hardware Designs with ChiselVerify
Andrew Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Hesse, Enrico Tolotto, Simon Thye Andersen, Richard Lin and Martin Schoeberl
Microprocessors and Microsystems (Paper PDF / GitHub / DOI Link)
Open-Source Formal Verification for Chisel
Kevin Laeufer, Jonathan Bachrach and Koushik Sen
WOSET 2021 (Paper PDF / Slides PDF / Talk / GitHub)
RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach and Koushik Sen
ICCAD 2018 (Paper PDF / Slides PDF / GitHub / DOI Link)
Efficient Sampling of SAT Solutions for Testing
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach and Koushik Sen
ICSE 2018 (Paper PDF / GitHub / DOI Link)