Роль проверки при проектировании цифровых решений