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)

zbMATH Keywords

continuitycompositionfaithfulnesscircuit verificationdynamic timing analysisthresholded hybrid systems

Mathematics Subject Classification ID

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

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)