https://scholars.lib.ntu.edu.tw/handle/123456789/359264| Title: | Finding Reset Nondeterminism in RTL Designs–Scalable X-Analysis Methodology and Case Study | Authors: | 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.