We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Hardware Architecture

Title: A Unified Model for Gate Level Propagation Analysis

Authors: Jeremy Blackstone (University of California, San Diego, USA), Wei Hu (Northwestern Polytechnical University, China), Alric Althoff, Armaiti Ardeshiricham (University of California, San Diego, USA), Lu Zhang (Northwestern Polytechnical University, China), Ryan Kastner (University of California, San Diego, USA)
Abstract: 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.
Subjects: Hardware Architecture (cs.AR)
Cite as: arXiv:2012.02791 [cs.AR]
  (or arXiv:2012.02791v1 [cs.AR] for this version)

Submission history

From: Jeremy Blackstone [view email]
[v1] Mon, 7 Dec 2020 17:44:58 GMT (3140kb,D)

Link back to: arXiv, form interface, contact.