Design of a pointerless BDD package

Details Design of a pointerless BDD package Design of a pointerless BDD package

2006-01-31

2006-01-31

Garbowski, Leigh M. (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

06993732

ABSTRACT:
A pointerless BDD package. A strict ordering is enforced on the BDD node identifiers and the advantageous consequences of that decision, such as a better memory locality of the nodes and faster unique table lookup, are reaped. The performance of a pointer based package appears to be exceeded, and reproducible results are attained across different platforms.

REFERENCES:
Biere, “The ABCD package,” Jun. 1998, one page, taken from http://www.inf.ethz.ch/˜biere/projects/abcd/old-abcd-page.html.
Biliris, “An Efficient Database Storage Structure for Large Dynamic Objects,” 1992 Proceedings of 8thInt'l Conference on Data Engineering, pp. 301-308.
Edelkamp, “StaticBdd a A fast BDD package,” Dec. 1999, one page, taken from http://www.informatik.uni-freiburg.de/˜edelkamp/StaticBdd/index.html.
Ch. Meinel, et al., “www.bdd-portal.org”, Proceedings of the IEEE IWLS '2000, Dana Point (California, USA), 2000, pp. 341-348.
David E. Long, “The Design of a Cache-Friendly BDD Library”, Bell Laboratories, Lucent Technologies.
Richard Rudell, “Dynamic Variable Ordering for Ordered Binary Decision Diagrams”, IEEE, Mountain View, California, 1993, pp. 42-47.
Randal E. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation”, IEEE Transactions on Computers, C-35-8, pp. 677-691, Aug., 1986.
Karl S. Brace, et al., “Efficient Implementation of a BDD Package”, 27th ACM/IEEE Design Automation Conference, 1990, pp. 40-45.
Fabio Somenzi, “Efficient Manipulation of Decision Diagrams”, Dept. of Electrical and Computer Engineering, Univ. of CO at Boulder, Boulder, CO, 2001, pp. 171-181.
Bwolen Yang, et al., “A Performance Study of BDD-Based Model Checking”, Proceedings of 2nd Int'l Conf. on Formal Methods in Computer-Aided Design, Palo Alto, CA, 1998, pp. 255-289.
David Long, “Subject: RE: Breakpoint”, private e-mail to G. Janssen, Oct. 1999.

Affiliated with

Also associated with

Rating

Design of a pointerless BDD package does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Design of a pointerless BDD package, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Design of a pointerless BDD package will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3525907