Sotabase
Home
Researchers
Career
·
Research Associate and Visiting Lecturer
,
Cornell University
2024–
·
Graduate Student Instructor (GSI)
,
University of California, Berkeley
2019–2021
·
PhD in Computer Science
,
University of California, Berkeley
2019–2024
Publications
(13)
RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2018
155
cited
Efficient Sampling of SAT Solutions for Testing
International Conference on Software Engineering · 2018
121
cited
Verification of Chisel Hardware Designs with ChiselVerify
Microprocessors and microsystems · 2022
19
cited
RTL-Repair: Fast Symbolic Repair of Hardware Design Code
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
14
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Simulator Independent Coverage for RTL Hardware Languages
International Conference on Architectural Support for Programming Languages and Operating Systems · 2023
9
cited
R TL F UZZ L AB : Building A Modular Open-Source Hardware Fuzzing Framework
2021
4
cited
Open-Source Formal Verification for Chisel
3
cited
and Microsystems
1
cited
Zoomie: A Software-like Debugging Tool for FPGAs
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
1
cited
Automated Testing, Verification and Repair of RTL Hardware Designs
2024
Edinburgh Research Explorer UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
2022
Verification of Chisel Hardware Designs with ChiselVerify
Sotabase
Kevin Laeufer | Researcher Profile | Sotabase | Sotabase