https://scholars.lib.ntu.edu.tw/handle/123456789/352026
標題: | Enhancing Bug Hunting Using High-Level Symbolic Simulation | 作者: | H. Z. Chou I. H. Lin C. S. Yang K. H. Chang S. Y. Kuo SY-YEN KUO |
公開日期: | 五月-2009 | 起(迄)頁: | 417-420 | 來源出版物: | 2009 ACM Great Lake Symposium on VLSI (GLSVLSI-2009) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/352026 | DOI: | 10.1145/1531542.1531637 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。