739 Разработка тестовой системы для автономной верификации I2C контроллера с использованием методологии UVM

Муштаков Руслан

руководитель проекта

Старых Владимир Александрович

руководитель направления

Старт

14.01.2021

Паспорт проекта

Аннотация

В работе проводится анализ особенностей верификации устройств в соответствии с методологией UVM c целью реализации тестовой системы для автономной проверки I2C контроллера. На основе разработанных тестов будет сформирован отчет о функциональном покрытии кода устройства для определения качественной и количественной оценки проведенной верификации. Кроме этого, будут задействованы два метода формальной верификации, которые позволят увеличить покрытие кода и проверить корректность соединений...

Отрасль

Информатика

Цель

Разработать на языке SystemVerilog тестовую систему проверки работы I2C контроллера для проведения автономной верификации устройства по методологии UVM.

Ожидаемые результаты

- Подготовленный тест-план верификации,
- Разработанная тестовая система для проверки устройства,
- Обособленный агент в библиотеке универсальных компонентов для дальнейшего переиспользования,
- Отчет об обнаруженных в ходе верификации ошибках,
- Отчет о функциональном покрытии кода,
- Отчет после формального анализа функционального покрытия и межсоединений.

Форма и способы промежуточного контроля

Промежуточные отчеты по частям и этапам выполняемого проекта

Форма представления результатов

Итоговый отчет: 1. Отчет об обнаруженных в ходе верификации ошибках 2. Отчет о функциональном покрытии кода 3. Отчет после проведения формального анализа функционального покрытия 4. Отчет после проведения формального анализа межсоединений

Ресурсное обеспечение

1 Среды разработки, моделирования и испытаний предоставляются АО «МЦСТ»; 2 Виртуальные серверы для тестирования предоставляются АО «МЦСТ»; 3 Библиотека профессиональной и нормативно-регламентирующей информации.