Непомнящий, О. В. (кандидат технических наук). О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС [Текст] / О. В. Непомнящий // Информационные технологии. - 2023. - Т. 29, № 1. - С. 3-11 . - ISSN 1684-6400
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): высокоуровневый синтез -- параллельное программирование -- формальная верификация -- цифровые интегральные схемы Аннотация: Рассмотрен оригинальный метод и маршрут функционально-потокового синтеза сверхбольших интегральных схем. Представлен механизм редукции степени параллелизма исходных алгоритмов с учетом налагаемых ограничений целевой платформы. Предлагается использовать разработанные методы формальной верификации для подтверждения адекватности результатов трансформации исходного описания из функционально потокового языка параллельного программирования в языки описания аппаратуры. Нет сведений об экземплярах (Источник в БД не найден) |