|
|
|
|
|
|
Описание
|
|
|
|
|
|
Среда статической и динамической формальной верификации ассертов, которая в сочетании с моделированием позволяет идентифицировать трудно обнаруживаемые ошибки. Повышает полноту покрытия за счет использования динамических формальных методов при моделировании. Верифицирует области проекта, для которых не обеспечивается полное покрытие при моделировании.
|
|
|
|
Возможности
|
|
|
|
|
|
Масштабируемый допустимый объем проекта с гарантией исчерпывающей верификации блоков объемом более 0.5М эквивалентных вентилей
|
|
|
Полная интеграция со средой моделирования и отладки
|
|
|
Возможность повторного моделирования ошибок, обнаруженных при формальной верификации
|
|
|
Повышение полноты покрытия за счет использования динамических формальных методов при моделировании
|
|
|
|
Файлы
|
|
|
|
|
|
|
|
|
|
Ссылки
|
|
|
|
|
|
|
|
|
 |
|
