Функциональная верификация пересечения тактовых доменов (CDC)
ALINT-PRO предоставляет мощные средства для статического анализа и валидации пересечений тактовых доменов(CDC). Он извлекает и проверяет тактовые деревья и тактовые домены, применяя топологические методы сопоставления шаблонов для проверки правильности проектных структур на границах тактовых доменов. Однако статическая проверка CDC должна быть дополнена динамической проверкой CDC, чтобы гарантировать отсутствие проблем, связанных с CDC. Для этой цели ALINT-PRO предоставляет механизмы генерации утверждений, позволяющие разработчикам улучшить свою функциональную верификацию с помощью кода проверки CDC.
На вебинаре представлена полная методология верификации пересечения тактовых доменов-от статической верификации с помощью ALINT-PRO до динамической верификации с помощью Riviera-PRO. Она включает в себя ряд конструктивных примеров для различных типов синхронизаторов. Кроме того, вебинар включает в себя краткое введение в проверку на основе утверждений (assertions) с использованием утверждений SystemVerilog (SVA).
Программа вебинара:
- Методология верификации Clock domain crossing (CDC)
- Статическая проверка CDC
- Динамическая проверка CDC
- Проверка на основе утверждений с помощью SVA
- Примеры проектирования
- Итоги
- Вопросы и ответы
Вебинар состоится 18 февраля 2021
Время проведения 3:00 PM – 4:00 PM (CET)
