DFV

Верификационное проектирование (Design for verification). Набор верификационных методик в проектировании, который позволяет разработчику создавать и наиболее эффективно выверять проектируемые микросхемы типа «система на кристалле» для поиска и устранения ошибок.