Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study

H. Z. ChouH. YuK. H. ChangD. DobbynSY-YEN KUO2018-09-102018-09-102010-03http://scholars.lib.ntu.edu.tw/handle/123456789/359264Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Studyconference paper10.1109/date.2010.54570482-s2.0-77953100376