Построение EFSM -моделей на основе статического анализа HDL -описаний

Сергей Смолов. Начало семинара - 5 марта 2014 г.

Сложность цифровой микроэлектронной аппаратуры неуклонно возрастает, что существенно затрудняет ее верификацию — проверку функциональной корректности. Многие автоматизированные методы верификации аппаратуры основаны на использовании моделей, удобных для генерации тестов и формальной проверки свойств. В докладе описывается новый подход к извлечению моделей в форме расширенных конечных автоматов ( Extended Finite State Machine , EFSM ) из исходного кода HDL-описаний, а также обсуждаются возможности использования таких моделей в процессе верификации.

С презентацией доклада можно ознакомиться здесь.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН