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