https://scholars.lib.ntu.edu.tw/handle/123456789/359264
Title: | Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study | Authors: | H. Z. Chou H. Yu K. H. Chang D. Dobbyn S. Y. Kuo SY-YEN KUO |
Issue Date: | Mar-2010 | Start page/Pages: | 1494-1499 | Source: | 2010 Design, Automation & Test in Europe (DATE 2010) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/359264 | DOI: | 10.1109/date.2010.5457048 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.