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