| |
Соловьев, Р. А.
Обнаружение ложных путей в цифровых системах на основе логических импликаций [Текст] / Р. А. Соловьев, А. Л. Глебов, С. В. Гаврилов
// Изв.ВУЗов.Электроника. – 2007. – № 2. – 78-84.
Предложен альтернативный подход, позволяющий за приемлемое время на основе логических ограничений обнаружить большую часть ложных путей |
