Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy.

Rolf Krieger, Bernd Becker, Martin Keim

Browse the full DAC paper archive.