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

Rolf Krieger Bernd Becker Martin Keim

Published in: DAC (1995)

Keyphrases

search algorithm
search strategy
learning algorithm
fault diagnosis
data sets
high level
simulation model
simulation environment
discrete event