收缩期数组的形式推导-一个案例研究

[1988] Proceedings. International Conference on Systolic Arrays Pub Date : 1988-05-25 DOI:10.1109/ARRAYS.1988.18073

M. Payer

{"title":"收缩期数组的形式推导-一个案例研究","authors":"M. Payer","doi":"10.1109/ARRAYS.1988.18073","DOIUrl":null,"url":null,"abstract":"The author exemplifies a conceptual framework, namely, the theory of finite-state machines, for the VLSI design process. He starts from a functional description of the system to be realized and achieves a (semi)systolic array in a formal way. The resulting designs are correct by their mere construction.<<ETX>>","PeriodicalId":339807,"journal":{"name":"[1988] Proceedings. International Conference on Systolic Arrays","volume":"84 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Formal derivation of systolic arrays-a case study\",\"authors\":\"M. Payer\",\"doi\":\"10.1109/ARRAYS.1988.18073\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The author exemplifies a conceptual framework, namely, the theory of finite-state machines, for the VLSI design process. He starts from a functional description of the system to be realized and achieves a (semi)systolic array in a formal way. The resulting designs are correct by their mere construction.<<ETX>>\",\"PeriodicalId\":339807,\"journal\":{\"name\":\"[1988] Proceedings. International Conference on Systolic Arrays\",\"volume\":\"84 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. International Conference on Systolic Arrays\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ARRAYS.1988.18073\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. International Conference on Systolic Arrays","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ARRAYS.1988.18073","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

作者举例说明了一个概念框架，即有限状态机理论，用于超大规模集成电路设计过程。他从要实现的系统的功能描述出发，以形式化的方式实现了一个(半)收缩阵列。所得到的设计仅从结构上看就是正确的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal derivation of systolic arrays-a case study

The author exemplifies a conceptual framework, namely, the theory of finite-state machines, for the VLSI design process. He starts from a functional description of the system to be realized and achieves a (semi)systolic array in a formal way. The resulting designs are correct by their mere construction.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1988] Proceedings. International Conference on Systolic Arrays

自引率

0.00%

发文量