Оглавление
Функциональная проверка
-
Определение и важность функциональной верификации
- Функциональная верификация проверяет соответствие логической схемы спецификации.
- Она является ключевым этапом в проектировании электронных систем, занимая до 70% времени разработки.
-
Фон и проблемы проектирования
- Увеличение сложности транзисторов приводит к увеличению ошибок в кодировании.
- Инструменты EDA помогают справиться с этими сложностями, но количество возможных тестов огромно.
-
Методы функциональной верификации
- Логическое моделирование имитирует логику до построения.
- Ускорение моделирования использует специальное оборудование.
- Эмуляция создает версию системы с использованием программируемой логики.
- Формальная верификация пытается доказать выполнение требований.
- Интеллектуальная проверка адаптирует тестовый стенд к изменениям в коде.
-
Типы функциональной верификации
- Существуют динамическая, гибридная динамическая/статическая и статическая верификации.
- Динамическая верификация широко используется для моделирования проекта.
-
Компоненты и процессы моделирования
- Генераторы генерируют входные векторы для поиска аномалий.
- Управляющие устройства преобразуют сигналы в фактические входные данные.
- Имитатор выдает выходные данные на основе состояния проекта.
- Монитор преобразует состояние проекта в уровень абстракции транзакций.
- Проверяющий подтверждает соответствие фактических результатов ожидаемым.
-
Оценка результатов верификации
- Определяются показатели охвата, включая функциональный охват и охват ответвлений.
Полный текст статьи: