ABSTRACT
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 internal signal. Such systems arise in recent digital circuit delay models, where the analog signals within a gate are governed by ODEs that change depending on the digital inputs.
We prove the continuity of the mapping from digital input signals to digital output signals for a large class of thresholded mode-switched ODEs. This continuity property is known to be instrumental for ensuring the faithfulness of the model w.r.t. propagating short pulses. We apply our result to several instances of such digital delay models, thereby proving them to be faithful.
- Manuel J. Bellido-Díaz, Jorge Juan-Chico, and Manuel Valencia. 2006. Logic-Timing Simulation and the Degradation Delay Model. Imperial College Press, London.Google Scholar
- Maxence Bouvier, Alexandre Valentian, Thomas Mesquida, Francois Rummens, Marina Reyboz, Elisa Vianello, and Edith Beigne. 2019. Spiking Neural Networks Hardware Implementations and Challenges: A Survey. ACM Journal on Emerging Technologies in Computing Systems 15, 2, Article 22 (2019), 35 pages.Google ScholarDigital Library
- Liang-Chi Chen, S. K. Gupta, and M. A. Breuer. 2001. A new gate delay model for simultaneous switching and its applications. In Proceedings of the 38th Design Automation Conference. 289–294. https://doi.org/10.1109/DAC.2001.156153Google ScholarDigital Library
- Arman Ferdowsi, Jürgen Maier, Daniel Öhlinger, and Ulrich Schmid. 2022. A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input Gate. In Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition.Google ScholarCross Ref
- Arman Ferdowsi, Ulrich Schmid, and Josef Salzmann. 2022. An Accurate Hybrid Delay Model for Multi-Input Gates. arXiv preprint arXiv:2211.10628 (2022).Google Scholar
- A. F. Filippov. 1988. Differential Equations with Discontinuous Righthand Sides. Springer, Heidelberg.Google Scholar
- Matthias Függer, Thomas Nowak, and Ulrich Schmid. 2016. Unfaithful Glitch Propagation in Existing Binary Circuit Models. IEEE Trans. Comput. 65, 3 (2016), 964–978. https://doi.org/10.1109/TC.2015.2435791Google ScholarDigital Library
- M. Függer, R. Najvirt, T. Nowak, and U. Schmid. 2020. A Faithful Binary Circuit Model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39, 10 (2020), 2784–2797. https://doi.org/10.1109/TCAD.2019.2937748Google ScholarCross Ref
- Thomas A Henzinger. 2000. The theory of hybrid automata. In Verification of Digital and Hybrid Systems. Springer, Heidelberg, 265–292.Google ScholarCross Ref
- Nancy Lynch, Roberto Segala, and Frits Vaandrager. 2003. Hybrid I/O automata. Information and Computation 185, 1 (2003), 105–157.Google ScholarDigital Library
- Walter Rudin. 1976. Principles of Mathematical Analysis. McGraw-Hill, New York.Google Scholar
- H. Shichman and D. A. Hodges. 1968. Modeling and simulation of insulated-gate field-effect transistor switching circuits. IEEE Journal of Solid-State Circuits 3, 3 (1968), 285–289. https://doi.org/10.1109/JSSC.1968.1049902Google ScholarCross Ref
- Gerald Teschl. 2012. Ordinary Differential Equations and Dynamical Systems. American Mathematical Society, Providence.Google Scholar
- Daniel Öhlinger, Jürgen Maier, Matthias Függer, and Ulrich Schmid. 2021. The Involution Tool for Accurate Digital Timing and Power Analysis. Integration 76 (2021), 87–98. https://doi.org/10.1016/j.vlsi.2020.09.007Google ScholarCross Ref
Recommendations
Continuity and pullback attractors for a non-autonomous reaction-diffusion equation in R N
In this paper, we study the dynamics of a non-autonomous reaction-diffusion equation in R N with the nonlinearity f satisfying the polynomial growth of arbitrary order p - 1 ( p 2 ) . Firstly, we prove the existence of the pullback D α -attractor in L 2 ...
Singular boundary value problems for ODEs
This paper is concerned with the numerical solution of a system of ordinary differential equations (ODEs), y^'=Sy/t+f(t,y,p), on an interval [0,b] subject to boundary conditions 0=g(y(0),y(b),p). The ODEs have a coefficient that is singular at t=0, but ...
Discontinuous Galerkin methods for Hamiltonian ODEs and PDEs
In this article, we present a unified framework of discontinuous Galerkin (DG) discretizations for Hamiltonian ODEs and PDEs. We show that with appropriate numerical fluxes the numerical algorithms deduced from DG discretizations can be combined with ...
Comments