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
Μορφή: Άρθρο
Γλώσσα:Αγγλικά
Θέματα: