Exclusive simulation of activity in digital networks
Communications of the ACM
The concurrent simulation of nearly identical digital networks
DAC '73 Proceedings of the 10th Design Automation Workshop
Functional simulation in the lamp system
DAC '76 Proceedings of the 13th Design Automation Conference
Concurrent fault simulation and functional level modeling
DAC '77 Proceedings of the 14th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
Design automation status in Japan
DAC '81 Proceedings of the 18th Design Automation Conference
A MOS/LSI oriented logic simulator
DAC '81 Proceedings of the 18th Design Automation Conference
Process oriented logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
GSP: A logic simulator for LSI
DAC '81 Proceedings of the 18th Design Automation Conference
Hierarchical microprogram generating system
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
Functional level simulation at Raytheon
DAC '80 Proceedings of the 17th Design Automation Conference
Speed and accuracy in digital network simulation based on structural modeling
DAC '82 Proceedings of the 19th Design Automation Conference
Digital logic modeling system based on MODLAN
DAC '82 Proceedings of the 19th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
Developments in computer simulation of gate level physical logic
DAC '79 Proceedings of the 16th Design Automation Conference
Hi-index | 0.00 |
This paper describes newly developed techniques suitable for logic verification and fault simulation of digital systems which are mainly composed of LSI's and MSI's. A simulator employing such techniques has been implemented, and has shown definite advantages over existing simulators.