Верификация HDL-проекта

Начиная с некоторого уровня сложности требуется комплексная "Верификация" — моделирование + автоматизированный сбор различных статистических данных ("метрик"), собираемых как правило с Формальной модели в процессе моделирования. На основе "метрик" строятся различные наглядные текстовые и графические отчёты, позволяющие принять решение о дальнейших действиях.

В связи с высокой сложностью разработки Верификационного окружения требуется большое количество разработчиков и/или покупных верификационных IP-ядер, что требует наличие унифицированного (стандартизированного) подхода (методики) к разработке исходного кода проекта верификации. Наиболее перспективной является методология UVM. Подробнее >>

Подробнее о
Верификационных IP-ядрах >>