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
CNRS - Centre National de la Recherche Scientifique : UMR8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
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.
Type de document :
Communication dans un congrès
25th Great Lakes Symposium on VLSI (GLSVLSI 2015), May 2015, Pittsburgh, United States. 25th Great Lakes Symposium on VLSI (GLSVLSI 2015), 〈http://www.glsvlsi.org/archive/glsvlsi15/index.html〉. 〈10.1145/2742060.2742081〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01231509
Contributeur : Thomas Nowak <>
Soumis le : vendredi 20 novembre 2015 - 14:16:35
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : vendredi 28 avril 2017 - 14:40:36

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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. 25th Great Lakes Symposium on VLSI (GLSVLSI 2015), 〈http://www.glsvlsi.org/archive/glsvlsi15/index.html〉. 〈10.1145/2742060.2742081〉. 〈hal-01231509〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

114