RTL-Repair: Fast Symbolic Repair of Hardware Design Code

Note If you are looking to reproduce the results from our ASPLOS'24 paper, please checkout the instructions on the asplos24 branch.

Name		Name	Last commit message	Last commit date
Latest commit History 801 Commits
.github/workflows		.github/workflows
benchmarks		benchmarks
cirfix		cirfix
demo		demo
notes		notes
pyverilog		pyverilog
results		results
rtlrepair		rtlrepair
scripts		scripts
synth		synth
.gitignore		.gitignore
Readme.md		Readme.md
requirements.txt		requirements.txt
rtlrepair.py		rtlrepair.py
test.py		test.py

Provide feedback