Implicit deductive fault simulation for complex delay fault models.

This paper introduces an implicit version of the well-known deductive fault simulation technique suitable to delay fault models with an exponential number of faults. The proposed method calculates the fault coverage by generating lists of entities for each line during a single topological circuit tr...

पूर्ण विवरण

ग्रंथसूची विवरण

में प्रकाशित:	IEEE Transactions on VLSI systems 12, 6 (2004).
मुख्य लेखक:	Deodhar, J.V
स्वरूप:	लेख
भाषा:	English
विषय:	Data structures. Fault coverage. Implicit deductive fault simulation. Path delay fault models. Segment delay fault model. Subset. Topological circuit traversal.