Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation.

Kyeongsoon Cho, Randal E. Bryant

Browse the full DAC paper archive.