Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения.

Авторы

В.П.Иванников, А.С.Камкин, В.В.Кулямин, А.К.Петренко.

Аннотация

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

Полный текст статьи в формате pdf

Издание

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

Научная группа

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

Все публикации за 2005 год

Все публикации