搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 1 筆結果,共 1 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2008 | 應用於DLX處理器之正規驗證 Applying Formal Verification to a DLX processor | Ching-Sung Yang; 楊清松 | 電機工程學研究所 |
探索
系所
- 1 電機工程學研究所
學位
- 1 碩士
關鍵字
- 1 symbolic simulation
- 1 symbolic simulation, equivalence ...
- 1 symbolic simulation, equivalence ...
- 1 symbolic simulation, equivalence ...
- 1 symbolic simulation, equivalence ...
- 1 symbolic simulation, equivalence ...
- 1 符號模擬,等效檢驗
- 1 符號模擬,等效檢驗,dlx 處理器
- 1 符號模擬,等效檢驗,dlx 處理器,連續等效檢驗
- 1 符號模擬,等效檢驗,dlx 處理器,連續等效檢驗,受限隨機測試平台
- 下一頁 >
出版年
- 1 2008
全文授權
- 1 有償授權
全文
- 1 true