Exclusive simulation of activity in digital networks
Communications of the ACM
Algorithm for vectorizing logic simulation and evaluation of “VELVET” performance
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Speed up techniques of logic simulation
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An extensive logic simulation method of very large scale computer design
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Design automation status in Japan
DAC '81 Proceedings of the 18th Design Automation Conference
A critical path delay check system
DAC '81 Proceedings of the 18th Design Automation Conference
MIXS: A mixed level simulator for large digital system logic verification
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
| Hi-index | 0.00 |
To aid design verification of very large computers using many LSI's, software tools including a logic simulator with capability of 750,000 gates have been developed.