Формальная верификация при проектировании сверхбольших интегральных схем
Автор: Титовская Т.С., Непомнящий О.В., Леонова А.В., Комаров А.А.
Журнал: Вестник Красноярского государственного аграрного университета @vestnik-kgau
Рубрика: Математика и информатика
Статья в выпуске: 4, 2014 года.
Бесплатный доступ
Рассмотрены основные маршруты высокоуровневого синтеза вентильных описаний СБИС. Определены проблемы верификации проекта на функциональном уровне, присущие традиционным методам проектирования. Изложены основные положения разрабатываемой технологии архитектурно-независимого представления СБИС на основе функционально-потоковой парадигмы параллельного программирования. Предложен подход к формальной верификации проекта при высокоуровневом синтезе.
Верификация, сверхбольшие интегральные схемы (сбис), функциональное программирование, параллельные вычисления
Короткий адрес: https://sciup.org/14083663
IDR: 14083663
