The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A Unified Model for Gate Level Propagation Analysis
Classic hardware verification techniques (e.g., X-propagation and fault-propagation) and more recent hardware security verification techniques based on information flow tracking (IFT) aim to understand how information passes, affects, and otherwise modifies a circuit. These techniques all have separate usage scenarios, but when dissected into their core functionality, they relate in a fundamental manner. In this paper, we develop a common framework for gate level propagation analysis. We use our model to generate synthesizable propagation logic to use in standard EDA tools. To justify our model, we prove that Precise Hardware IFT is equivalent to gate level X-propagation and imprecise fault propagation. We also show that the difference between Precise Hardware IFT and fault propagation is not significant for 74X-series and ’85 ISCAS benchmarks with more than 313 gates and the difference between imprecise hardware IFT and Precise Hardware IFT is almost always significant regardless of size.
A copy is held
pdf, 609.2 kB. Not published — it may be under
copyright. The facts and links here are.
@misc{blackstone2020unified,
title = {A Unified Model for Gate Level Propagation Analysis},
author = {Jeremy Blackstone and Wei Hu and Armaiti Ardeshiricham and Lu Zhang and Alric Althoff and Ryan Kastner},
year = {2020},
}