Method and system for building binary decision diagrams...

Details Method and system for building binary decision diagrams... Method and system for building binary decision diagrams...

2011-05-24

2011-05-24

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Integrated circuit design processing

Reexamination Certificate

active

07949968

ABSTRACT:
An improved method, system and computer-readable medium for constructing binary decision diagrams for a netlist graph is disclosed. The method comprises traversing a netlist graph in a depth-first manner. At least one binary decision diagram is built for one input of a node of the netlist graph using a binary decision diagram for the other input of that node as a don't-care condition.

REFERENCES:
patent: 6148436 (2000-11-01), Wohl
patent: 6473884 (2002-10-01), Ganai et al.
patent: 7412674 (2008-08-01), Singhal et al.
patent: 2004/0098682 (2004-05-01), Jain
patent: 2006/0190868 (2006-08-01), Baumgartner et al.
patent: 2007/0118339 (2007-05-01), Moon
patent: 2007/0130549 (2007-06-01), Eisner et al.
patent: 2007/0174804 (2007-07-01), Sasao et al.
patent: 2008/0109774 (2008-05-01), Baumgartner et al.
patent: 2008/0235637 (2008-09-01), Baumgartner et al.
patent: 2008/0301602 (2008-12-01), Koelbl et al.
Randal E, Bryant; “Graph-Based Algorithms for Boolean Function Manipulation”; IEEE Transacations on Computers; vol. C-35; Aug. 1986; pp. 677-691.

Affiliated with

Also associated with

Rating

Method and system for building 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 Method and system for building binary decision diagrams..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for building binary decision diagrams... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2687017