Здравствуйте, коллеги
Частенько встречал на форумах и в личных беседах некоторую путанницу в определениях видов верификации. Перечислю основные с примерными определениями. Буду рад ссылкам на статьи/книжки, где данный словарь дополняется или где даются более строгие определения.
Функциональная - Всё что тестируется через симулятор (типа QuestaSim, Xcelium и т.п.)
Формальная - Тестирование дизайна на формальную целостность (dead-code, FSM dead-lock, размеры шин и пр.). Сюда же относятся и assertion (SVA).
Модульная - Тестирование отдельных модулей дизайна.
Интеграционная - Тестирование всего чипа в целом.