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

Kyeongsoon Cho Randal E. Bryant

Published in: DAC (1989)

Keyphrases

fault models
high speed
fault diagnosis
database
artificial intelligence
information systems
knowledge base
simulation model
fault detection
simulation environment