CirFix: automatically repairing defects in hardware design code.

Hammad Ahmad, Yu Huang, Westley Weimer

Browse the full ASPLOS paper archive.