Graph representations of the sets of all reachable reactions of the combinational circuit

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