System and method for building a binary decision diagram...

Details System and method for building a binary decision diagram... System and method for building a binary decision diagram...

2006-06-20

2006-06-20

Garbowski, Leigh M. (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

07065722

ABSTRACT:
A method for constructing a binary decision diagram (BDD) is provided that includes constructing a first BDD data structure operable to reflect a function associated with a target circuit, the first BDD data structure may be constructed using a first script that includes a first set of parameters such that the first BDD data structure exceeds a major threshold value. The method also includes constructing a second BDD data structure using a second script that includes a second set of parameters which reflect a modification to the first set of parameters, the modification reflecting an attempt to minimize a size associated with a node level of the second BDD data structure and being based on a minor threshold value that was identified in association with building the first BDD data structure.

REFERENCES:
patent: 5754454 (1998-05-01), Pixley et al.
patent: 5937183 (1999-08-01), Ashar et al.
patent: 6086626 (2000-07-01), Jain et al.
patent: 6212669 (2001-04-01), Jain
patent: 6292916 (2001-09-01), Abramovici et al.
patent: 6308299 (2001-10-01), Burch et al.
patent: 6321186 (2001-11-01), Yuan et al.
patent: 6389374 (2002-05-01), Jain et al.
patent: 6473884 (2002-10-01), Ganai et al.
patent: 6499129 (2002-12-01), Srinivasan et al.
patent: 6848086 (2005-01-01), Teig et al.
G. Cabodi, P. Camurati, S. Quer, “Improved Reachability Analysis of Large Finite State Machines,” IEEE ICCAD.

Affiliated with

Also associated with

Rating

System and method for building a binary decision diagram... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for building a binary decision diagram..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for building a binary decision diagram... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3666885