Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Laeufer, Kevin
22  Ergebnisse:
Personensuche X
?
1

RTL-Repair: Fast Symbolic Repair of Hardware Design Code:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Laeufer, Kevin ; Fajardo, Brandon ; Ahuja, Abhik... - p. 867-881 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Zoomie: A Software-like Debugging Tool for FPGAs:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Wei, Tianrui ; Laeufer, Kevin ; Lim, Katie... - p. 1048-1062 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Simulator Independent Coverage for RTL Hardware Languages:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Laeufer, Kevin ; Iyer, Vighnesh ; Biancolin, David... - p. 606-615 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Verification of Chisel Hardware Designs with ChiselVerify:

Dobis, Andrew ; Laeufer, Kevin ; Damsgaard, Hans Jakob...
Microprocessors and Microsystems.  96 (2023)  - p. 104737 , 2023
Link: https://doi.org/10.1016/..
 
?
5

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022
Link: https://doi.org/10.1007/..
 
?
6

RFUZZ : coverage-directed fuzz testing of RTL on FPGAs:

, In: Proceedings of the International Conference on Computer-Aided Design,
Laeufer, Kevin ; Koenig, Jack ; Kim, Donggyu.. - p. 1-8 , 2018
Link: https://dl.acm.org/doi/1..
 
?
7

Efficient Sampling of SAT Solutions for Testing:

, In: 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE),
Dutra, Rafael ; Laeufer, Kevin ; Bachrach, Jonathan. - p. 549-559 , 2018
Link: https://doi.org/10.1145/..
 
?
8

Efficient sampling of SAT solutions for testing:

, In: Proceedings of the 40th International Conference on Software Engineering,
Dutra, Rafael ; Laeufer, Kevin ; Bachrach, Jonathan. - p. 549-559 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Verification of Chisel Hardware designs with ChiselVerify:

Dobis, Amelia ; id_orcid:0 000-0001-9663-1672 ; Laeufer, Kevin...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.micpro.2022.104737.  , 2023
Link: https://hdl.handle.net/2..
 
?
10

Simulator Independent Coverage for RTL Hardware Languages -..:

Laeufer, Kevin
doi:10.5281/zenodo.7592871.  , 2023
Link: https://zenodo.org/recor..
 
?
11

Simulator Independent Coverage for RTL Hardware Languages -..:

Laeufer, Kevin
doi:10.5281/zenodo.7592871.  , 2023
Link: https://zenodo.org/recor..
 
?
12

Verification of Chisel Hardware designs with ChiselVerify:

Dobis, Andrew ; Laeufer, Kevin ; Damsgaard, Hans Jakob...
https://orbit.dtu.dk/en/publications/673ee72e-f220-4320-a95b-7b516a19b1ba.  , 2023
Link: https://orbit.dtu.dk/en/..
 
?
13

Simulator Independent Coverage for RTL Hardware Languages -..:

Laeufer, Kevin
doi:10.5281/zenodo.7592871.  , 2023
Link: https://zenodo.org/recor..
 
?
14

Verification of Chisel Hardware designs with ChiselVerify:

Dobis, Andrew ; Laeufer, Kevin ; Damsgaard, Hans Jakob...
104737.  , 2023
Link: https://trepo.tuni.fi/ha..
 
?
15

UCLID5: Multi-Modal Formal Modeling, Verification, and Synt..:

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav...
http://arxiv.org/abs/2208.03699.  , 2022
Link: http://arxiv.org/abs/220..
 
1-15