Сибирский федеральный университет

Номер

Журнал СФУ. Техника и технологии. 2014 7 (6)

Авторы

Непомнящий, О.В.; Легалов, А.И.; Сиротинина, Н.Ю.

Контактная информация

Непомнящий, О.В.:Сибирский федеральный университет Россия, 660041, Красноярск, пр. Свободный, 79; Легалов, А.И.:Сибирский федеральный университет Россия, 660041, Красноярск, пр. Свободный, 79; Сиротинина, Н.Ю.:Сибирский федеральный университет Россия, 660041, Красноярск, пр. Свободный, 79

Ключевые слова

integrated circuit; high-level design; verification; algorithm; parallel data flows; program transformation; functional data-flow programming; интегральная схема; высокоуровневое проектирование; верификация; алгоритм; параллельные потоки данных; преобразование программ; функционально-потоковое параллельное программирование

Аннотация

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

Страницы

674-684

Статья в архиве электронных ресурсов СФУ

https://elib.sfu-kras.ru/handle/2311/13372

Эта работа лицензируется по лицензии Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).