真理値表表現を用いた記号シミュレータ
スポンサーリンク
概要
- 論文の詳細を見る
論理回路の記号シミュレーションは、回路の人力として0,1の他に記号を用いるものであり、出力はその記号を用いた式(論理関数)で表される。記号を用いることにより、多くの入力パタンをまとめて記述することができ、また信号値に名前をつけることによって因果関係が明確になり、人間に理解しやすくなる。しかし記号を扱うためには、論理関数の内部表現や、演算方法、出力形式をどうするかが重要であり、実行速度や記憶量の面で効率のよい手法の研究が必要である。本稿では、論理関数の内部表現として真理値表を用いた記号シミュレータについて述べる。真理値表表現は計算機内部での処理が容易であり、これを用いて高速で会話的なシミュレータを実現することができた。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
-
湊 真一
Ntt Lsi研究所
-
石浦 菜岐佐
京都大学工学部
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
湊 真一
北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科
-
湊 真一
京都大学工学部情報工学教室
関連論文
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- 連想メモリを利用したハードウェア向き単一化アルゴリズム
- 連想メモリを利用した高速単一化アルゴリズム
- ゼロサプレス型BDDを用いた系列長制限つき正規表現処理方法
- 入力制約監視機能をもつ会話型シミュレーション・システムISS
- 京都大学情報処理教育センターの概要
- ベクトル計算機向き共有二分決定グラフ処理法
- 関係データベースにおける意味制約を反映した非正規形の関係の設計問題
- データベースにおける非正規関係の設計と操作について(モデル表現とその構築に関する理論と実際の研究)
- 関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論)
- 関係データベースシステムにおける質問作成・改良の補助機能をもつ利用者インタフェースの設計と開発 (情報の記憶と利用に関する理論的研究)
- 文献情報処理のためのMULTI-KWICシステム
- 積和形論理式を表す二分決定グラフの表現能力(アルゴリズムと計算量理論)
- 積和形論理式を表す二分決定グラフの表現能力
- 二分モーメントグラフを用いた大規模多項式の操作手法
- 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 正則時相論理の充足可能性判定アルゴリズム
- 乗算型除算および開平のためのハードウェアによる初期近似手法
- 除算と開平のための積和演算を用いた初期近似手法
- 連分数展開に基づく高速開平アルゴリズム
- テンポラル・ロジックで用いられている連接について(アルゴリズムの数学的基礎理論とその応用)
- 論理回路機能の時間的関係の記述と検証(計算機科学の基礎理論とその応用)
- 入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論)
- 仕様が漸化式で与えられた組含せ回路の形式的設計検証
- プール式処理による不完全指定順序機械の最小化
- マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
- 冗長2進表現を用いた右シフト剰余除算のハードウェアアルゴリズム
- 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)
- 部分自律有限オートマトンの等価性 (情報科学の数学的基礎理論と応用)
- 2入出カ対オートマトンによる計算機結合インタフェースの設計手順 (計算機構の数学的研究)
- 共有二分決定グラフを用いた論理回路の多重故障シミュレ一ション
- スライス関数と斉次関数の回路計算複雑さについて
- Representability Problem for Relational Database Design with Multivalued Dependencies (情報科学の数学的基礎理論と応用)
- Query Processing in a Relational Database Using Abstracted Characteristics of Data (情報科学の数学的基礎理論と応用)
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 時間記号シミュレーションについて
- O(n)段剰余べき乗算回路
- 機能メモリを用いたDCTハードウェアアルゴリズム
- SBDDを用いた最小STT状態割当
- SBDDを用いた最小単符号単発状態割当
- 有向非巡回グラフの線形配置アルゴリズムについて
- 高速シミュレータを用いた重み付き乱数によるテスト生成
- 高速故障シミュレータを用いたテスト生成
- ベクトル計算機による高速故障シミュレーションのための動的二次元並列法
- 閾値関数を表す2分決定グラフの変数順序と重みの順序の関係
- 基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)
- しきい値関数を表現する二分決定グラフの大きさの下界
- マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
- 2進乱数の改善およびその改善度について
- ゼロサプレスBDDによるペトリネットのCTL記号モデル検査
- ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)
- 非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺)
- 二分決定グラフ(BDD)による命題論理プログラミング
- ベクトル計算機上でのソーティング手法
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- アルゴリズム記述からのBDD生成
- 組合せ回路検証の技術
- 二分決定グラフによる制約充足問題の解法
- ゼロサプレス型BDDを用いた非明示的積和形表現の高速因数分解法
- 2. 計算機上での BDD の処理技法 (<特集> BDD (二分決定グラフ))
- 「わくわく」 - 技術革新のキーワード -
- 共有二分決定グラフの「幅」に着目した変数順序づけ手法
- 多項式サイズの二分決定グラフで表現可能な論理関数のクラス(計算および計算量理論とその周辺)
- 論理関数の共有二分決定グラフによる表現とその効率的処理手法
- 論理回路の正確なタイミング検証のための時間記号シミュレーション
- 非決定性順序機械によるハードウェア記述言語の意味付け
- 共有二分決定図を用いた論理関数の処理手法について
- 時間カロリー記号論理シミュレーションにおける遅延モデルの拡張
- 時間記号論理シミュレータの高速化と性能評価
- 真理値表表現を用いた記号シミュレータ
- AI-1-5 大規模な離散構造データを扱うためのGPU利用法の検討(AI-1.GPUを用いた高速化技術とそのVLSI設計への応用,依頼シンポジウム,ソサイエティ企画)
- BS-1-2 順列集合を操作する効率的なデータ構造とアルゴリズムの研究について(BS-1. 学生による研究室交流会,シンポジウムセッション)
- 組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)
- 写像枝を用いた系列二分決定グラフ (Theoretical Foundations of Computing)
- 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化 (Theoretical Foundations of Computing)
- 系列二分決定グラフを操作するための豊富な演算体系の構築 (Theoretical Foundations of Computing)
- ベイジアンネットワークとZDDに関する最近の研究状況について (特集 「ベイジアンネットワークとその応用」および一般)
- 招待講演 フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法 (情報ネットワーク)
- 共有二分決定図を用いた組合せ論理回路のテスト生成
- 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む
- 5.ZDDを用いた新たな列挙手法(広がる列挙の技術-列挙による問題解決アプローチ-)
- DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- BDD/ZDDの技法と離散構造処理系(離散構造処理系-知能情報処理を支えるアルゴリズムの技法)
- DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
- DS-1-13 πDDのConjugacy Class計算への適用とその性能評価(DS-1.COMP学生シンポジウム,シンポジウムセッション)
- Counterexamples to the long-standing conjecture on the complexity of BDD binary operations
- DS-1-14 πDDの順列集合演算を用いたパンケーキ整列問題の解析法(DS-1.COMP学生シンポジウム,シンポジウムセッション)
- グラフ列挙索引化技法の種々の問題への適用 (特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
- BDD/ZDDを用いたグラフ列挙索引化技法 (特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
- 順列二分決定グラフを用いたパターン回避順列の列挙索引化
- 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ