1697 Автоматизация верификации СБИС с помощью методов поиска ошибки

Александр Романов

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

Старт

18.10.2023

Представление

08.11.2023

Постерная сессия

27.01.2024 – 07.02.2024

Защита

05.06.2024

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

Аннотация

В настоящее время высокотехнологичные электронные схемы разрабатываются с помощью технологии сверхбольшой интеграции (СБИС). Процесс их верификации может привести к возникновению множества сложностей для проектирования СБИС. Время выхода на рынок конечного устройства и количество перевыпусков являются двумя наиболее распространенными из них. Таким образом, существует потребность в программном обеспечении, которое помогло бы инженерам по верификации оперативно обнаружить и исправить ошибку...

Отрасль

Информатика

Цель

Разработать систему автоматизированного поиска причины ошибки верификационного теста СБИС с использованием методов машинного обучения

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

1. Обзор существующих аналогов систем верификации RTL-кода. Отдельный акцент на анализ используемости различных средств верификации среди отечественных компаний/команд.
2. MVP системы автоматизированного поиска причины ошибки верификационного теста СБИС. ПО должно быть отдельным от проектного окружения. Предполагаемая причина ошибки должна определяться с помощью модели машинного обучения на основе данных об ошибках из разных типов трасс прохождения теста.