Просмотр сведений о научной статье


Обложка номера

№1 2012

Заголовок

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

Авторы

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.