効率の良い直列分解多段化に基づくファンイン制限付きトランスダクション法実現の一手法
スポンサーリンク
概要
- 論文の詳細を見る
近年のVLSI技術、および、論理回路の自動設計技術の進歩に伴い、計算機による論理回路設計が実用の域に入ってきている。特に、BOD(Binary Decision Diagrams)を利用することにより、これまで膨大な記憶容量を必要としてきたプール的手法による論理回路段適化が、広く利用されるようになった。1970年代前半にイリノイ大学において開発されたトランスダクション法は、許容関数と呼ばれる論理関数の変更の自由度を利用して回路を変形し、面積コスト、遅延時間などの点から最適化を行なう手法である。最近になって、規則性の少ない回路においては非常に良い結果を得ることができることが示され、BDDとの結合により、日米の数社で実用化されている。また、変数を時間シフトすることによる順序回路の最適化や、大規模回路向きのアルゴリズムの改良、並列計算機上での実現などの研究も行われ論理回路最適化の手法としての標準になりつつある。トランスダクション法では、初期回路として与えられた回路をもとに最適化を行なう手法であるため、初期回路の性質によって最適化後の結果が大きく左右され、局所解に落ち込んでしまうことも稀ではない。特に、テクノロジマッピングを考慮し、ファンイン制限を行なった上でのトランスダクション法の適用は、さらに回路変換の可能性を狭め、最適化結果が局所解に陥る要因となっていると考えられる。そこで本稿では、ファンイン制限を満たした初期回路に対し、ファンイン制限を満たした上でトランスダクション法を適用する際に、面積コストの点での最適化能力の向上を図るための改良を行なった結果を報告する。本手法は、回路変形の自由度を変化させながら局所解からなるべく抜け出せるように工夫をしたものであり、ファンイン制限をしたまま回路変換をする際の最適化能力の減少をなるべく小さくすることが可能である。実験の結果従来一般的にとられてきたファンイン制限のもとでのトランスダクション法に比べ、65%程度の回路で面積コストの改善が見られ、また回路によっては、劇的に面積コストの改善が実現できる場合があることが分かり、本手法が有効であることが示された。
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
関連論文
- サイバースペースの現状と問題
- 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におけるワークフローデータモデル
- ネットワーク上の仮想組織におけるDeputyオブジェクトの利用