Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов

Рассматривается одна из задач временной верификации комбинационных схем, а именно задача определения несущественных путей (false paths). Возникающие на несущественных путях задержки не проявляются в режиме функционирования схемы. Такие пути полезно обнаружить и исключить из рассмотрения при определении максимальной задержки схемы в целом. Предлагается сводить задачу обнаружения несущественного пути к поиску тестовых наборов для константных 0,1 неисправностей соответствующей пути литеры эквивалентной нормальной формы (ЭНФ). Поиск тестовых наборов сводится к анализу конъюнкций ЭНФ, компактно представленной И-ИЛИ деревьями и Structurally Synthesized Binary Decision Diagrams (SSBDD-графами). Совместный анализ И-ИЛИ деревьев и SSBDD-графов ориентирован на сокращение вычислительных затрат при отыскании тестовых наборов.

Статья представлена к публикации членом редколлегии: П. П. Пархоменко