Showing eess.SYShow all
2 papers · 1 filter
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…