|
|
|
|
|
|
Описание
|
|
|
|
|
|
Полнофункциональное решение проблемы верификации проектов с множественными доменами синхронизации (CDC).
|
|
|
|
Возможности
|
|
|
|
|
|
Высокая степень автоматизации верификации проектов с множественными доменами синхронизации (CDC)
|
|
|
Комбинированное применение нескольких технологий для обнаружения всех проблем CDC
|
|
|
Автоматически идентифицирует все группы синхросигналов, в том числе производные и логически управляемые
|
|
|
Поддерживает все известные типы синхронизации, в том числе определяемые пользователем
|
|
|
Обнаруживает незадействованные входы синхронизации и неправильное подключение сигналов синхронизации
|
|
|
Генерирует CDC-протоколы для всех сигналов, пересекающих границы доменов синхронизации
|
|
|
Обнаруживает CDC-сигналы, которые могут привести к логическим сбоям (re-convergent signals)
|
|
|
Интегрирован с модулем синтеза 0-In Assertion Synthesis
|
|
|
 |
|
