Функция проверки при проектировании цифровых систем