Анализ проектирования вычислительных систем на кристалле
Автор: Непомнящий Олег Владимирович, Хныкин Антон Владимирович
Журнал: Космические аппараты и технологии.
Рубрика: Информационные технологии
Статья в выпуске: 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.
Статья научная
