「bdds」を含む例文一覧(4)

  • 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)。 - 特許庁

例文データの著作権について

  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.