| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a method and a system for processing BDDs using parallel window algorithm. <P>SOLUTION: In one embodiment, one or more computing devices access a binary decision diagram (BDD) representing a function having n variables, where N≥2, wherein the BDD comprises n layers corresponding to the n variables, respectively; and the computing devices reorder the n variables of the BDD by iteratively and alternating reordering a plurality of disjoint sets of k consecutive layers in parallel, where 1<k<n, until a size of the BDD has reached a desired threshold, wherein each iteration comprises: divides the n layers into the plurality of disjoint sets of k consecutive layers, wherein the plurality of disjoint sets of k consecutive layers formed during a current iteration differs from the plurality of disjoint sets of k consecutive layers formed during a previous iteration immediately preceding the current iteration; and concurrently reorders the plurality sets of k consecutive layers. <P>COPYRIGHT: (C)2012,JPO&INPIT |
