中間変数を用いた大規模回路向けトランスダクション法
スポンサーリンク
概要
- 論文の詳細を見る
VLSI技術の目覚しい進歩による回路の大規模化,複雑化に伴って,計算機支援による論理回路設計は非常に重要になっている.本稿で用いる回路の最適化手法であるトランスダクション法は,許容関数と呼ばれる回路内の冗長性を表す概念を用いて回路変換を行うものであり,近年の計算機能力の飛躍的な向上と共有二分決定グラフ(SBDD)の開発により,広く用いられるようになった.しかし回路がますます大規模化するにつれ,記憶容量,計算時間の点から,回路全体ではなく部分回路に対して最適化を行う手法が求められてきている.そこで本稿では,各ゲートの論理関数を表すBDDのノード数によって部分回路を抽出し,抽出した部分回路の出力を中間変数で表現することにより対象外となった回路の部分も考慮して許容関数を計算し,トランスダクション法を適用して大規模回路の最適化を行う手法を提案する.また,本手法による実験を行い,大規模な回路に対して比較的短時間に処理が可能で,文献の手法に比べて良好な最適化結果が得られたことを示す.
- 一般社団法人情報処理学会の論文
- 1995-03-15
著者
関連論文
- サイバースペースの現状と問題
- Wired-ORを併用したトランスダクション法による高速論理回路設計
- ハードウェア進歩のデータベース研究への影響
- 総合会議支援システムVIEW Confにおける各種会義レベルの実現
- 総合会議支援システムVIEWのConfにおける各種会義レベルの実現
- VIEW Conf : 総合会議支援システムの設計
- 地理データベース出力における可読性の向上について
- 地理データベースにおける名前配置の後処理について
- 遠隔講演システムにおける聴衆からのフィードバック機構
- WWWにおける分散協調作業支援のためのナビゲーション共有機構の開発
- 文書の更新を考慮した動作ビューによるハイパーメディアの再構成
- 協調型ハイパーメディアシステムにおけるアンケート機構
- 遠隔教育システムVIEW Classroomにおける動作履歴ビューに基づく自動回答支援機構
- 遠隔教育システムVIEW Classroomにおける講義記録再生機構及び復習機構の設計と実装
- ハイパーメディアビューと利用者履歴の干渉
- 遠隔教育システムVIEW Classroomにおけるデータベース機能に基づく分散制御機構の設計
- 遠隔教育システム VIEW Classroom の教材における動的リンク構造
- 遠隔教育システム VIEW Classroom における同期と非同期の会話支援モデル
- 協調ハイパーメディアシステムVIEW Mediaによる時間的な分散を考慮したプレゼンテーションの支援
- 協調ハイパーメディアを利用した遠隔教育システムにおける講義機能
- 対話的な遠隔プレゼンテーションを支援する分散共有ハイパーメディアVIEW Mediaの基本設計
- 関係データベースにおける意味制約を反映した非正規形の関係の設計問題
- データベースにおける非正規関係の設計と操作について(モデル表現とその構築に関する理論と実際の研究)
- 関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論)
- 関係データベースシステムにおける質問作成・改良の補助機能をもつ利用者インタフェースの設計と開発 (情報の記憶と利用に関する理論的研究)
- 文献情報処理のためのMULTI-KWICシステム
- 時間的に離れた協同作業環境を支援するための動作ビュー機構
- Virtual Officeにおける一般化トリガの実現とその応用
- ワークフロー管理システムWorkFlowBaseのプロトタイプの実現と評価
- ワークフローモデルにおけるビュー機能
- 集約階層をなす協調作業上における作業間の属性の継承
- Virtual Officeにおける仮想オフィス間の通信機能
- 多様な利用目的に応じた略地図の生成手法
- オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
- プッシュダウンオートマトンに対応する無限状態オートマトンの性質 (オートマトン理論と数理言語の研究)
- 仮想ハイパーメディア地図における共起オブジェクト
- 履歴情報を持ったオブジェクトによる配置図の合成
- 大容量主記憶のものでのファイルの構成法(情報の構造化と意味に関する研究)
- スキーマ変換の容易なデータベースシステムのためのファイル構成(モデル表現とその構築に関する理論と実際の研究)
- Virtual Officeの基本部分の開発
- トランスダクション法を利用したFPGAのマッピング
- Virtual Officeにおける利用者通信機能の実現
- Virtual Officeのためのオブジェクト指向型オフィス記述モデルとプロトタイプシステムの実現
- 効率の良い直列分解多段化に基づくファンイン制限付きトランスダクション法実現の一手法
- 対話型GUI構築ツールを用いたマルチユーザ型Virtual Officeの実現
- トランスダクション法の並列化アルゴリズム
- Virtual Officeにおける空間記述言語
- データベースを用いた回路の再利用に基づく論理回路設計手法
- 関係データベース質問を表す擬自然言語表現のための構造エディタ
- 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)
- 自己シャフルされた記号列を入力とする有限オートマトンについて (計算の複雑性に関する研究)
- 部分自律有限オートマトンの等価性 (情報科学の数学的基礎理論と応用)
- 2入出カ対オートマトンによる計算機結合インタフェースの設計手順 (計算機構の数学的研究)
- トランスダクション法向け論理回路マッパ
- Representability Problem for Relational Database Design with Multivalued Dependencies (情報科学の数学的基礎理論と応用)
- Query Processing in a Relational Database Using Abstracted Characteristics of Data (情報科学の数学的基礎理論と応用)
- VirtualOfficeにおけるテキストベースの会議機能
- 関係質問と従属性の干渉
- 横切り分解によるデータ従属性の保持(計算機構に関する数学的基礎理論とその応用)
- ハイパーメディア操作再利用のための動作ビュー機構
- 地理データベースにおけるオブジェクト優先度決定
- 地理データベース質問作成のためのシソーラスのビュー
- Virtual Officeにおけるセキュリティ管理の基本概念
- 並行制御機能のないデータベースシステムによる分散データベース
- 異なる並行制御方式を持つデータベースシステムの統合(計算機科学の基礎理論)
- 基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)
- A New Automaton Model Suitable for Maximal Common Substring Computation and Its Application to Data Compression (Mathematical Studies of Information Processing)
- 文字列集合の共通パターンを求める問題について (計算の複雑性に関する研究)
- 最大共通部分系列問題と共通連続部分系列問題のアルゴリズム (情報科学の数学的基礎理論と応用)
- 不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎)
- 地理データベースシステムにおける地理情報の重ね合せ手法
- ゲートの仮想除去を用いた大規模回路向けトランスダクション法
- 大規模回路向けトランスダクション法における部分回路の抽出
- 中間変数を用いた大規模回路向けトランスダクション法
- 二分決定グラフによる知識圧縮
- 地理データベースにおける利用者要求の明確化/詳細化のための演繹支援機能
- オブジェクト指向データベースシステムにおけるオブジェクト移動の実現法
- トランスダクション法のための二分決定グラフを用いた束探索に基づく3段初期回路の生成
- 地理データベースに対する演繹サポートシステム
- 動的なワークフロー管理と病院診療モデルへの応用
- パターンベースによる冗長性の付加を考慮したトランスダクション法に関する考察
- 93年RIDEおよびデータ工学国際会議報告
- フィードバック機構におけるオーバヘッドの減少法
- ファンイン制限つきトランスダクション法におけるゲート変更の導入
- 遅延を考慮したトランスダクション法におけるファンイン制限手法
- 構造を有するデータの入力システムCODEの開発 (データ・セマンティクスの理論と実際に関する研究)
- 文献集作成補助システムの設計と開発 (情報の記憶と利用に関する理論的研究)
- 多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎)
- データ知識協調モデルにおける種々の階層の実現方式
- データ知識協調モデルにおける代理クラスとその応用
- データ知識協調モデルのオブジェクト指向方式による実現法
- データ知識協調モデルのオブジェクト指向方式による実現法
- 情報表現能力と応答の実時間性を考慮した動的文字配置の実験および評価
- 動的地図に対する文字配置の実時間応答のための前処理
- VIEW Officeにおける環境に即した共有規則の柔軟な適用
- 設計データベースのための導出関連ビューの実現
- オブジェクト・マイグレーションを考慮したオブジェクト指向データベースの一貫性管理
- データ知識協調モデルにおけるデータ知識スキーマの変換方式
- ネットワークモデルによる制約表現(モデル表現とその構築に関する理論と実際の研究)
- ワークフロー管理システムWorkFlowBaseにおけるワークフローデータモデル