Проблемы верификации проекта при сквозном проектировании вычислительных систем-на-кристалле

Перевод названия: Problems of Project Verification During the trough Designing of Computer Systems on Chip

Тип публикации: статья из журнала

Год издания: 2010

Ключевые слова: система-на-кристалле, system on chip, functional verification, System verification, cad, Vlsi, функциональная верификация, системная верификация, автоматизированное проектирование, СБИС

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

Ссылки на полный текст

Издание

Журнал: Нано- и микросистемная техника

Выпуск журнала: 9

Номера страниц: 4-7

ISSN журнала: 18138586

Место издания: Москва

Издатель: Общество с ограниченной ответственностью Издательство Новые технологии

Авторы

  • Непомнящий О.В. (Институт космических и информационных технологий Сибирского федерального университета)
  • Алекминский С.Ю. (Институт космических и информационных технологий Сибирского федерального университета)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.