Для проверки функциональной правильности работы небольших проектов, выполняемых одним – двумя разработчиками, требуется так называемое динамическое "Моделирование", то есть компиляция HDL-кода и запуск на исполнение. При этом собираются диаграммы различных имеющихся в проекте сигналов, а проверка правильности работы HDL-кода осуществляется теми же разработчиками, либо полностью визуально, либо с использованием простых скриптов, описанных, как правило, на том языке, которым владеет разработчик.
Для более сложных случаев требуется "Верификация" на основе "Формальной модели".
