Skip to Main content Skip to Navigation
Conference papers

Experimental Validation of a Faithful Binary Circuit Model

Robert Najvirt 1 Matthias Függer 1 Thomas Nowak 2 Ulrich Schmid 1 Michael Hofbauer 3 Kurt Schweiger 3
2 DYOGENE - Dynamics of Geometric Networks
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8548
Abstract : Fast digital timing simulations based on continuous-time, digital-value circuit models are an attractive and heavily used alternative to analog simulations. Models based on analytic delay formulas are particularly interesting here, as they also facilitate formal verification and delay bound synthesis of complex circuits. Recently, Függer et al. (arXiv:1406.2544 [cs.OH]) proposed a circuit model based on so-called involution channels. It is the first binary circuit model that realistically captures solvability of short-pulse filtration, a non-trivial glitch propagation problem related to building one-shot inertial delays. In this work, we address the question of whether involu-tion channels also accurately model the delay of real circuits. Using both Spice simulations and physical measurements, we confirm that modeling an inverter chain by involution channels accurately describes reality. We also demonstrate that transitions in vanishing pulse trains are accurately predicted by the involution model. For our Spice simulations, we used both UMC-90 and UMC-65 technology, with varying supply voltages from nominal down to near sub-threshold range. The measurements were performed on a special-purpose UMC-90 ASIC that combines an inverter chain with low-intrusive high-speed on-chip analog amplifiers.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
Contributor : Thomas Nowak <>
Submitted on : Friday, November 20, 2015 - 2:16:35 PM
Last modification on : Thursday, February 7, 2019 - 3:49:56 PM
Document(s) archivé(s) le : Friday, April 28, 2017 - 2:40:36 PM


Files produced by the author(s)




Robert Najvirt, Matthias Függer, Thomas Nowak, Ulrich Schmid, Michael Hofbauer, et al.. Experimental Validation of a Faithful Binary Circuit Model. 25th Great Lakes Symposium on VLSI (GLSVLSI 2015), May 2015, Pittsburgh, United States. ⟨10.1145/2742060.2742081⟩. ⟨hal-01231509⟩



Record views


Files downloads