Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Harel , Tektronix Inc., Beaverton, OR, USA
Krishnamurthy , Tektronix Inc., Beaverton, OR, USA
The authors describe a graph-compaction-based algorithm for fault simulation in combination circuits. The algorithm consists of reducing the circuit graph by repeatedly removing nonreconvergent vertices. The algorithm has been implemented in Smalltalk and preliminary experimental results are presented. A version of the algorithm outperforms all known fault simulation algorithms on a family of hard circuits.
logic testing, graph compaction, fault simulation, combination circuits, nonreconvergent vertices, Smalltalk
Harel and Krishnamurthy, "A graph compaction approach to fault simulation," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 601-604.