CMOS circuit verification with symbolic switch-level timing simulation.

CMOS circuit verification with symbolic switch-level timing simulation.

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 compu...

Deskribapen osoa

Xehetasun bibliografikoak
Argitaratua izan da:IEEE Transactions on computer-aided design of integrated circuits and systems 20, 3 (2001).
Egile nagusia: McDonald, C.B
Formatua: Artikulua
Hizkuntza:English
Gaiak:
CMOS circuit verification.
Data-dependent Elmore delays.
Delay calculation algorithms.
Full-custom transistor-level CMOS circuitry.
Real-valued data-dependent delay values.
Symbolic switch-level timing simulation.