High-level design flows for VLSI circuit

Nepomnyashchy Oleg V. Legalov Alexander I. Sirotinina Natalia J.

Journal: Journal of Siberian Federal University. Engineering and Technologies @technologies-sfu

Article in issue: 6 т.7, 2014.

Free access

Design flows for very-large-scale integration circuit are considered. The problems arising from the realization of the project using top-down and system design methods are highlighted. The technology of an architecture-independent design for computer systems on a chip is suggested. The technology is based on a functional data-flow presentation of the initial algorithms and their subsequent step-bystep transformation at the register transfer level into description of the system being designed. Using methods of formal description and verification allows developers to transfer initial high-level parallel algorithms on topologies of the confi gurable integrated circuits being developed.

integrated circuit \ high-level design \ verification \ algorithm \ parallel data fl ows \ program transformation \ functional data-fl ow programming

Similar articles in the section Computer hardware

Formal verification in very large-scale integration designing
Formal verification in very large-scale integration designing

Titovskaya T.S., Nepomnyashchiy O.V., Leonova A.V., Komarov A.A.

Analysis of computer system design on the chip
Analysis of computer system design on the chip

Nepomnyashy Oleg V., Khnykin Anton V.

High-level synthesis software for multi-chip reconfigurable computing systems
High-level synthesis software for multi-chip reconfigurable computing systems

Dordopulo A.I., Levin I.I., Gudkov V.A., Gulenok A.A.

Design Of High Performance Reconfigurable Routers Using Fpga
Design Of High Performance Reconfigurable Routers Using Fpga

R.Parthasarathi, P.Karunakaran, S.Venkatraman, T.R.DineshKumar, I.Hameem Shanavas

Short address: https://sciup.org/146114888

IDS: 146114888   |   UDC: 004.315

Маршруты высокоуровневого синтеза сверхбольших интегральных схем

Рассмотрены маршруты синтеза однокристальных вычислительных систем. Выделены проблемы, возникающие при создании проекта методами нисходящего и системного проектирования. Предложена технология архитектурно независимого проектирования вычислительных систем на кристалле. Технология базируется на функционально-потоковом представлении исходных алгоритмов и их последующем поэтапном преобразовании в описание проектируемой системы на уровне регистровых передач. Использование при этом методов формального описания и верификации позволяет разработчикам осуществлять перенос параллельных высокоуровневых исходных алгоритмов на топологии разрабатываемых конфигурируемых интегральных схем.