Distributed BDD reordering

Details Distributed BDD reordering Distributed BDD reordering

2006-10-31

2006-10-31

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07131085

ABSTRACT:
A method for verification of a system design represented by a model that includes a plurality of variables. The method includes arranging the variables in an Ordered Binary Decision Diagram (OBDD) according to an initial order of the variables, the OBDD including a number of nodes arranged in rows corresponding respectively to the plurality of the variables. Each processor, among a group of two or more computer processors, is assigned a respective variable among the plurality of the variables. Using each processor, the rows of the OBDD are reordered by varying a position in the OBDD of the row corresponding to the respective variable that is assigned to the processor until at least one of the processors identifies a new order for the OBDD. The new order of the OBDD may be used to verify a characteristic of the model against a specification.

REFERENCES:
patent: 5615127 (1997-03-01), Beatty et al.
patent: 5680332 (1997-10-01), Raimi et al.
patent: 2002/0178423 (2002-11-01), Ben-David et al.
patent: 2002/0193974 (2002-12-01), Ben-David et al.
patent: 2003/0004926 (2003-01-01), Ben-David et al.
Rudell in “Dynamic Variable Ordering for Ordered Binary Decision Diagrams,” Proceedings of the IEEE International Conference on Computer-Aided Design (Santa Clara, California.
Song and Chang “A Variable Reordering Method for Fast Optimization of Binary Decision Diagrams,” Proceedings of the Fifth Asian Test Symposium ATS'97 (IEEE, 1997), pp. 228.
Bryant and Meinel “Ordered Binary Decision Diagrams in Electronic Design Automation,” published in Logic Synthesis and Verification (Kluwer Academic Publishers, 2001), pages.
Meinel and Slobodova “Speeding Up Variable Reordering of OBDDs,” Proceedings of the International Conference on Computer Design (1997), pp. 338-343.
Beer et al., in “RuleBase: an Industry-Oriented Formal Verification Tool,” Proceedings of the Design Automation Conference DAC'96 (Las Vegas, Nevada, 1996).

Affiliated with

Also associated with

Rating

Distributed BDD reordering does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3671040