Спец курс (Избранные главы VHDL)/Верификация описания — различия между версиями
Материал из Wiki
Vidokq (обсуждение | вклад) (→Слайд:Что такое покрытие (Coverage)?) |
Vidokq (обсуждение | вклад) (→Слайд: Виды покрытия кода в ModelSim) |
||
| Строка 114: | Строка 114: | ||
== Слайд: Виды покрытия кода в ModelSim == | == Слайд: Виды покрытия кода в ModelSim == | ||
| − | * Statement coverage — | + | * {{Сн|'''Statement coverage'''}} — покрытие состояний |
| − | * Branch coverage — | + | * {{Сн|'''Branch coverage'''}} — покрытие ветвлений |
| − | * Condition coverage — | + | * {{Сн|'''Condition coverage'''}} — покрытие условий |
| − | * Expression coverage — | + | * {{Сн|'''Expression coverage'''}} — покрытие выражений |
| − | * Toggle coverage — | + | * {{Сн|'''Toggle coverage'''}} — покрытие принимаемых значений |
| − | * FSM coverage — | + | * {{Сн|'''FSM coverage'''}} — покрытие состояний автомата |
| + | |||
| + | == Слайд: Мониторинг покрытия кода в ModelSim == | ||
==Слайд:Эталонная модель на языке ''{{Зел| <big>SystemC</big>}}''== | ==Слайд:Эталонная модель на языке ''{{Зел| <big>SystemC</big>}}''== | ||
Версия 15:06, 21 ноября 2012
- Заголовок
- Верификация описания.
- Автор
- Зайцев В.С.
- Нижний колонтитул
- Спец курс (Избранные главы VHDL)/Верификация описания
- Дополнительный нижний колонтитул
- Зайцев В.С., 13:16, 2 декабря 2013
Слайд:Методы верификации проекта
- Имитационная верификация - верификация с использованием моделирования
- Формальная верификация -проверка модели с целью доказательства ее корректности и эквивалентности спецификации
(Пример: пакет FormulPro ф. MentorGraphics, пакеты фирмы Verplex, www.verplex.com)
Слайд:Верификация описания
Слайд:Верификация описания:step
- Среда моделирования
- Active-HDL™
- Riviera-PRO™
- NC-Sim®
- ModelSim®
- QuestaSim®
- VCS-MX®
- Структура проекта
- Тестовое окружение
- RTL-модель (Verilog,VHDL)
- Эталонная модель (SystemC)
- Assert'ы (psl, OVVM, UVM)
- Отчеты и базы по результатам моделирования
Слайд: Типы тестов ФК
На что проверяем:
- Детерминистский - Проверяет обычные режимы работы системы, а также функционирование в граничных условиях на основе фиксированного набора тестов
- Случайный - Предполагает наличие генератора случайных входных воздействий
- Транзакционный - Фиксирует внимание на проверке интерфейсов и прохождению пакетов данных через них
Способ проведения проверки:
- "Черный ящик"
- "Серый ящик"
- "Прозрачный ящик"
Слайд:Средства верификации
- Прямые тесты (Directed tests)
- Псевдослучайные тесты (Random tests)
- Управляемые псевдослучайные тесты (Constrained Random tests)
- Верификация управляемая покрытием (на основе покрытия) (Coverage driven verification)
- Покрытие кода (Code coverage)
- Функциональное покрытие (Functional coverage )
- Верификация на основе утверждений (Assertion based verification)
- Эмуляция (Emulation)
- Формальная верификация (Formal verification)
Слайд:Что такое покрытие (Coverage)?
- Покрытие является крайне неоднозначным термином, когда используется сам по себе.
Можно сказать, что (в электронике):
|
Покрытие (Coverage) является одной из разновидностей метрик проекта, которая сообщает, если определённые аспекты проекта были правильно выполнены во время процедуры тестирования. |
- Обычно уточняют термин покрытия, говоря какой аспект был протестирован:
- Тестирование качества кода — покрытие кода (code coverage)
- Проверка свойств/утверждений — покрытие свойств/утверждений (property coverage)
- Сбор значений переменных проекта — функциональное покрытие (functional coverage).
Слайд:Покрытие кода vs. функциональное покрытие
Слайд: Полнота тестов
-
В реальных условия обычно полный перебор невозможен
-
Поэтому поступают следующим образом. Например для сумматора:
- Тестируют как "Серый ящик" и проверяют простейшие случаи 0+0, 0+1, FFFF+FFFF, 0+FFFF
- Затем целенаправленно проверяют граничные условия - переполнение, перенос
- Затем тестирую как "Черный ящик" на случайном наборе тестов
- Оценивают полноту проверки модели
Слайд: Метрики оценки полноты тестов
Необходимое условие : Управляемость (выполняется строка или переход)
Достаточное условие : Наблюдаемость (результат исполнения влияет на выход сравниваемый с эталоном)
- Эвристические метрики - основанные на статистике появления ошибок
- Программные метрики
- Автоматно-метрический подход (лучший вариант использовать формальную верификацию для автоматов)
- Моделирование неисправностей (в модель вносится неисправность)
- Мониторинг событий
Слайд: Эвристические метрики
- Календарное время между моментами обнаружения ошибок проекта (к концу процесса верификации оно увеличивается);
- Общее количество промоделированных тактов работы проектируемого устройства;
- Общее число обнаруженных ошибок в проекте и т.д.
- Число обнаруженных ошибок в день, неделю, месяц
Слайд: Программные метрики
- Полнота покрытия тестом строк кода модели
- Полнота покрытия переходов (число пополнений ветвей оператора if и case )
- Полнота покрытия путей (Branch coverage) (все пути в графе программы)
- Полнота покрытия выражений (Expression coverage) (оценка числа вычислений выражения по различных наборах)
- Полнота переключений из 0 в 1 и из 1 в 0 каждого бита (Toggle coverage)
Слайд: Метрики в ModelSim
В ModelSim для учета метрик покрытия при компиляции проекта нужно задать в меню Compile->Compiler option
Слайд: Виды покрытия кода в ModelSim
- Statement coverage — покрытие состояний
- Branch coverage — покрытие ветвлений
- Condition coverage — покрытие условий
- Expression coverage — покрытие выражений
- Toggle coverage — покрытие принимаемых значений
- FSM coverage — покрытие состояний автомата
Слайд: Мониторинг покрытия кода в ModelSim
Слайд:Эталонная модель на языке SystemC
- Высокий уровень абстракции
- Скорость моделирования
- Возможности языка C++
- Инструменты для автоматизации
- Совместное моделирование с другими HDL-языками
