| Inductive techniques for formal verification of systolic array designs in DSP applications approach | |
|---|---|
| 學年 | 80 |
| 學期 | 1 |
| 發表日期 | 1992-01-01 |
| 作品名稱 | Inductive techniques for formal verification of systolic array designs in DSP applications approach |
| 作品名稱（其他語言） | |
| 著者 | 施國琛; Shih, Timothy K. |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | |
| 會議地點 | |
| 摘要 | |
| 關鍵字 | |
| 語言 | en |
| 收錄於 | |
| 會議性質 | |
| 校內研討會地點 | |
| 研討會時間 | |
| 通訊作者 | |
| 國別 | |
| 公開徵稿 | |
| 出版型式 | |
| 出處 | Proceeding of the ICASSP-92, San francisco, USA |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/73155 ) |
GoogleAnalytics