A Symbolic Execution Framework for Symbolic Timing Analysis of Digital Integrated Circuits

Dennis Eigner, Arman Ferdowsi, Ulrich Schmid

Simulation-based dynamic timing analysis of digital integrated circuits (DDTA) offers a faster alternative to traditional analog SPICE simulations. To achieve timing predictions th…