トランスダクション法のための二分決定グラフを用いた束探索に基づく3段初期回路の生成
スポンサーリンク
概要
- 論文の詳細を見る
近年のVLSI技術の進歩や計算機能力の向上に伴い,計算機による論理回路設計が不可欠となってきている.トランスダクション法は何らかの方法で設計された初期回路を元に,そこに含まれる潜在的な冗長性を利用することにより回路の変形削減を行なう手法である.この手法は面積最適化だけでなく遅延最適化や設計の変更などにも強力であり,近年さまざまな研究がなされている.これまで著者らはその初期回路に注目し,できるだけ段数の少ない初期回路を生成することにより遅延を最適化する研究を行なってきた.これは束(lattice)状に表された真理値表をもとに3段の回路を生成する初期回路生成部とそれにファンイン制限を施すファンイン制限部とからなっている.しかしこの初期回路生成部において束を直接扱うため,入力変数の数nに対してO(2^n)の記憶領域が必要であり大規模な回路を扱うことができなかった.共有二分決定グラフ(Shared Binary Decision Diagram,以下簡単のためSBDDと表す)は論理関数を計算機内部で表現するにの大変効率の良いデータ構造である。本稿では,論理関数の表現にSBDDを用い,束を順次計算することによって従来の手法を大規模な回路に適用できるように改良したことについて述べる.本手法を用いるのは不完全指定の多出力関数を実現する3段の論理回路を高速に作成するのに適しているためである.
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
-
澤田 直
九州産業大学情報科学部知能情報学科
-
上林 弥彦
京都大学工学部
-
澤田 直
九州産業大学情報科学部
-
石垣 博康
京都大学工学部
-
石垣 博康
三菱重工(株)長崎造船所
-
澤田 直
九州大学工学部情報工学科
関連論文
- 2L-4 FPGAとプロセッサを組み合わせたシステム設計教育に関する研究(上流設計技術,学生セッション,アーキテクチャ)
- FPGA/DSPベースシステムによる組込みシステム設計教育(コンピュータシステム)
- 産学協同実践教育「プロジェクトベース設計演習」高度化の取組み(情報システム教育コンテスト(3))
- 6L-5 PICタイマーを用いた組込みソフトウェア教育カリキュラムの開発(ソフトウェア設計,学生セッション,ソフトウェア科学・工学)
- サイバースペースの現状と問題
- Wired-ORを併用したトランスダクション法による高速論理回路設計
- ハードウェア進歩のデータベース研究への影響
- 総合会議支援システムVIEW Confにおける各種会義レベルの実現
- 総合会議支援システムVIEWのConfにおける各種会義レベルの実現
- VIEW Conf : 総合会議支援システムの設計
- 地理データベース出力における可読性の向上について
- 地理データベースにおける名前配置の後処理について
- 産学協同によるプロジェクトベース設計演習のためのFD(大学教員能力開発)プログラムの実施と総括
- 経済産業省平成18年度産学協同実践的IT教育訓練基盤強化事業"「プロジェクトベース設計演習」FDプログラムの開発"実施報告
- 双方向型産学連携実践教育(実践教育,産学連携論文)
- 1M-9 FPGAを搭載した倒立振子ロボットの開発(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 遠隔講演システムにおける聴衆からのフィードバック機構
- 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段初期回路の生成
- トランスダクション法を用いた回路の置き換えによる論理回路遅延最適化について
- 1M-8 モデル計算機KERNEL I/Oシステムの開発(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- システム設計教育手法に関する研究
- 実機の制御を前提とした設計教育事例
- D-15-16 実機の制御を基にした論理回路実験教材の開発(D-15. 教育工学)
- 回路パターンによる回路変換を併用したトランスダクション法
- 回路パターンによる回路変換を併用したトランスダクション法
- パターンによる回路変換を併用したトランスダクション法
- 回路パタンに基づく回路変換システムの開発
- エラー補償型トランスダクション法による回路の最適化について
- パターンベースによる冗長性の付加を考慮したトランスダクション法に関する考察
- ファンイン制限つきトランスダクション法におけるゲート変更の導入
- 遅延を考慮したトランスダクション法におけるファンイン制限手法
- トランスダクション法のための3段初期回路生成手続きの改良とその評価
- OR表現を含むデータベース質問に対する自然言語表現の生成