特許
J-GLOBAL ID：201103043079469810
サンプリングベースの順序付き二分決定グラフの変数順序決定方法
発明者：
,
出願人/特許権者：
代理人 (1件)：
伊東 忠彦
公報種別：特許公報
出願番号（国際出願番号）：特願平11-154291
公開番号（公開出願番号）：特開2000-003373
特許番号：特許第4334061号
出願日： 1999年06月01日
公開日（公表日）： 2000年01月07日
請求項（抜粋）：
【請求項1】 コンピュータ支援設計を行うコンピュータが主入力及び主出力の集合を有する回路設計の二分決定グラフ(BDD)を構築するために使用される上記回路設計の変数順序を決定する方法において、上記コンピュータは、
上記回路設計を複数の部分に分割し、
変数順序の集合を用いて上記部分毎に二分決定グラフを構築し、
上記部分毎に上記変数順序の有効性を決定し、
上記部分毎の変数順序から上記回路設計全体の二分決定グラフを構築する段階を有する方法。
IPC (1件)：
FI (1件)：
引用特許：
前のページに戻る
