Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again
Kai-Hui Chang, Hong-Zu Chou, Haiqian Yu, Dylan Dobbyn, Sy‐Yen Kuo · IEEE Design and Test · 2011
This article addresses the problem of nondeterminism due to design optimization such as resetting only parts of the design register. Since formal methods are not scalable, the authors developed a scalable X-analysis method.