ACCORD: Automatic Catching and CORrection of Logic Design Errors in Combinatorial Circuits.

Pi-Yu Chung, Ibrahim N. Hajj

Browse the full ITC paper archive.