Kevin Laeufer

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.

News

Mar'24
Papers on RTL-Repair and Zoomie, a tool for better debugging on FPGAs accepted to ASPLOS 2024
Feb'24
The Surfer Waveform Viewer is now using my wellen library to quickly load VCD and FST files. My library allows Surfer to parse VCDs using multiple-threads and to load much larger VCDs thanks to a compressed in-memory representation. Checkout the Surfer 0.1.0 release announcement and try out Surfer in your browser.
Mar'23
I am giving a talk on our Simulator Independent Coverage work at the CIRCT Weekly Developer Meeting on March 15th.
Feb'23
I am giving a guest lecture on formal verification in CSE 228A - Agile Hardware Design at UC Santa Cruz on February 27th.
Jan'23
Paper on Simulator Independent Coverage accepted to ASPLOS 2023

Publications

RTL-Repair: Fast Symbolic Repair of Hardware Design Code
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic and Koushik Sen
ASPLOS 2024 (Paper PDF / GitHub / Lightning Talk / Lightning Slides / DOI Link)
Zoomie: A Software-like Debugging Tool for FPGAs
Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind and Krste Asanovic
ASPLOS 2024 (Paper PDF / GitHub / DOI Link)
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
Amelia 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)