Design verification and performance analysis
DAC '78 Proceedings of the 15th Design Automation Conference
SCALD: Structured Computer-Aided Logic Design
DAC '78 Proceedings of the 15th Design Automation Conference
The SCALD physical design subsystem
DAC '78 Proceedings of the 15th Design Automation Conference
Electrical considerations in the computer aided design of logic circuit interconnections
DAC '73 Proceedings of the 10th Design Automation Workshop
An accurate time delay model for large digital network simulation
DAC '76 Proceedings of the 13th Design Automation Conference
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic
DAC '72 Proceedings of the 9th Design Automation Workshop
Race analysis of digital systems without logic simulation
DAC '71 Proceedings of the 8th Design Automation Workshop
Design validation in hierarchical systems
DAC '75 Proceedings of the 12th Design Automation Conference
Design verification of large scientific computers
DAC '77 Proceedings of the 14th Design Automation Conference
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
Hi-index | 0.00 |