Функциональная верификация — сопоставление результатов моделирования проекта с эталонной моделью.

Логическое моделирование дизайна СБИС — итерационная проверка всех функциональных параметров и характеристик СБИС на логическом уровне с возвращением к формальному описанию до получения корректного результата.

Физическое моделирование — итерационная проверка будущей СБИС с добавленной паразитной нагрузкой на межсоединения.