Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation.

Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.