Verification tool for systolic array design

Fuyau Lin, Timothy Shih, Nam Ling

研究成果: 書貢獻/報告類型會議論文篇章同行評審

摘要

The axiomatization of STA (systolic temporal arithmetic) defines rules for the systolic array in the language of the predicate calculus. The STA formalism is briefly reviewed and an automated verifier is constructed using Prolog. The verification tool is developed to produce a sound and efficient verification process and provide short-cuts to justify systolic array designs. The STA specifications and the corresponding Prolog programs can be written using an almost identical notation.

原文???core.languages.en_GB???
主出版物標題Third Int Conf Tools Artif Intell
發行者Publ by IEEE
頁面488-492
頁數5
ISBN(列印)0818623004
出版狀態已出版 - 1992
事件Third International Conference on Tools for Artificial Intelligence - San Jose, CA, USA
持續時間: 5 11月 19918 11月 1991

出版系列

名字Third Int Conf Tools Artif Intell

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???Third International Conference on Tools for Artificial Intelligence
城市San Jose, CA, USA
期間5/11/918/11/91

指紋

深入研究「Verification tool for systolic array design」主題。共同形成了獨特的指紋。

引用此