LSIを含む階層的論理システムのための論理シミュレータSIM/D
スポンサーリンク
概要
- 論文の詳細を見る
論理シミュレータは論理システムの開発支援のための重要なツールである. 本稿では, 設計検証支援のため開発した論理シミュレータSIM/D(Simulator for Design Verification)について述べる. SIM/Dは, ゲート・機能・レジスタ転送の3つのレベルの併用シミュレーションが可能であるSIM/Dでは, 回路をいくつかのモジュールの階層構造として表現する. そのため, 設計の各階層との対応がとれ, 3つのレベルのシミュレーションを併用することにより, 各段階における検証が容易になった. LSIの記述のためには, DDL(Digital System Design Language)に遅延時間の記述およびモジュールの階層性の概念等をとり入れたハードウェア記述言語XDDL(Extended DDL)を用いる. LSIもひとつのモジュールとして記述することにより, LSIを含んだ回路も容易にしかも精密にシミュレートできる. さらに, 処理の高速化を達成するために, 従来のイベント法の改良であるセレクティブイベント法, および回路を持つ意味をモジュール単位に与えて回路を階層的にシミュレートする意味記述法を新たに導入した. これらの方式を利用すればシミュレーションの正確さを犠牲にせずに, 従来の方式と比較してきわめて大幅な高速化が実現される. なお, 意味記述法は, 高速化達成だけでなく, 将来の自動検証にも利用できる重要な概念であり, また回路の階層的記述は, 設計データベースおよびそれを利用した設計自動化システムヘの発展においても本質的であると考える.
- 一般社団法人情報処理学会の論文
- 1980-07-15
著者
関連論文
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- 連想メモリを利用したハードウェア向き単一化アルゴリズム
- 連想メモリを利用した高速単一化アルゴリズム
- 入力制約監視機能をもつ会話型シミュレーション・システム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進乱数の改善およびその改善度について
- ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)
- 非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺)
- 論理回路の故障の自律検査法 (情報科学の数学的基礎理論と応用)
- 近接関数を用いた多出力論理関数の最小化について
- ベクトル計算機上でのソーティング手法
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- 確率的符号化時間記号シミュレーションによるタイミングエラー確率の解析
- しきい値関数を表す二分決定グラフのサイズと変数順序
- k回読み分岐プログラムによる論理関数の表現能力
- 種々のk回読み分岐プログラムについて
- 多項式サイズの二分決定グラフの族に対する完全言語(計算機構とアルゴリズム)
- 組合せ問題の論理関数による解法について(計算機構とアルゴリズム)
- 二分決定グラフの最小推論について
- 論理関数を表現する2分決定グラフの最小化
- 二分決定グラフによる論理関数処理の計算複雑さ(理論計算機科学とその周辺)
- 連想メモリによるメモリ型並列計算モデルの計算能力
- メモリ型並列計算におけるネットワークの形態と能力について(計算および計算量理論とその周辺)
- 多項式サイズの二分決定グラフで表現可能な論理関数のクラス(計算および計算量理論とその周辺)
- 論理関数の共有二分決定グラフによる表現とその効率的処理手法
- イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用)
- Harmonic Analysis of Switching Functions (情報科学の数学的理論)
- 構造を有するデータの入力システムCODEの開発 (データ・セマンティクスの理論と実際に関する研究)
- 文献集作成補助システムの設計と開発 (情報の記憶と利用に関する理論的研究)
- LSIを含む階層的論理システムのための論理シミュレータSIM/D
- 遅延のある論理素子集合の万能性について (オートマトン理論と数理言語の研究)
- 論理回路の正確なタイミング検証のための時間記号シミュレーション
- 共有二分決定図を用いた論理関数の処理手法について
- 多段グラフの平面性判定アルゴリズム (計算機科学の数学的基礎)
- 時間カロリー記号論理シミュレーションにおける遅延モデルの拡張
- 時間記号論理シミュレータの高速化と性能評価
- 真理値表表現を用いた記号シミュレータ
- 論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用)
- ベクトル計算機を用いた論理関数の素項の生成
- 特集「VLSI向きハードウェアアルゴリズム」の編集にあたって
- テレビ走査型計算機グラフィック表示装置を利用した図形編集システムGEST
- メモリ型並列計算モデルとその計算能力 : スーパコンピュータへの第3のアプローチ
- 共有二分決定図を用いた組合せ論理回路のテスト生成
- 論理型プログラムの並列計算複雑さと組合せ論理回路による超並列計算
- 時間依存オートマトンについて (時系列パターンの認識システムの研究)
- ネットワークモデルによる制約表現(モデル表現とその構築に関する理論と実際の研究)
- 正則集合と表現等価な正則時相論理RTL
- 正則集合に表現等価なテンポラル・ロジック(アルゴリズムの数学的基礎理論とその応用)