Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций над ROBDD-графами, построенными по фрагментам комбинационной составляющей схемы с памятью. Метод позволяет выявить ложные пути в рамках ограничений на длину установочной последовательности и не требует построения комбинационных эквивалентов заданной длины. Обсуждаются возможности распространения предлагаемого подхода на схемы большей размерности.
