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