ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ПРИ ПРОЕКТИРОВАНИИ СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ
Аннотация и ключевые слова
Аннотация:
Рассмотрены основные маршруты высокоуровневого синтеза вентильных описаний СБИС. Определены проблемы верификации проекта на функциональном уровне, присущие традиционным методам проектирования. Изложены основные положения разрабатываемой технологии архитектурно-независимого представления СБИС на основе функционально-потоковой парадигмы параллельного программирования. Предложен подход к формальной верификации проекта при высокоуровневом синтезе.

Ключевые слова:
верификация, сверхбольшие интегральные схемы (СБИС), функциональное программирование, параллельные вычисления
Список литературы

1. Непомнящий О.В., Алекминский С.Ю. Проблемы верификации проекта при сквозном проектировании вычислительных систем на кристалле - нано- и микросистемная техника. - М.: Новые технологии, 2010. - № 9 (122). - С. 4-7.

2. Немудрое В., Мартин Г. Системы-на-кристалле. Проектирование и развитие. - М.: Техносфера, 2004.

3. Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. - 2005. - № 1 (10). - С. 71-89.


Войти или Создать
* Забыли пароль?