期刊論文
| 學年 | 82 |
|---|---|
| 學期 | 1 |
| 出版（發表）日期 | 1993-08-01 |
| 作品名稱 | The use of fixed point induction in verifying systolic array designs : An applicative approach |
| 作品名稱（其他語言） | |
| 著者 | 施國琛 |
| 單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 著錄名稱、卷期、頁數 | Midwest symposium on circuits and systems 36(2) |
| 摘要 | The paper presents our applicative approach of using fixed point induction principle to verify the correctness of systolic array designs. Fixed point induction exploits the repeatable, regular, and local attributes of systolic arrays in realizing recursive functions. The applicative language in denotational semantics improves proof efficiency by skipping the redundant search time and space that occurred in other techniques. Our approach, as well as an example of applying it to prove a systolic array for matrix inversion, are provided in the paper. |
| 關鍵字 | Systolic arrays;Equations;Design engineering;Logic programming;Humans;Topology |
| 語言 | en |
| ISSN | |
| 期刊性質 | 國外 |
| 收錄於 | |
| 產學合作 | |
| 通訊作者 | |
| 審稿制度 | 否 |
| 國別 | USA |
| 公開徵稿 | |
| 出版型式 | ,電子版 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/71608 ) |