Просмотр сведений о научной статье
Обложка номера
![№1 2012](journal/archive/01/cover.jpg)
Заголовок
Анализ проектирования вычислительных систем на кристаллеАвторы
1О.В. Непомнящий, 2А.В. ХныкинОрганизации
1Сибирский федеральный университетг. Красноярск, Россия
2Железногорский филиал СФУ
г. Железногорск, Красноярский край, Россия
Аннотация
Рассмотрены современные проблемы функциональной и системной верификации проектирования сверхбольших интегральных схем в целом и систем на кристалле в частности. Приведен обзор методик верификации и предложены пути решения означенных проблем.Ключевые слова
функциональная верификация, системная верификация, автоматизированное проектирование, СБИС, система на кристаллеСписок литературы
[1] Rosenstiel W. Rapid Prototyping, Emulation and Hardware/Software Co-debugging. In System-Level Synthesis, edited by A.A. Jerraya and J. Mermet, NATO Science Series, Kluwer Academic Publisher, 1999.
[2] Немудров В., Мартин Г., Системы-на-кристалле. Проектирование и развитие. М. : Техносфера, 2004. 216 с.
[3] Стешенко В. Б., Руткевич А. В., Бумагин А. В. и др. Опыт разработки СБИС типа СнК на основе встроенных микропроцессорных ядер // Компоненты и технологии. 2008. № 9.
[4] Рабаи Ж. М., Чандракасан А., Николич Б. Цифровые интегральные схемы. Методология проектирования : пер. с англ. 2-е изд. М. : ООО «ИД Вильямс», 2007. 912 с.
[5] Бухтеев А. В. Методы и средства проектирования систем на кристалле // Chip news. 2003. № 4.
[6] Лохов А. Функциональная верификация СБИС в свете решений Mentor Graphics // Электроника: наука, технологии, бизнес. 2004. № 1.
Цитирование данной статьи
Непомнящий О.В., Хныкин А.В. Анализ проектирования вычислительных систем на кристалле // Исследования наукограда. 2012. № 1. С. 42-46.
Данная статья лицензирована по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.