Основы верификации

Просмотрите различия между исходной моделью и реализацией HDL

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

Свойства

HDLCodeCoverageВключайте переключатели покрытия HDL-кода в сгенерированные скрипты испытательного стенда
SimulationToolСредство моделирования, для которого инструмент генерирует build-run скрипты для испытательного стенда и дополнительного покрытия кода

Темы

Сгенерируйте испытательный стенд и включите покрытие кода Используя HDL Workflow Advisor

Сгенерируйте испытательный стенд и покрытие кода для сгенерированного HDL-кода с помощью HDL Workflow Advisor.

Выберите испытательный стенд для сгенерированного HDL-кода

Выберите сгенерированный испытательный стенд.

Сгенерированная модель модели и валидации

Сгенерированная модель является промежуточной моделью, которая показывает архитектуру реализации HDL и включает задержку.

Ограничения блока испытательного стенда

Определите, какие блоки не поддерживают прямую связь с DUT для генерации испытательного стенда.

Задержите балансировку

Вставьте соответствие с задержками вдоль всех информационных каналов.

Найдите числовые различия после оптимизации скорости

Узнайте о числовых различиях между исходными и сгенерированными моделями.

Поиск и устранение проблем

Разрешите числовое несоответствие с балансировкой задержки

Узнать, как решать числовые вопросы несоответствия после генерации HDL-кода.