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. Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again. IEEE Design & Test of Computers, 33(6):63-71, 2016. [doi]

Abstract

Abstract is missing.