Breadth-first manipulation of binary decision diagrams

Details Breadth-first manipulation of binary decision diagrams Breadth-first manipulation of binary decision diagrams

1994-10-28

1998-05-05

Louis-Jacques, Jacques H.

Boots, shoes, and leggings

364489, 364578, 364DIG1, G06F 1750

Patent

active

057484864

ABSTRACT:
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.

REFERENCES:
patent: 5029102 (1991-07-01), Drumm et al.
patent: 5099450 (1992-03-01), Berkling
patent: 5243538 (1993-09-01), Okuzawa et al.
patent: 5477474 (1995-12-01), Southgate et al.
K. Brace et al, Efficient Implementation of a BDD Package, Proc. of Design Automation Conference, pp. 40-45, Jun. 1990.
H. Ochi et al, Breadth-First Manipulation of Very Large Binary--Decision Diagrams, Proc. Of Internation Conference in Computer-Aided Design, pp. 48-55, Nov. 1993.
Minato et al., "Shared BDD with Attributed Edges for Efficient Boolean Fnc. Manipulation," IEEE, 1990, pp. 52-57.
Takahashi et al., "Fault Simulation for Multiple Faults Using Shared BDD Representation of Faults Sets," IEEE, 1991, pp. 550-553.
Jacobi et al., "Incremental Reduction of BDDs", IE.sup.3, 1991, pp. 3174-3177.
Iwaihara et al., "Bottom-up Evaluation of Logic Programs Using Binary Decision Diagrams," IEEE, 1995, pp. 467-474.
Matsunaga et al., "Multi-Level Logic Optimization Using BDDs", IEEE, 1989, pp. 556-559.

Affiliated with

Also associated with

Rating

Breadth-first manipulation of binary decision diagrams does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Breadth-first manipulation of binary decision diagrams, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Breadth-first manipulation of binary decision diagrams will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-61801