Валерий Пермяков
НПП ЦРТС, Санкт-Петербург

Функциональная верификация HDL-кода

В докладе рассматриваются принципы, применяемые в верификации функционального описания цифровых схем. Функциональное описание представляется в виде кода на специализированном языке программирования (HDL).

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

Уровень сложности
Секционный доклад (40 мин)

Комментарии

{{comment.AuthorInfo}}
{{ comment.DateCreated | date: 'dd.MM.yyyy' }}
Ваш отзыв теперь здесь. Продолжайте общаться с докладчиком
Заметили ошибку?