標題: | 單晶片系統驗證之核心技術開發-子計畫一:高階合成之形式驗證技術研究 Study on Formal Verification for High-Level Synthesis |
作者: | 董蘭榮 Dung Lan-Rong 交通大學電機與控制工程系 |
公開日期: | 2005 |
官方說明文件#: | NSC94-2220-E009-039 |
URI: | http://hdl.handle.net/11536/90725 https://www.grb.gov.tw/search/planDetail?id=1147349&docId=220364 |
顯示於類別: | 研究計畫 |