Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций, а второе -задано в виде комбинационной схемы (в базисе многовходовых логических элементов типа И, ИЛИ). Предлагается комбинированный подход к проверке схемной реализации системы частично определенных булевых функций, который основан на моделировании комбинационной схемы на наборах значений входных переменных и сведении к задаче проверки выполнимости конъюнктивной нормальной формы (КНФ).