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