High-Level Design Flows for VLSI Circuit

Описание

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

Тип публикации: статья из журнала

Год издания: 2014

Ключевые слова: integrated circuit, high-level design, verification, algorithm, parallel data ? ows, program transformation, functional data-? ow programming, интегральная схема, высокоуровневое проектирование, верификация, алгоритм, параллельные потоки данных, преобразование программ, функционально-потоковое параллельное программирование

Аннотация: Design ?ows 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-?ow prПоказать полностьюesentation 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 veri?cation allows developers to transfer initial high-level parallel algorithms on topologies of the con? gurable integrated circuits being developed. Рассмотрены маршруты синтеза однокристальных вычислительных систем. Выделены проблемы, возникающие при создании проекта методами нисходящего и системного проектирования. Предложена технология архитектурно независимого проектирования вычислительных систем на кристалле. Технология базируется на функционально-потоковом представлении исходных алгоритмов и их последующем поэтапном преобразовании в описание проектируемой системы на уровне регистровых передач. Использование при этом методов формального описания и верификации позволяет разработчикам осуществлять перенос параллельных высокоуровневых исходных алгоритмов на топологии разрабатываемых конфигурируемых интегральных схем.

Ссылки на полный текст

Издание

Журнал: Журнал Сибирского федерального университета. Серия: Техника и технологии

Выпуск журнала: Т. 7, 6

Номера страниц: 674-684

ISSN журнала: 1999494X

Место издания: Красноярск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет

Персоны

  • Nepomnyashchy Oleg V. (Siberian Federal University)
  • Legalov Alexander I. (Siberian Federal University)
  • Sirotinina Natalia J. (Siberian Federal University)

Вхождение в базы данных