Функциональная верификация HDL-кода
-
40 мин
В докладе рассматриваются принципы, применяемые в верификации функционального описания цифровых схем. Функциональное описание представляется в виде кода на специализированном языке программирования (HDL).
Дается краткое введение в разработку и верификацию цифровых схем. Поясняется разница между тестированием и функциональной верификацией в области разработки аппаратуры. Рассматриваются основные принципы верификации HDL-кода, представляющего функциональное описание цифровой схемы. Поясняются области применения различных подходов, а также особенности, возникающие при внедрении тех или иных методик.
Функциональная верификация HDL-кода from Vlad Orlikov on Vimeo.