Процесс верификации осуществляется на различных этапах проектирования следующим образом:

1. На начальном этапе модели отдельных блоков либо приобретаются, либо разрабатываются самостоятельно. 1 Практически во всех случаях осуществляется моделирование их работы. 1 Верификационные средства, привлекаемые на этом этапе, определяются видом задания блока, а метод и средства тестирования чаще всего зависят от возможностей САПР, на которой разработчик собирается компоновать проект. 1
2. На этапе сборки модели проекта создаётся набор тестовых последовательностей. 1 Учитывая длины таких последовательностей и итерационность процедуры сборки, чаще всего применяют Test-Bench. 1
3. На этапе отладки опытных образцов используются средства тестирования, специфика которых определяется свойствами проектируемой системы, тестовым инструментарием и опытом разработчика. 1

Общая схема верификации состоит из нескольких этапов: 2

1. На первом этапе требования извлекаются из нормативных документов и систематизируются. 2 В результате получается каталог требований, в котором требования сформулированы максимально однозначно, требования классифицированы, и, возможно, установлены связи между отдельными требованиями. 2 Каталог требований используется на последующих этапах. 2
2. Второй этап нацелен на представление требований в формальном виде. 2 Требования из каталога записываются с использованием того или иного математического формализма. 2 Такая запись требований называется формальной спецификацией или формальной моделью. 2
3. На третьем этапе, на основе построенной модели, автоматизированным образом генерируются тесты. 2 В зависимости от задачи, тесты могут либо быть просто тестовыми данными, либо дополнительно содержать оракул для автоматического вынесения вердикта о корректности наблюдаемого поведения объекта. 2 В результате исполнения тестов строятся отчёты о тестировании. 2 В них содержится информация о том, насколько наблюдаемое поведение объекта соответствует поведению формальной модели. 2