Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
Exclusive simulation of activity in digital networks
Communications of the ACM
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
Time flow mechanisms for use in digital logic simulation
WSC '71 Proceedings of the 5th conference on Winter simulation
The description, simulation, and automatic implementation of digital computer processors
The description, simulation, and automatic implementation of digital computer processors
The analysis and synthesis of methods for the modeling of different faultclasses in a digital logic simulation system
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Dynamic and deductive fault simulation
DAC '78 Proceedings of the 15th Design Automation Conference
Hi-index | 0.00 |
Digital logic simulators have traditionally served three functions for the designer; those are logic verification, design verification (detailed timing analysis), and fault analysis. Logic verification is well understood and accurate models have existed for this purpose for some time. Design verification has improved steadily over recent years and very accurate models exist for gate-level analysis. Fault analysis has progressed much more slowly, and most models currently used are quite limited. This paper details the evolution of models used in performing the three functions, and discusses current strategy; especially with respect to timing analysis and fault insertion. Current fault and timing models are discussed in light of current technology, with emphasis on the applicability of faults to such devices as emitter coupled logic and MOS-LSI. Adequate model detail for an integrated circuit based on knowledge of package terminal behavior is discussed, and certain problems encountered in adequate modeling of complex functions (such as multi-phase memories) are presented.