file.pdf (309 kB)

CMOS Circuit Verification with Symbolic Switch-Level Timing Simulation

Download (309 kB)
journal contribution
posted on 01.01.1986 by Clayton B McDonald, Randal E. Bryant
Symbolic switch-level simulation has been extensively applied to the functional verification of complementary metal-oxide-semiconductor (CMOS) circuitry. We have extended this technique to account for real-valued data-dependent delay values and have developed a novel mechanism for symbolically computing data-dependent Elmore delays. We present our symbolic simulation and delay calculation algorithms and discuss their application to the timing and functional verification of full-custom transistor-level CMOS circuitry

History

Publisher Statement

All Rights Reserved

Date

01/01/1986

Exports

Exports