特許
J-GLOBAL ID：200903087716433491
サンプリングベ-スの順序付き二分決定グラフの変数順序決定方法
発明者：
,
出願人/特許権者：
代理人 (1件)：
伊東 忠彦 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平11-154291
公開番号（公開出願番号）：特開2000-003373
出願日： 1999年06月01日
公開日（公表日）： 2000年01月07日
要約：
【要約】【課題】 本発明は、回路設計を表現しブール空間を形成するブール関数用の決定グラフを構築するため変数順序を決定する方法及びシステムの提供を目的とする。【解決手段】 本発明によれば、変数順序は関数又は回路を表現するブール空間の部分空間をサンプリングすることにより決定される。部分空間は、抽象化、分解、部分割当て、及び、回路部分空間の使用を含む多数の方法で形成される。
請求項（抜粋）：
ブール空間を形成し、回路設計を表現するブール関数のための二分決定グラフを構築する変数順序を決定する方法において、上記ブール関数を表現する上記ブール空間のサンプルを形成し、複数のテスト変数順序を用いて上記サンプルに対するテスト二分決定グラフを構築し、上記テスト二分決定グラフのサイズと関連した情報を用いて上記変数順序を決定する段階を有する方法。
引用特許：
前のページに戻る
