Вид документа : Статья из журнала Шифр издания : 620.3/Н 53 Автор(ы) : Непомнящий О. В., Алекминский С. Ю. Заглавие : Проблемы верификации проекта при сквозном проектировании вычислительных систем-на-кристалле Место публикации : Нано- и микросистемная техника . - 2010. - № 9. - С. 4-7: рис. - ISSN 1813-8586. - ISSN 1813-8586 Примечания : Библиогр. : с. 7 (6 назв.) УДК : 620.3 ББК : 623.7 Предметные рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ Ключевые слова (''Своб.индексиров.''): верификация функциональная--вертификация системная--система-на-кристалле--сбис Аннотация: Рассмотрены современные проблемы функциональной и системной верификации проектирования сверхбольших интегральных схем и, в частности, систем-на-кристалле. Приведен обзор существующих методик верификации и предложены пути решения означенных проблем Держатели документа: Центральная научная библиотека УрО РАН Доп.точки доступа: Алекминский, С. Ю.