| Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры |
|
 |
|
|
| Авторы |
| | Чупилко М.М. |
| | Проценко А.С. |
| Год публикации |
| | 2014 |
| УДК |
| | 004.4'23 |
|
| Аннотация |
| | Динамическая верификация аппаратуры предназначена для проверки соответствия поведения HDL-моделей аппаратуры спецификациям в процессе симуляции. Представить спецификации в необходимом виде и обеспечить проверку корректности можно различными способами, но обычно обнаруженное неправильное поведение несет в себе только констатацию факта наличия неправильных данных на выходе HDL-модели. Предложенный в статье подход предназначен не только для обнаружения некорректного поведения HDL-модели, но также и для интерпретации полученных выходных данных с помощью специального алгоритма, использующего совокупность правил их анализа. |
| Ключевые слова |
| | анализ трасс, динамическая верификация |
| Ссылка на статью |
| | Чупилко М.М., Проценко А.С. Распознавание и интерпретация ошибочного поведения при динамической верификации аппаратуры // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть 2. С. 91-96. |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2014/pdf/D100.pdf |
