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

Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen

Browse the full ASPLOS paper archive.