Handling faults in a VLSI CAD environment | IEEE Conference Publication | IEEE Xplore