Finding reset nondeterminism in RTL designs - scalable X-analysis methodology and case study. - Hong-Zu Chou; Haiqian Yu; Kai-Hui Chang; Dylan Dobbyn; Sy-Yen Kuo (DATE, 2010)

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 Des. Test, 2016)