Институт системного программирования Роcсийской академии наук


Автоматизация тестирования моделей аппаратуры на основе статического анализа HDL-описаний

С.А. Смолов. Начало семинара - 04 декабря 2012 г.

В настоящее время активно развиваются различные методы и инструментальные средства верификации аппаратуры. При этом сохраняет свою актуальность задача автоматизации тестирования. В докладе будут кратко рассмотрены существующие подходы к решению данной задачи, а также предложена идея метода построения прототипов тестовых систем, основанного на статическом анализе HDL-описаний.

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

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

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

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