標題: 單晶片系統驗證之核心技術開發-子計畫一:高階合成之形式驗證技術研究
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
顯示於類別:研究計畫


文件中的檔案:

  1. 942220E009039.PDF