Inproceedings,
RTL-Repair: Fast Symbolic Repair of Hardware Design Code.
K. Laeufer, B. Fajardo, A. Ahuja, V. Iyer, B. Nikolic, and K. Sen.ASPLOS (3), page 867-881. ACM, (2024)
Meta data
- BibTeX key
- conf/asplos/LaeuferFAINS24
- entry type
- inproceedings
- booktitle
- ASPLOS (3)
- year
- 2024
- pages
- 867-881
- publisher
- ACM
- crossref
- conf/asplos/2024-3
- ee
- https://doi.org/10.1145/3620666.3651346
- url
- http://dblp.uni-trier.de/db/conf/asplos/asplos2024-3.html#LaeuferFAINS24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/asplos/LaeuferFAINS24
%A Laeufer, Kevin
%A Fajardo, Brandon
%A Ahuja, Abhik
%A Iyer, Vighnesh
%A Nikolic, Borivoje
%A Sen, Koushik
%B ASPLOS (3)
%D 2024
%E Gupta, Rajiv
%E Abu-Ghazaleh, Nael B.
%E Musuvathi, Madan
%E Tsafrir, Dan
%I ACM
%K dblp
%P 867-881
%T RTL-Repair: Fast Symbolic Repair of Hardware Design Code.
%U http://dblp.uni-trier.de/db/conf/asplos/asplos2024-3.html#LaeuferFAINS24
@inproceedings{conf/asplos/LaeuferFAINS24,
added-at = {2024-05-04T00:00:00.000+0200},
author = {Laeufer, Kevin and Fajardo, Brandon and Ahuja, Abhik and Iyer, Vighnesh and Nikolic, Borivoje and Sen, Koushik},
biburl = {https://www.bibsonomy.org/bibtex/2f6be7767b7fbf4252c26eb24c68581ae/dblp},
booktitle = {ASPLOS (3)},
crossref = {conf/asplos/2024-3},
editor = {Gupta, Rajiv and Abu-Ghazaleh, Nael B. and Musuvathi, Madan and Tsafrir, Dan},
ee = {https://doi.org/10.1145/3620666.3651346},
interhash = {b9529d0b4befacde638c5c36a8ce2ec7},
intrahash = {f6be7767b7fbf4252c26eb24c68581ae},
keywords = {dblp},
pages = {867-881},
publisher = {ACM},
timestamp = {2024-05-06T07:20:39.000+0200},
title = {RTL-Repair: Fast Symbolic Repair of Hardware Design Code.},
url = {http://dblp.uni-trier.de/db/conf/asplos/asplos2024-3.html#LaeuferFAINS24},
year = 2024
}