Верификация проектирования: ключевые этапы и методы проверки