WEKO3
アイテム
LSIを含む階層的論理システムのための論理シミュレータSIM/D
https://ipsj.ixsq.nii.ac.jp/records/16302
https://ipsj.ixsq.nii.ac.jp/records/16302f59d6c62-0a47-4bb4-b543-e5cdebbbf443
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 1980 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1980-07-15 | |||||||
| タイトル | ||||||||
| タイトル | LSIを含む階層的論理システムのための論理シミュレータSIM/D | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | SIM/D : A Logic Simulator for Hierarchical Digital Systems Containing LSI's | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属 | ||||||||
| 京都大学工学部情報工学教室 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Faculty of Engineering, Kyoto University | ||||||||
| 著者名 |
稲垣, 耕作
槌田, 義之
酒井, 丈嗣
矢島, 脩三
× 稲垣, 耕作 槌田, 義之 酒井, 丈嗣 矢島, 脩三
|
|||||||
| 著者名(英) |
Kosaku, Inagaki
Yoshiyuki, Tsuchida
Takeshi, Sakai
Shuzo, Yajima
× Kosaku, Inagaki Yoshiyuki, Tsuchida Takeshi, Sakai Shuzo, Yajima
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 論理シミュレータは論理システムの開発支援のための重要なツールである.本稿では 設計検証支援のため開発した論理シミュレータSIM/D(Simulator for Design Verification)について述べる.SIM/Dは ゲート・機能・レジスタ転送の3つのレベルの併用シミュレーションが可能であるSIM/Dでは 回路をいくつかのモジュールの階層構造として表現する.そのため 設計の各階層との対応がとれ 3つのレベルのシミュレーションを併用することにより 各段階における検柾が容易になった.LSIの記述のためには DDL(Digital System Design Language)に遅延時間の記述およびモジュールの階層性の概念等をとり入れたハードウェア記述言語XDDL(Extended DDL)を用いる.LSIもひとつのモジュールとして記述することにより LSIを含んだ回路も容易にしかも精密にシミュレートできる.さらに 処理の高速化を達成するために 従来のイベント法の改良であるセレクティプイベント法 および回路を持意味をモジュール単位に与えて回路を階層的にシミュレートする意味記述法を新たに導入した.これらの方式を利用すればシミュレーションの正確さを犠牲にせずに 従来の方式と比較してきわめて大幅な高速化が実現される.なお 意味記述法は 高速化達成だけでなく 将来の自動検証にも利用できる重要な概念であり また回路の階層的記述は 設計データベースおよびそれを利用した設計自動化システムヘの発展においても本質的であると考える. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 21, 号 4, p. 332-339, 発行日 1980-07-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||