Использование TLM при тестировании моделей аппаратуры Михаил Чупилко Институт системного программирования РАН chupilko@ispras.ru.

Презентация:



Advertisements
Похожие презентации
Расширение технологии UniTESK средствами генерации структурных тестов Дмитрий Воробьев
Advertisements

Имитационное моделирование в исследовании и разработке информационных систем Лекция 9 Имитационное моделирование аппаратных и программных средств вычислительных.
Динамическая проверка HDL-описаний на основе исполнимых моделей Александр Камкин, Михаил Чупилко Институт системного программирования.
Разработка структуры программного обеспечения при объектом подхода.
СОБОЛЕВ Сергей Сергеевич ЗОЛЬНИКОВ Владимир Константинович КРЮКОВ Валерий Петрович СОБОЛЕВ Сергей Сергеевич ЗОЛЬНИКОВ Владимир Константинович КРЮКОВ Валерий.
Апробация технологий Silverlight/LINQ/WCF для создания web-приложений, ориентированных на интенсивную обработку данных Дипломная работа студента 545 группы.
Динамическая верификация цифровой аппаратуры на основе формальных спецификаций Чупилко Михаил Михайлович Научный руководитель проф., д.ф.-м.н. Петренко.
Институт системного программирования РАН Автоматическая генерация базовых тестов для программных интерфейсов библиотек на основе заголовочных файлов Владимир.
ЛЕКЦИЯ 2 ( ) Системный подход к моделированию Описание объекта как системы Классификация параметров Глобальная функция объекта.
Project M Cache Version 5 Промышленная разработка Web приложений и Управление проектом.
Презентация дисциплины по выбору Для студентов, обучающихся по направлению «Прикладная информатика» (магистерская программа «Прикладная информатика.
ПРОГРАМНОЕ УПРАВЛЕНИЕ КОМПЬЮТЕРОМ. КОМПЬЮТЕР (computer)- автоматическое устройство или система, способная выполнять заданную, четко определенную последовательность.
Информационные системы План I. Информационная система, информационная среда. II. Информационная система управления. III. Системное проектирование информационной.
Мартин Фаулер « Архитектура корпоративных программных приложений » Подготовила Ст. ПС - 41 Лукиных Н. А.
Объектно- ориентированная платформа Windows
1 Методология Автономного Адаптивного Управления бионический подход к построению нейроноподобных систем управления Институт системного программирования.
Базы данных: назначение и основные возможности Разработка учителя информатики и ИКТ МОУ СОШ с. Тербуны Болговой Н.А.
Метод генерации тестовых данных для арифметических операций MIPS64.
Разработка программного обеспечения (Software Engineering) Часть 2. Создание ПО.
Встроенные Системы Часть 7. Технология разработки и производства ИС Кафедра Информатики, мат-мех СПбГУ Copyright © 2004 Victor Vengerov
Транксрипт:

Использование TLM при тестировании моделей аппаратуры Михаил Чупилко Институт системного программирования РАН

Конференция "Микроэлектроника и информатика "2 Тестирование моделей аппаратуры Позволяет убедиться, что модель реализует именно те функции, которые от нее ожидает окружение Для функционального тестирования необходимо описание операций, которые выполняет модель в виде, удобном для повторного использования

Конференция "Микроэлектроника и информатика "3 Transaction Level Modeling Моделирование на уровне транзакций TLM – подход к моделированию пересылки данных в цифровых системах, использующий транзакции; Транзакция – единичная пересылка управляющей информации или данных между двумя сущностями; Унифицирует интерфейс между объектами тестовой системы.

Конференция "Микроэлектроника и информатика "4 Тестируемый модуль на уровне RTL Связь тестовой системы и тестируемого модуля Тестовая система на уровне TLM Генератор тестовых воздействий Преобразователь интерфейса

Конференция "Микроэлектроника и информатика "5 Использование TLM для стандартизации интерфейса

Конференция "Микроэлектроника и информатика "6 Использование TLM для стандартизации описания конвейерных структур

Конференция "Микроэлектроника и информатика "7 Модификация описания стандартных для TLM транзакций Введение специальных временных меток Модификация модулей генерирующих транзакции Введение временных меток на уровне RTL достигается модификацией компонентов, осуществляющих конвертацию между TLM и RTL.

Конференция "Микроэлектроника и информатика "8 Выводы Использование TLM возможно на более абстрактном уровне, чем это было предложено его разработчиками Унификация описания операций, выполняющихся в конвейерном режиме улучшает повторное использование

Конференция "Микроэлектроника и информатика "9 ВОПРОСЫ?