7 lines (4 loc) · 369 Bytes

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.