Тестирование софта - статьи
Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспеченияАннотация.
Введение
Краткий обзор технологии UniTesK
Архитектура тестовой системы UniTesK
Инструмент разработки тестов CTesK
Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - 2
Модели аппаратного обеспечения и технология UniTesK
Пример счетчика
Тестирование Verilog-моделей
Архитектура тестовой системы
Взаимодействие компонентов
Разработка теста
Разработка модуля взаимодействия потоков
Разработка Verilog-окружения
Разработка VPI-модуля
Возможность автоматизации шагов разработки
Тестирование SystemC-моделей
Разработка C-медиатора
Разработка модуля запуска тестовой системы
Заключение
Литература
Содержание раздела
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий