9 citations · 9 across the 4 of their papers we have counts for
4 papers
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…
A Hybrid Delay Model for Interconnected Multi-Input Gates
Arman Ferdowsi, Matthias Függer, Josef Salzmann +1
Dynamic digital timing analysis is a less accurate but fast alternative to highly accurate but slow analog simulations of digital circuits. It relies on gate delay models, which al…
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…
Unfaithful Glitch Propagation in Existing Binary Circuit Models
Matthias Függer, Thomas Nowak, Ulrich Schmid
We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are base…