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

Browse the full DATE paper archive.