Препринты ИСП РАН


Препринты Института системного программирования РАН, Препринт 8, 2005 г.

В.П. Иванников, А.С. Камкин, В.В. Кулямин, А.К. Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. Стр. 1-26.

Аннотация

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

текст в формате pdf

Вернуться к архиву препринтов