| The use of fixed point induction in verifying systolic array designs : An applicative approach | |
|---|---|
| 學年 | 82 |
| 學期 | 1 |
| 發表日期 | 1993-08-01 |
| 作品名稱 | The use of fixed point induction in verifying systolic array designs : An applicative approach |
| 作品名稱（其他語言） | |
| 著者 | 施國琛; Shih, Timothy K. |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | IEEE |
| 會議名稱 | Circuits and systems, Detroit |
| 會議地點 | MI |
| 摘要 | |
| 關鍵字 | |
| 語言 | en |
| 收錄於 | |
| 會議性質 | 國際 |
| 校內研討會地點 | 無 |
| 研討會時間 | 19930801~19930801 |
| 通訊作者 | |
| 國別 | USA |
| 公開徵稿 | |
| 出版型式 | |
| 出處 | Circuits and systems, Detroit, MI |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/73301 ) |
GoogleAnalytics