首页>
外国专利>
How to reorder the BDD variable using the parallel replacement and system
How to reorder the BDD variable using the parallel replacement and system
展开▼
机译:如何使用并行替换和系统对BDD变量重新排序
展开▼
页面导航
摘要
著录项
相似文献
摘要
One embodiment accesses 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 BDD has a first variable order where each variable i is at layer i for 1 ‰¤ i ‰¤ n ; and reorders the n variables of the BDD according to a second variable order denoted as À( i ), where each variable i is at layer À( i ) for 1 ‰¤ i ‰¤ n , by iteratively and alternatingly swapping one or more first disjoint pairs of consecutive layers during each odd iteration and swapping one or more second disjoint pairs of consecutive layers during each even iteration, until the second variable order is achieved, wherein during each iteration, two consecutive layers are swapped only if a current order of two variables at the two consecutive layers differs from an order of the two variables specified by the second variable order.
展开▼