Handling Nondeterminism in Logic Simulation So That Your Waveform Can Be Trusted Again
By Kai-hui Chang,Hong-Zu Chou,Haiqian Yu,Dylan Dobbyn,Sy-Yen Kuo
Publication Date: June 2011
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...