算法与vlsi架构的层级规范与转换

Proceedings of 1994 IEEE Workshop on VLSI Signal Processing Pub Date : 1994-10-26 DOI:10.1109/VLSISP.1994.574729

U. Arzt, L. Thiele

{"title":"算法与vlsi架构的层级规范与转换","authors":"U. Arzt, L. Thiele","doi":"10.1109/VLSISP.1994.574729","DOIUrl":null,"url":null,"abstract":"In this paper the specification and processing of data (type) hierarchy is integrated in the transformative approach of the design of application-specific circuits. The processing of the type hierarchy is solved by program transformations, which can be proven correct.","PeriodicalId":427356,"journal":{"name":"Proceedings of 1994 IEEE Workshop on VLSI Signal Processing","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Hierarchical specification and transformation of algorithms and VLSI-architectures\",\"authors\":\"U. Arzt, L. Thiele\",\"doi\":\"10.1109/VLSISP.1994.574729\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper the specification and processing of data (type) hierarchy is integrated in the transformative approach of the design of application-specific circuits. The processing of the type hierarchy is solved by program transformations, which can be proven correct.\",\"PeriodicalId\":427356,\"journal\":{\"name\":\"Proceedings of 1994 IEEE Workshop on VLSI Signal Processing\",\"volume\":\"45 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-10-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1994 IEEE Workshop on VLSI Signal Processing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/VLSISP.1994.574729\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1994 IEEE Workshop on VLSI Signal Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/VLSISP.1994.574729","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文将数据(类型)层次的规范和处理集成到专用电路设计的转换方法中。类型层次的处理是通过程序转换来解决的，可以证明是正确的。

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

查看原文本刊更多论文

Hierarchical specification and transformation of algorithms and VLSI-architectures

In this paper the specification and processing of data (type) hierarchy is integrated in the transformative approach of the design of application-specific circuits. The processing of the type hierarchy is solved by program transformations, which can be proven correct.

求助全文

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

来源期刊

Proceedings of 1994 IEEE Workshop on VLSI Signal Processing

自引率

0.00%

发文量