RTL-Repair: Fast Symbolic Repair of Hardware Design Code. - Kevin Laeufer; Brandon Fajardo; Abhik Ahuja; Vighnesh Iyer; Borivoje Nikolic; Koushik Sen (ASPLOS (3), 2024)