データ生成装置、データ生成方法、及びプログラム

発明者： , ,
出願人/特許権者： ,
代理人 (3件)：伊東忠重 , 伊東忠彦 , 石原隆治
公報種別：特許公報
出願番号（国際出願番号）：特願2019-026737
公開番号（公開出願番号）：特開2020-135305
特許番号：特許第7048032号
出願日： 2019年02月18日
公開日（公表日）： 2020年08月31日
請求項（抜粋）：

【請求項1】所定の木構造に従って論理関数の分解を表現したグラフ構造データを生成するデータ生成装置であって、前記論理関数を分解する際の変数順序を特定する順序木に基づいて、前記論理関数の分解の中で構造が同一な分解を表す複数の部分構造が特定された場合に、当該複数の部分構造の中から選択される1つの部分構造を代表部分構造として、残りの前記構造が同一の部分構造の親ノードに対応するグラフ構造中のデータが、前記代表部分構造に対応するグラフ構造データをポインタにより共有するように、前記論理関数に対応するグラフ構造データを生成する構築部、を備えるデータ生成装置。

IPC (2件)：