Back to Search Start Over

The Involution Tool for Accurate Digital Timingand Power Analysis

Authors :
Jürgen Maier
Ulrich Schmid
Matthias Függer
Daniel Öhlinger
Institute of Computer Engineering [Vienna]
Vienna University of Technology (TU Wien)
Centre National de la Recherche Scientifique (CNRS)
Laboratoire Spécification et Vérification [Cachan] (LSV)
École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)
Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)
Université Paris-Saclay
Modeling and Exploitation of Interaction and Concurrency (MEXICO)
École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France
Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
This research was partially funded by the Austrian Science Fund (FWF) projects SIC (P26436) and RiSE (S11405), projects FREDDA (ANR-17-CE40-0013) and DEPEC MODE (Departement STIC), and by DigiCosme(working group HicDiesMeus)
ANR-17-CE40-0013,FREDDA,Méthodes formelles pour la conception d'algorithmes distribués(2017)
Source :
PATMOS 2019-29th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS 2019-29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Jul 2019, Rhodes, Greece. ⟨10.1109/PATMOS.2019.8862165⟩, PATMOS
Publication Year :
2019
Publisher :
HAL CCSD, 2019.

Abstract

International audience; We introduce the prototype of a digital timing simulation and power analysis tool for integrated circuit (Involution Tool) which employs the involution delay model introduced by Függer et al. at DATE'15. Unlike the pure and inertial delay models typically used in digital timing analysis tools, the involu-tion model faithfully captures pulse propagation. The presented tool is able to quantify for the first time the accuracy of the latter by facilitating comparisons of its timing and power predictions with both SPICE-generated results and results achieved by standard timing analysis tools. It is easily customizable, both w.r.t. different instances of the involution model and different circuits, and supports automatic test case generation, including parameter sweeping. We demonstrate its capabilities by providing timing and power analysis results for three circuits in varying technologies: an inverter tree, the clock tree of an open-source processor, and a combinational circuit that involves multi-input NAND gates. It turns out that the timing and power predictions of two natural types of involution models are significantly better than the predictions obtained by standard digital simulations for the inverter tree and the clock tree. For the NAND circuit, the performance is comparable but not significantly better. Our simulations thus confirm the benefits of the involution model, but also demonstrate shortcomings for multi-input gates.

Details

Language :
English
Database :
OpenAIRE
Journal :
PATMOS 2019-29th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS 2019-29th International Symposium on Power and Timing Modeling, Optimization and Simulation, Jul 2019, Rhodes, Greece. ⟨10.1109/PATMOS.2019.8862165⟩, PATMOS
Accession number :
edsair.doi.dedup.....cf8fc354027bc3751efc607a58d28669