Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs

DOI10.1016/J.NAHS.2024.101572MaRDI QIDQ7015105zbMATH OpenFDO

Authors Matthias Függer, Thomas Nowak, Ulrich Schmid, Michael Drmota

Publication date 10 March 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2024.101572

zbMATH Keywords

continuitycompositionfaithfulnesscircuit verificationdynamic timing analysisthresholded hybrid systems

Mathematics Subject Classification ID

Analytic circuit theory (94C05) Hybrid systems of ordinary differential equations (34A38)

Cites work

• scientific article; zbMATH DE number 3160419 (Why is no real title available?)
• scientific article; zbMATH DE number 41285 (Why is no real title available?)
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• Asynchronous Sequential Switching Circuits with Unrestricted Input Changes
• Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
• General theory of metastable operation
• Hybrid I/O automata.
• On the Lambert \(w\) function
• Ordinary differential equations and dynamical systems
• The Effect of Asynchronous Inputs on Sequential Network Reliability
• Unfaithful Glitch Propagation in Existing Binary Circuit Models

Cited in

(1)

• State-dependent switching rule design based on polar coordinate method: a case of hybrid unstable subsystem composition

This page was built for publication: Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7015105)