BREADTH-FIRST MANIPULATION OF BINARY DECISION DIAGRAMS

A breadth-first manipulation of reduced, ordered binary decision diagram representation of a logic circuit eliminates page access time bottlenecks encountered when obtaining nodes from secondary memory to primary memory by providing an orderly page access arrangement. The pointer to a node is the address at which the node is located in memory, from which address the memory block at which the node is located is determined. A look-up table is used to convert the memory block information into a variable index indicative of the level at which the node is located. The queue of ITE (if.sub.-- then.sub.-- else) requests is maintained on a per level basis.