3 papers
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…
eess.SY2024
Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
Arman Ferdowsi, Matthias Függer, Thomas Nowak +2
Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied d…
eess.SY2023
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Arman Ferdowsi, Matthias Függer, Thomas Nowak +1
Thresholded mode-switched ODEs are restricted dynamical systems that switch ODEs depending on digital input signals only, and produce a digital output signal by thresholding some i…