2 papers
cs.AR2026
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…
cs.AR2025
Symbolic Timing Analysis of Digital Circuits Using Analytic Delay Functions
Era Thaqi, Dennis Eigner, Arman Ferdowsi +1
We propose a novel approach to symbolic timing analysis for digital integrated circuits based on recently developed analytic delay formulas for 2-input NOR, NAND, and Muller-C gate…