On the Correctness of Equivalent Transformations in the Process of Functional-Flow, High-Level VLSI Synthesis

Q4 Materials Science

Radioelektronika, Nanosistemy, Informacionnye Tehnologii Pub Date : 2023-01-19 DOI:10.17587/it.29.3-11

O. Nepomnyashchiy

引用次数: 0

Abstract

The original method and route of functional-flow synthesis of ultra-large integrated circuits is considered. A way of reducing the degree of parallelism and the original algorithms is presented. When transferring the algorithm to the target platform, the imposed restrictions are taken into account. It is proposed to use the developed methods of formal verification to confirm the adequacy of the results of the transformation We mean to the transformation from the algorithms descried in the functional-flow parallel programming language to the hardware description languages.

查看原文本刊更多论文

功能流、高阶VLSI合成过程中等效变换的正确性

考虑了超大型集成电路功能流合成的原始方法和路线。给出了一种降低并行度的方法和原始算法。在将算法传输到目标平台时，要考虑所施加的限制。提出了利用已开发的形式化验证方法来确认转换结果的充分性，即从函数流并行编程语言中描述的算法到硬件描述语言的转换。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Radioelektronika, Nanosistemy, Informacionnye Tehnologii Materials Science-Materials Science (miscellaneous)

CiteScore

0.60

自引率

0.00%

发文量

期刊介绍： Journal “Radioelectronics. Nanosystems. Information Technologies” (abbr RENSIT) publishes original articles, reviews and brief reports, not previously published, on topical problems in radioelectronics (including biomedical) and fundamentals of information, nano- and biotechnologies and adjacent areas of physics and mathematics. The authors of the journal are academicians, corresponding members and foreign members of the Russian Academy of Natural Sciences (RANS) and their colleagues, as well as other russian and foreign authors on the proposal of the members of RANS, which can be obtained by the author before sending articles to the editor or after its arrival on the recommendation of a member of the editorial board or another member of the RANS, who gave the opinion on the article at the request of the editior. The editors will accept articles in both Russian and English languages. Articles are internally peer reviewed (double-blind peer review) by members of the Editorial Board. Some articles undergo external review, if necessary. Designed for researchers, graduate students, physics students of senior courses and teachers. It turns out 2 times a year (that includes 2 rooms)