Method and apparatus for restructuring a binary decision diagram
US7149663B1 · kind B1 · utility
2Cited by
12References
17Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Sep 23, 1998 |
| Grant date | Dec 12, 2006 |
| Priority date | — |
| Expiry date | Sep 23, 2018 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for selecting an order in which to sift variables in a binary decision diagram. The method includes an act of arranging the variables of the binary decision diagram on nodes of a graph, with the nodes of the graph being labeled with the variables of the system such that a set of functions labeling the leaves reachable from a node correspond to the set of functions which depend on the variables labeling the node. The method further includes an act of traversing the graph in a depth first manner to produce a list of the labels in the selected order.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.