Digital logic testing and simulation
Digital logic testing and simulation
Timing verification and the timing analysis program
25 years of DAC Papers on Twenty-five years of electronic design automation
A timing analysis of level-clocked circuitry
AUSCRYPT '90 Proceedings of the sixth MIT conference on Advanced research in VLSI
Analysis and design of latch-controlled synchronous digital circuits
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Timing verification using HDTV
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
CLOVER: a timing constraints verification system
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
An approach to symbolic timing verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
A verification technique for gated clock
DAC '93 Proceedings of the 30th international Design Automation Conference
Timing verification of microprocessor-based designs
Timing verification of microprocessor-based designs
Exploiting multi-cycle false paths in the performance optimization of sequential circuits
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Waiting false path analysis of sequential logic circuits for performance optimization
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Multi-clock path analysis using propositional satisfiability
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
An implication-based method to detect multi-cycle paths in large sequential circuits
Proceedings of the 39th annual Design Automation Conference
Synthesis and Optimization of Combinational Interface Circuits
Journal of VLSI Signal Processing Systems
Enhancing the performance of multi-cycle path analysis in an industrial setting
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Efficient identification of multi-cycle false path
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Fixed points for multi-cycle path detection
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |