×

OBDD variable ordering using sampling based schemes

  • US 6,389,374 B1
  • Filed: 11/05/1998
  • Issued: 05/14/2002
  • Est. Priority Date: 06/03/1998
  • Status: Expired due to Term
First Claim
Patent Images

1. A method of determining a variable order for building a Boolean Decision Diagram (BDD) for a Boolean function forming a Boolean space, the Boolean function representing a circuit design, comprising:

  • forming samples of the Boolean space representing the Boolean function;

    building test BDDs for the samples using a plurality of test variable orders; and

    determining the variable order using information regarding the size of the test BDDs.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×