论文信息 - An Introduction to Logic and Fault Simulation

An Introduction to Logic and Fault Simulation

This is an introduction to logic simulation concepts for second or third year undergraduate students in electrical engineering. The motivation, modelling techniques, and algorithms are considered for logic simulation (the verification of the design itself) and fault simulation (the verification of the test for the design).

S. P. Menzel | S. Menzel

[1] J. Hayes. A unified switching theory with applications to VLSI design , 1982, Proceedings of the IEEE.

[2] Ernst G. Ulrich. Exclusive simulation of activity in digital networks , 1969, CACM.

[3] H. Rombeek,et al. F/LOGIC - An interactive fault and logic simulator for digital circuits , 1976, DAC '76.

[4] Randal E. Bryant,et al. A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.

[5] Ernst G. Ulrich. Event manipulation for discrete simulations requiring large numbers of events , 1978, CACM.

[6] J. Paul Roth,et al. Computer Logic Testing And Verification , 1980 .

[7] D. C. King. Diagnosis and reliable design of digital systems , 1977 .

[8] R W Brander. Digital System Design Automation: Languages, Simulation and Data Base , 1978 .

[9] Randal E. Bryant. MOSSIM: A Switch-Level Simulator for MOS LSI , 1981, 18th Design Automation Conference.