Follow
Kevin Laeufer
Kevin Laeufer
PhD Candidate, Computer Science Department, UC Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs
K Laeufer, J Koenig, D Kim, J Bachrach, K Sen
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018
1242018
Efficient sampling of SAT solutions for testing
R Dutra, K Laeufer, J Bachrach, K Sen
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
972018
Verification of Chisel Hardware designs with ChiselVerify
A Dobis, K Laeufer, HJ Damsgaard, T Petersen, KJH Rasmussen, ...
Microprocessors and Microsystems 96, 104737, 2023
112023
UCLID5: Multi-modal formal modeling, verification, and synthesis
E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ...
International Conference on Computer Aided Verification, 538-551, 2022
102022
ChiselTest
R Lin, K Laeufer
https://github.com/ucb-bar/chiseltest/, 2022
9*2022
Simulator Independent Coverage for RTL Hardware Languages
K Laeufer, V Iyer, D Biancolin, J Bachrach, B Nikolić, K Sen
Proceedings of the 28th ACM International Conference on Architectural …, 2023
32023
Open-Source Formal Verification for Chisel
K Laeufer, J Bachrach, K Sen
Workshop on Open-Source EDA Technology (WOSET), 2021
32021
RTLFUZZLAB: Building A Modular Open-Source Hardware Fuzzing Framework
B Fajardo, K Laeufer, J Bachrach, K Sen
Workshop on Open-Source EDA Technology (WOSET), 2021
22021
Zoomie: A Software-like Debugging Tool for FPGAs
T Wei, K Laeufer, K Lim, J Zhao, K Sen, J Balkind, K Asanović
(ASPLOS'24) Proceedings of the 29th ACM International Conference on …, 2024
2024
RTL-Repair: Fast Symbolic Repair of Hardware Design Code
K Laeufer, B Fajardo, A Ahuja, V Iyer, B Nikolić, K Sen
(ASPLOS'24) Proceedings of the 29th ACM International Conference on …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10