| Title: | 單晶片系統驗證之核心技術開發-子計畫三：以特性為基礎之功能驗證與錯誤診斷(I) Property-Based Functional Verification and Error Diagnosis(I) |
| Authors: | 黃俊達 Huang Juinn-Dar 交通大學電子工程系 |
| Issue Date: | 2005 |
| Gov't Doc #: | NSC94-2220-E009-041 |
| URI: | http://hdl.handle.net/11536/90727 https://www.grb.gov.tw/search/planDetail?id=1147355&docId=220366 |
| Appears in Collections: | Research Plans |
