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

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

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

Темы

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

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

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

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

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

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

Испытательные стенды

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

Балансировка задержки

Вставьте соответствующие задержки во все пути данных.

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

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

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

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

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