• Design&Test
  • PrePrints
  • Abstract - Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again
PrePrint
ISSN: 0740-7475
Kai-hui Chang, Avery Design Systems , Andover
Hong-Zu Chou, SpringSoft, Hsinchu
Haiqian Yu, Teradyne Inc., North Reading
Dylan Dobbyn, Teradyne Inc., North Reading
Sy-Yen Kuo, National Taiwan University, Taipei
The increasing complexity of integrated circuits pushes for more aggressive design optimizations, such as resetting only part of design registers, that can leave some registers in nondeterministic (X) states. Such Xs may invalidate the correctness of logic simulation due to X-optimism and X-pessimism, producing simulation waveforms that can not be trusted. Although formal methods can resolve the nondeterminism problem, they are not scalable enough to handle today's multi-million gate designs. To address this problem, we developed a scalable X-analysis methodology and successfully applied it to solve three real industrial problems --- one identifies missing Xs in RTL designs while the other two remove incorrect Xs to repair gate-level simulation.
Index Terms:
B.2.2.b Verification, B.5.2.e Verification, B.6.3.f Verification, B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance, B.2.3 Reliability, Testing, and Fault-Tolerance, B.1.3.c Redundant design, B.1.3.b Error-checking, B Hardware, B.6.2 Reliability and Testing, B.1.3.d Test generation, B.1.3.b Error-checking, B.1.3.a Diagnostics, B.1.4.e Verification, B.2.2.b Verification, B.2.2.a Simulation, B.4.5.f Test generation, B.5.2.e Verification, B.6.3.f Verification, B.6.3.d Simulation,
Citation:
Kai-hui Chang, Hong-Zu Chou, Haiqian Yu, Dylan Dobbyn, Sy-Yen Kuo, "Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again," IEEE Design & Test of Computers, 22 June 2011. IEEE computer Society Digital Library. IEEE Computer Society, <http://doi.ieeecomputersociety.org/10.1109/MDT.2011.75>
Usage of this product signifies your acceptance of the Terms of Use.