ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Программа предназначена для проведения динамической верификации, то есть тестирования на соответствие спецификациям, HDL-описаний цифровой аппаратуры, написанных на языках Verilog или VHDL, на уровне отдельных модулей или их групп. Возможности C++TESK включают средства разработки эталонных моделей тестируемой аппаратуры с заданным уровнем точности, средства создания тестовых воздействий: случайных или на основе обхода конечных автоматов, средства оценки корректности наблюдаемого поведения тестируемого HDL-описания, загруженного и исполняемого в симуляторе, средства оценки полноты проведенной верификации.