Timing verification on a 1.2M-device full-custom CMOS design

Static timing analysis of dynamically sensitizable paths

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference

Analysis and design of latch-controlled synchronous digital circuits

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Pearl: a CMOS timing analyzer

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

ATV: an abstract timing verifier

DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference

Switch-level delay models for digital MOS VLSI

DAC '84 Proceedings of the 21st Design Automation Conference

Timing Models for MOS Circuits

Timing Models for MOS Circuits