BDDsとは 意味・読み方・使い方

METHOD AND SYSTEM FOR DETERMINING OPTIMUM VARIABLE ORDERS FOR BDDS USING PAIR-WISE VARIABLE GROUPING例文帳に追加

ペア単位変数グループ化を利用してＢＤＤの最適な変数順序を決定する方法及びシステム - 特許庁

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).例文帳に追加

その出力が０でない場合は（Ｓ９）、分割された複数の状態遷移ＢＤＤと状態集合Ｓとから複数の次状態ＢＤＤを生成し（Ｓ１１）、これを結合して１つの次状態ＢＤＤを得る（Ｓ１２）。 - 特許庁

To provide a method and system for determining optimum variable orders for BDDs using pair-wise variable grouping.例文帳に追加

ペア単位変数グループ化を利用してＢＤＤの最適な変数順序を決定する方法及びシステムを提供する。 - 特許庁

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).例文帳に追加

順序回路Ｃの論理関数を求め（Ｓ４）、ノード数が所定の基準値以下の複数のＢＤＤに分割された順序回路Ｃの状態遷移ＢＤＤを生成する（Ｓ５）。 - 特許庁