SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
Verification of timing constraints on large digital systems
25 years of DAC Papers on Twenty-five years of electronic design automation
Design verification and performance analysis
DAC '78 Proceedings of the 15th Design Automation Conference
Topics in design automation data bases
DAC '78 Proceedings of the 15th Design Automation Conference
Verification of timing constraints on large digital systems
DAC '80 Proceedings of the 17th Design Automation Conference
Control and integration of a CAD data base
DAC '76 Proceedings of the 13th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
Design verification based on functional abstraction
DAC '79 Proceedings of the 16th Design Automation Conference
Hi-index | 0.00 |
As we become increasingly aware of the limitations of automation, design validation techniques to reduce errors in manual operations are receiving more attention. Hierarchical design systems in particular rely heavily on computer aids for validating designs. This paper identifies current work in this area and suggests areas for future research.