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

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

Заголовок

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

Авторы

¹О.В. Непомнящий, ²А.В. Хныкин

Организации

¹Сибирский федеральный университет
г. Красноярск, Россия
²Железногорский филиал СФУ
г. Железногорск, Красноярский край, Россия

Аннотация

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

Ключевые слова

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

Список литературы

[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 Всемирная.