Exclusive simulation of activity in digital networks
Communications of the ACM
Diagnostic system for large scale logic cards and LSI'S.
DAC '81 Proceedings of the 18th Design Automation Conference
A MOS/LSI oriented logic simulator
DAC '81 Proceedings of the 18th Design Automation Conference
Design verification and performance analysis
DAC '78 Proceedings of the 15th Design Automation Conference
A module level simulation technique for systems composed of LSI's and MSI's
DAC '78 Proceedings of the 15th Design Automation Conference
The concurrent simulation of nearly identical digital networks
DAC '73 Proceedings of the 10th Design Automation Workshop
Computer-aided prediction of delays in LSI logic systems
DAC '73 Proceedings of the 10th Design Automation Workshop
Verification of timing constraints on large digital systems
DAC '80 Proceedings of the 17th Design Automation Conference
High-speed concurrent fault simulation with vectors and scalars
DAC '80 Proceedings of the 17th Design Automation Conference
Table lookup techniques for fast and flexible digital logic simulation
DAC '80 Proceedings of the 17th Design Automation Conference
Fault-test analysis techniques based on logic simulation
DAC '72 Proceedings of the 9th Design Automation Workshop
Accurate simulation of high speed computer logic
DAC '69 Proceedings of the 6th annual Design Automation Conference
Practical experiences from signal probability simulation of digital designs
DAC '77 Proceedings of the 14th Design Automation Conference
A fault simulator for MOS LSI circuits
DAC '82 Proceedings of the 19th Design Automation Conference
Time flow mechanisms for use in digital logic simulation
WSC '71 Proceedings of the 5th conference on Winter simulation
Logic verification system for very large computers using LSI's
DAC '79 Proceedings of the 16th Design Automation Conference
LECSIM: a levelized event driven compiled logic simulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A general method for compiling event-driven simulations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
An algebra for logic strength simulation
DAC '83 Proceedings of the 20th Design Automation Conference
A design verification methodology based on concurrent simulation and clock suppression
DAC '83 Proceedings of the 20th Design Automation Conference
Periodic signal suppression in a concurrent fault simulator
EURO-DAC '91 Proceedings of the conference on European design automation
Experiences with concurrent fault simulation of diagnostic programs
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
| Hi-index | 0.00 |
Speed and accuracy are fundamental simulation requirements. Simulation is not worthwhile without adequate accuracy, and massive simulations and fault simulations are impossible without adequate speed. Accuracy requirements for simulation are a sufficient repertoire of nodal states, quantitative timing, and, most importantly, adequate structural detail. A variety of techniques have provided speed for simulation, but additional speed is needed.