單晶片系統驗證之核心技術開發-子計畫一：高階合成之形式驗證技術研究

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

文件中的檔案：

若為 zip 檔案，請下載檔案解壓縮後，用瀏覽器開啟資料夾中的 index.html 瀏覽全文。