Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

A Faithful Binary Circuit Model

Abstract : [Függer et al., IEEE TC 2016] proved that no existing digital circuit model, including those based on pure and inertial delay channels, faithfully captures glitch propagation: For the Short-Pulse Filtration (SPF) problem similar to that of building a one-shot inertial delay, they showed that every member of the broad class of bounded single-history channels either contradicts the unsolvability of SPF in bounded time or the solvability of SPF in unbounded time in physical circuits. In this paper, we propose binary circuit models based on novel involution channels that do not suffer from this deficiency. Namely, in sharp contrast to bounded single-history channels, SPF cannot be solved in bounded time with involution channels, whereas it is easy to provide an unbounded SPF implementation. Hence, binary-valued circuit models based on involution channels allow to solve SPF precisely when this is possible in physical circuits. Additionally, using both Spice simulations and physical measurements of an inverter chain instrumented by high-speed analog amplifiers, we demonstrate that our model provides good modeling accuracy with respect to real circuits as well. Consequently , our involution channel model is not only a promising basis for sound formal verification, but also allows to seamlessly improve existing dynamic timing analysis.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Matthias Függer Connect in order to contact the contributor
Submitted on : Thursday, December 5, 2019 - 12:54:13 PM
Last modification on : Sunday, June 26, 2022 - 2:44:02 AM
Long-term archiving on: : Friday, March 6, 2020 - 4:53:58 PM


Files produced by the author(s)



Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid. A Faithful Binary Circuit Model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2019, ⟨10.1109/TCAD.2019.2937748⟩. ⟨hal-02395251⟩



Record views


Files downloads