Анализ проектирования вычислительных систем на кристалле

Автор: Непомнящий Олег Владимирович, Хныкин Антон Владимирович

Журнал: Космические аппараты и технологии.

Статья в выпуске: 1 (1), 2012 года.

Бесплатный доступ

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

Функциональная верификация, системная верификация, автоматизированное проектирование, сбис, система на кристалле

Короткий адрес: https://sciup.org/14117266

IDR: 14117266

Список литературы Анализ проектирования вычислительных систем на кристалле

Rosenstiel W. Rapid Prototyping, Emulation and Hardware/Software Codebugging. In System-Level Synthesis, edited by A.A. Jerraya and J. Mermet, NATO Science Series, Kluwer Academic Publisher, 1999.
Немудров В., Мартин Г., Системы-на-кристалле. Проектирование и развитие. М.: Техносфера, 2004. 216 с.
Стешенко В. Б., Руткевич А. В., Бумагин А. В. и др. Опыт разработки СБИС типа СнК на основе встроенных микропроцессорных ядер // Компоненты и технологии. 2008. № 9.
Рабаи Ж. М., Чандракасан А., Николич Б. Цифровые интегральные схемы. Методология проектирования: пер. с англ. 2-е изд. М.: ООО «ИД Вильямс», 2007. 912 с.
Бухтеев А. В. Методы и средства проектирования систем на кристалле // Chip news. 2003. № 4.
Лохов А. Функциональная верификация СБИС в свете решений Mentor Graphics // Электроника: наука, технологии, бизнес. 2004. № 1.

Статья научная