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

https://hal.inria.fr/hal-02395251
Contributor : Matthias Függer <>
Submitted on : Thursday, December 5, 2019 - 12:54:13 PM
Last modification on : Monday, February 15, 2021 - 10:48:18 AM
Long-term archiving on: : Friday, March 6, 2020 - 4:53:58 PM

File

camrdy.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

110

Files downloads

454