A switch level fault simulation environment

This paper presents a fault simulation environment which accepts pure switch level or mixed switch/RT level descriptions of the design under test. Switch level fault injection strategies for the stuck-at, transition and logic bridge models are presented. A fault simulation algorithm is presented, along with design issues and optimizations. The fault simulation algorithm places no restrictions on the circuit styles used to implement designs. Mixed level simulation issues are discussed. Fault simulation performance numbers on large industrial benchmarks are reported.

[1]  Kwang-Ting Cheng,et al.  Transition fault testing for sequential circuits , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Carl Seger VOSS - A Formal Hardware Verification System User''s Guide , 1993 .

[3]  Randal E. Bryant,et al.  COSMOS: a compiled simulator for MOS circuits , 1987, DAC '87.

[4]  Erik Seligman,et al.  Logic verification of very large circuits using Shark , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[5]  Jacob A. Abraham,et al.  Distributed mixed level logic and fault simulation on the Pentium/sup (R/)Pro microprocessor , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[6]  Wu-Tung Cheng,et al.  Differential Fault Simulation - A Fast Method Using Minimal Memory , 1989, 26th ACM/IEEE Design Automation Conference.

[7]  Gerald E. Sobelman,et al.  Algorithms for fast, memory efficient switch-level fault simulation , 1991, 28th ACM/IEEE Design Automation Conference.