Hong-Zu Chou, Haiqian Yu, Kai-Hui Chang, Dylan Dobbyn, Sy-Yen Kuo
Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study
DATE, 2010.
@inproceedings{DATE-2010-ChouYCDK,
author = "Hong-Zu Chou and Haiqian Yu and Kai-Hui Chang and Dylan Dobbyn and Sy-Yen Kuo",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1494--1499",
publisher = "{IEEE}",
title = "{Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study}",
year = 2010,
}