Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Верификация систем на основе цифровых СБИС с диверсификацией  

Авторы
 Таперова Е.
Год публикации
 2014
УДК
 681.513

Аннотация
 В докладе рассматривается методика, позволяющая верифицировать систему на основе цифровых СБИС, для которых применена диверсификация. Методика позволяет подтвердить выполнение частями системы одинаковых функций.
Ключевые слова
 диверсификация, верификация, конечный автомат, эталонная модель, функциональная эквивалентность
Ссылка на статью
 Таперова Е. Верификация систем на основе цифровых СБИС с диверсификацией // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть2. С. 57-62.
Адрес статьи
 http://www.mes-conference.ru/data/year2014/pdf/D165.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН