一般二分決定グラフの生成法
スポンサーリンク
概要
- 論文の詳細を見る
本稿では一般二分決定グラフ(GBDD:Generic BDD)の生成法を提案する.ここでGBDDとはOBDD(Orderd BDD)やFBDD(Free BDD)にみられる変数の出現順および変数の出現回数の制約を一切持たない, 最も一般的なBDDである.これらの制約を暖めることで, 論理関数を表現するのに必要なノード数が削減され, パストランジスタ回路の合成などに活用できると期待される.提案する方法では, 与えられた論理式から構文木を構築し, 構文木をグラフ化することによりGBDDを生成する.ISCAS'89, MCNCベンチマークの論理関数を使った実験では、OBDDに対し最大約23.1%のノードを削減したGBDDを自動生成することができた.
- 社団法人電子情報通信学会の論文
- 2000-01-11
著者
-
津田 孝夫
広島市立大学情報科学部
-
越智 裕之
広島市立大学 情報科学部
-
越智 裕之
広島市立大学情報科学部情報工学科
-
越智 裕之
広島市立大学
-
片山 哲志
広島市立大学情報科学部情報工学科
-
津田 孝夫
広島市立大学情報科学部情報工学科
関連論文
- 線形回帰演算の並列化手法の応用によるDOACROSSループの並列実行
- パネル討論 : 大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- パネル討論:大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- スーパーコンピュータ用拡張記憶の拡張主記憶としての高度利用
- 動的リンクライブラリを用いた実行時最適化の評価
- 2000-HPC-82-21 Javaクラスファイルの実行時ループ最適化手法
- 2000-HPC-82-18 ウェーブフロント型計算における性能予測モデルの構築
- 実行時情報を用いた性能最適化手法
- 並列化コンパイラTINPARにおける自動データ分割決定手法
- 分散トランザクションシステム IXI の設計と実現
- 適応型時刻印方式に基づく同時実行制御方式
- データベースオペレーティングシステム μOPT-Rにおける分散セグメンテーション方式
- 実時間オペレーティングシステムR^2/V2におけるタスクグループの実現
- パネル討論 : 大学および企業における設計者教育 : 大学が目指す教育, 企業が望む教育
- オブジェクト指向オペレーティングシステム Ozone におけるプロセス管理方式
- 複数の並列化手法を統合する並列実行方式
- 分散オペレーティングシステムDM-2におけるメモリ管理部の実現
- 分散オペレーティングシステムDM-2におけるサイトの動的な追加及び切り離し方式
- 分散オペレーティングシステムDM-2におけるスレッドディストリビュータの実現
- 分散仮想記憶に基づくオペレーティングシステムDM-1におけるタスク・スレッドモデル
- 分散仮想記憶に基づくオペレーティングシステムDM-1の構成
- 微細テクノロジ向けDRCルールファイルからの設計規則抽出とその可視化(レイアウト設計検証, システムLSIの設計技術と設計自動化)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- FPAccAアーキテクチャへのラジオシティ法の実装と評価(FPGAとその応用及び一般)
- DRCルールファイルからの設計規則抽出とその可視化
- 兎・亀プロセッサの切替えによる低消費エネルギー化の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 兎・亀プロセッサの切替えによる低消費エネルギー化の提案(システムオンシリコン設計技術並びにこれを活用したVLSI)
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- IEEE754準拠単精度浮動小数点除算器IPライブラリの開発
- DRCルールファイルからの設計規則抽出とその可視化
- DRCルールファイルからの設計規則抽出とその可視化
- DRCルールファイルからの設計規則抽出とその可視化
- 乗算器のBoothリコーダの回路方式について
- 乗算器のBoothリコーダの回路方式について
- 乗算器のBoothリコーダの回路方式について
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- 一般二分決定グラフの生成法
- 一般二分決定グラフの生成法
- ベクトル計算機に適したB-スプラインの計算法
- スプライン関数を用いた多次元データの平滑化 : ベクトル計算機向きの算法
- ベクトル計算機に適したB-スプラインの計算法(スーパーコンピュータのための数値計算アルゴリズムの研究)
- BDDパッケージの動的変数順序づけの並列化
- BDDパッケージの動的変数順序づけの並列化
- 超並列算計機におけるデータ並べ替えアルゴリズムと要求されるデータ転送能力の見積もり
- 異なる長さをもつ表形式データの転置
- 多階層記憶におけるデータ並べかえと記憶階層の最適化
- 実時間オペレーティングシステムR^2用マルチタスクシミュレータの開発R^2シミュレータの言語処理系
- 実時間オペレーティングシステムR^2用マルチタスクシミュレータの開発R^2シミュレータの機能と全体構成
- データベース専用オペレーティングシステムμOPT-Rの分散環境におけるセグメント管理方式
- データベース専用オペレーティングシステムμOPT-Rにおける演算処理方式について
- 再帰的手続きの自動ベクトル化における幅優先法の拡張
- FPAccA model 2.0チップの設計 : 再構成可能な浮動小数点演算器アレイ
- 実時間オペレーティングシステム R^2-86 核のアーキテクチャ
- 実時間オペレーティングシステムR^2-86の開発とその移植性
- 実時間オペレーティングシステムR^2のロボットプリミティブとプロトタイプシステム
- 一般二分決定グラフの生成法
- FPAccA:フィールドプログラマブルアキュムレータアレイ : FPAccA model 1.0チップの設計と評価 (電子システムの設計技術と設計自動化)
- PA-2-7 VLSI設計のための望ましいCADツール
- ハードウェアエンジンとしてFPGAを利用した消費電力シミュレーション
- 符号化したMRCFによるAND-EXOR論理式の厳密最小化
- 枝刈り機能付きBDDパッケージとその応用
- 線形回帰演算の並列化手法の応用によるDOACROSSループの並列実行
- ベクトル計算のための一次回帰演算の高速アルゴリズム
- 回帰的なデータ参照を伴う演算のベクトル化
- 自動ベクトル化コンパイラにおけるイディオム認識法
- 陽的差分による3次元電磁流体シミュレーションのスーパコンピューティング
- ベクトル計算機のための一次回帰演算の高速アルゴリズムとその並列化(並列処理)
- バルク回帰並列処理 : 依存のあるループの並列実行方式
- 粒子輸送モンテカルロシミュレーションコードの自動並列化
- 粒子輸送モンテカルロシミュレーションコードの自動並列化
- 疎結合並列計算機Paragonの性能評価 : ノード間通信性能の評価を中心に
- 実時間オペレーティングシステムR^2の入出力制御方式
- 実時間オペレーティングシステムR^2の通信管理方式
- 実時間オペレーティングシステムR^2のタスク管理方式
- 実時間オペレーティングシステムR^2の設計目標と全体構成
- 自動ベクトル化並列化コンパイラV-Pascal Ver.3
- 自動ベクトル化並列化コンパイラV-Pascal Ver.3
- 精密な依存解析のための変数値域の静的予測
- 分散メモリ型並列計算機用自動並列化コンパイラV-Pascal/DM
- 分散OS DM-1における障害対策のためのシステム停止機能
- 分散オペレーティングシステムDM-1におけるスレッド分配機構
- バス結合並列計算機モデルにおけるデータ転送の最適アルゴリズム
- 高並列計算機におけるデータ並べ替えの最適化
- バス結合型並列計算機におけるデータ転送の最適アルゴリズム(計算機構とアルゴリズム)
- バス結合マルチプロセッサ型ベクトル計算機における線形計算アルゴリズムの評価
- WHILE型ループの自動ベクトル化,並列化
- Logspace Bounded Alternation and Logical Query Programs
- 多重ループにわたる配列データ依存関係解析法
- 表示的意味論によるC言語の意味記述と処理系作成への応用
- 自動ベクトル化コンパイラのための制御関係解析法
- 電磁流体方程式における高速数値計算法と数値解の評価
- 実時間オペレーティングシステムR^2/V2におけるタスクグループの実現
- ベクトル計算機における拡張記憶の拡張主記憶としての仮想化
- 拡張記憶の拡張主記憶としての仮想化
- データベースを利用したC言語プログラム開発支援システムCbaseの実現
- オブジェクト指向スクリプト言語Rubyへの世代別ごみ集め実装手法の改良とその評価
- FPAA : フィールドプログラマブルアキュムレータアレイ