Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again | IEEE Journals & Magazine | IEEE Xplore