The Community for Technology Leaders
RSS Icon
Subscribe
pp:
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
ABSTRACT
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, , no. 1, pp. , PrePrints PrePrints, doi:10.1109/MDT.2011.75
36 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool