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

Описание

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

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

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

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

Аннотация: Рассмотрены современные проблемы функциональной и системной верификации проектирования сверхбольших интегральных схем и, в частности, систем-на-кристалле. Приведен обзор существующих методик верификации и предложены пути решения означенных проблем. The article deals with modern problems of functional and system verification of veryПоказать полностьюlarge scale integrated (VLSI) circuits and systems on a chip in particular. There is a review of existing methods of verification and propose ways to solve the aforesaid problems.

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

Издание

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

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

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

ISSN журнала: 18138586

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

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

Персоны

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

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