Login / Signup
RTL-Repair: Fast Symbolic Repair of Hardware Design Code.
Kevin Laeufer
Brandon Fajardo
Abhik Ahuja
Vighnesh Iyer
Borivoje Nikolic
Koushik Sen
Published in:
ASPLOS (3) (2024)
Keyphrases
</>
hardware design
hardware description language
source code
damage assessment
fpga hardware
computer vision
neural network
parallel architectures
hardware software
preventive maintenance
consistent query answering
real time
high level
open source
field programmable gate array
symbolic description