|
UniTESK для тестирования аппаратного обеспечения |
|
24.11.2005 г. |
В ноябре 2005 года в ИСП РАН был опубликован препринт "В.П. Иванников, А.С. Камкин, В.В. Кулямин, А.К. Петренко. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения".
В препринте рассматривается новая и, на наш взгляд, достаточно перспективная область применения технологии тестирования UniTESK — разработка функциональных тестов для моделей аппаратного обеспечения. В работе предлагаются способы расширения базовой архитектуры тестовой системы UniTesK для функционального тестирования моделей на языках Verilog HDL и SystemC.
Для каждого из указанных классов моделей описывается процесс разработки теста с помощью инструмента CTesK и приводятся оценки возможности автоматизации шагов этого процесса.
|
|
