Corpus ID: 32937179

X-Propagation Woes : Masking Bugs at RTL and Unnecessary Debug at the Netlist

  title={X-Propagation Woes : Masking Bugs at RTL and Unnecessary Debug at the Netlist},
  author={Lisa Piper and Vishnu C. Vimjam},
: This paper presents a complete and practical methodology to comprehensively solve the X problem in RTL design. It begins by reviewing common sources of Xs, and describes how they cause functional bugs as well as unwarranted debug that prolong verification cycles. Solving the X problem helps minimize simulation and synthesis iterations and enables various design analyses (e.g. power analysis), normally performed on netlists, to begin sooner. The pros and cons of various point solutions to this… Expand

Figures from this paper

Hardware Trojans hidden in RTL don't cares — Automated insertion and prevention methodologies
A novel class of Hardware Trojans which leak internal circuit node values using only existing design don't cares is proposed and detection of this Trojan class is impossible using either functional simulation/verification or a perfect sequential equivalence checker. Expand
Automated methods for eliminating X bugs
This work proposes a comprehensive methodology and several novel methods to detect masked Xs at the register transfer level and eliminate false XS at the gate level and shows that the proposed methods are both effective and efficient. Expand
A Unified Formal Model for Proving Security and Reliability Properties
Experimental results show that the formal model can be used to prove both security and reliability properties in order to uncover unintended design flaw, timing channel and intentional malicious undocumented functionality in circuit designs. Expand
Improving gate-level simulation accuracy when unknowns exist
This work first traces the fan-in cone of Xs to check whether they are real, then extracts small sub-circuits responsible for creating the false Xs, and generates auxiliary code to repair gate-level simulation by replacing the Xs with the correct values. Expand
I'm Still In Love With My X! (but, do I want my X to be an optimist, a pessimist, or eliminated?)
The advantages and hazards of X-optimism and X-pessimism, and of 2-state versus 4-state simulation, are explored, and the tables have turned, and Verilog/SystemVerilog simulators are providing modes that pessimistically propagate logic X values. Expand
Symbiotic Controller Design Using a Memory-Based FSM Model
  • Su-Fu Kuo, Cheng-Wen Wu
  • Computer Science
  • 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE)
  • 2018
It is shown that it is possible to develop symbiotic controllers that achieve higher reliability, thus longer lifetime and lower cost, and the proposed approach target FSM-based controllers that are key components in almost all digital systems. Expand
Path controllability analysis for high quality designs
This work formulate this path controllability problem and proposes several algorithms that not only solve this problem but also return values that enable or block other fanin variables. Expand
A Unified Model for Gate Level Propagation Analysis
A common framework for gate level propagation analysis is developed to generate synthesizable propagation logic to use in standard EDA tools and it is proved that Precise Hardware IFT is equivalent to gate level X-propagation and imprecise fault propagation. Expand


Handling don't-care conditions in high-level synthesis and application for reducing initialized registers
This work proposes innovative methods to handle don't-care conditions accurately at high-level designs and proposes two novel algorithms based on these methods to minimize the number of registers that need to be initialized at the architecture level. Expand
SystemVerilog Assertions Handbook, 2nd edition for Dynamic and Formal Verification, ISBN 878-0-9705394-8-7
  • 2010
Formal verification enables safe X handling
  • December 16,
  • 2008
An introduction to symbolic simulation
  • EE Times December
  • 2005
Formal Verification Methods 2: Symbolic Simulation
  • Marktoberdorf
  • 2003
The Dangers of Living with an X
  • SNUG Boston,
  • 2003