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

Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей  

Авторы
 Лебедев М.С.
 Смолов С.А.
Год публикации
 2016
УДК
 004.05

Аннотация
 Автоматизированные методы являются перспективным направлением в области проверки корректности (верификации) цифровой микроэлектронной аппаратуры. В настоящее время предложен ряд методов генерации функциональных тестов, основанных на использовании моделей. В данной статье предложен новый метод, основанный на автоматическом извлечении моделей в форме высокоуровневых решающих диаграмм и генерации тестов, обеспечивающих высокое покрытие кода, с помощью средств проверки моделей. Проведено сравнение с существующими методами, основанными на извлечении моделей из исходного кода. Результаты экспериментов демонстрируют преимущества предложенного подхода.
Ключевые слова
 проектирование аппаратуры, функциональная верификация, статический анализ, генерация тестов, охраняемое действие, высокоуровневая решающая диаграмма, расширенный конечный автомат, проверка моделей.
Ссылка на статью
 Лебедев М.С., Смолов С.А. Метод генерации функциональных тестов для HDL-описаний на основе проверки HLDD-моделей // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. №2. С. 24-31.
Адрес статьи
 http://www.mes-conference.ru/data/year2016/pdf/D122.pdf

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

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