METHOD AND SYSTEM FOR DETERMINING OPTIMUM VARIABLE ORDERS FOR BDDS USING PAIR-WISE VARIABLE GROUPING ペア単位変数グループ化を利用してBDDの最適な変数順序を決定する方法及びシステム - 特許庁
Unless the output is zero (S9), the plural successive states BDDs are generated from the plural divided state transition BDDs and the state set S (S11) and they are connected to obtain one successive state BDD (S12). その出力が0でない場合は(S9)、分割された複数の状態遷移BDDと状態集合Sとから複数の次状態BDDを生成し(S11)、これを結合して1つの次状態BDDを得る(S12)。 - 特許庁
To provide a method and system for determining optimum variable orders for BDDs using pair-wise variable grouping. ペア単位変数グループ化を利用してBDDの最適な変数順序を決定する方法及びシステムを提供する。 - 特許庁
The logical function of the sequential circuit C is obtained (S4) and the state transition BDD of the sequential circuit C which is divided into plural BDDs where the number of nodes is equal to or below a prescribed reference value is generated (S5). 順序回路Cの論理関数を求め(S4)、ノード数が所定の基準値以下の複数のBDDに分割された順序回路Cの状態遷移BDDを生成する(S5)。 - 特許庁