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

Верификация поведения цифровых устройств с помощью моделей высокого уровня  

Авторы
 Щербаков А.С.
Год публикации
 2010
УДК
 004.942

Аннотация
 Рассматриваются проблемы доказательства соответствия поведения электронных логических блоков заданной абстрактой модели высокого уровня (МВУ). Рассматриваются требования к языкам, применяемым для описания таких моделей, в частности, на примере языка "Murphi". Указаны основные сложности, возникающие при формальной верификации схем относительно МВУ. Приведен обзор метода, использующего детализацию (refinement) на основе описания событий.
Ключевые слова
 модели высокого уровня, логические схемы, Murphi, формальная верификация
Ссылка на статью
 Щербаков А.С. Верификация поведения цифровых устройств с помощью моделей высокого уровня // Проблемы разработки перспективных микро- и наноэлектронных систем - 2010. Сборник трудов / под общ. ред. академика А.Л.Стемпковского. М.:ИППМ РАН, 2010. С. 42-47.
Адрес статьи
 http://www.mes-conference.ru/data/year2010/papers/m10-148-27781.pdf

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

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