A switch level fault simulation environment
暂无分享,去创建一个
[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.