https://scholars.lib.ntu.edu.tw/handle/123456789/352026
Title: | Enhancing Bug Hunting Using High-Level Symbolic Simulation | Authors: | H. Z. Chou I. H. Lin C. S. Yang K. H. Chang S. Y. Kuo SY-YEN KUO |
Issue Date: | May-2009 | Start page/Pages: | 417-420 | Source: | 2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/352026 | DOI: | 10.1145/1531542.1531637 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.