搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 1 筆結果,共 1 筆。
- 上一個
- 1
- 下一個
符合的文件:
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2010 | 應用抽象與精細化技術增進RTL電路之安全性屬性檢定效能 Improving Safety Property Checking on RTL Design with Abstraction and Refinement Techniques | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |
使用篩選器讓結果更精確。
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2010 | 應用抽象與精細化技術增進RTL電路之安全性屬性檢定效能 Improving Safety Property Checking on RTL Design with Abstraction and Refinement Techniques | Cheng-Yin Wu; 吳政穎 | 電子工程學研究所 |