時相論理に基づく論理回路検証システム

• Item type: Journal(1)
• 公開日: 1989-06-15
• タイトル: 時相論理に基づく論理回路検証システム
• タイトル / 言語: en
• タイトル: Logic Design Verification System Based on Temporal Logic
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ハードウェア検証と解析
• 著者所属: 東京大学工学部電気工学科
• 著者所属: （株）富士通研究所
• 著者所属: （株）ソニーコンピュータサイエンス研究所
• 著者所属: 東京大学工学部電気工学科
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, Faculty of Engineering, University of Tokyo
• 著者所属(英): en
• 著者所属(英): Fujitsu Loboratories Ltd
• 著者所属(英): en
• 著者所属(英): Sony Computer Science Laboratory Inc.
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, Facutly of Engineering, University of Tokyo
• 著者名: 中村, 宏; 藤田, 昌宏; 河野真治; 田中, 英彦
• 著者名(英): Hiroshi, Nakamura; Masahiro, Fujita; Shinji, Kono; Hidehiko, Tanaka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年のディジタルシステムの大規模化 複雑化に伴い 論理設計段階での設計支援が強く望まれている.論理設計段階での検証に関しては 従来シミュレーションによるものがほとんどであったが 適切なシミュレーションデータの作成は難しく 必ずしもすべての誤りを検出できるわけではない.そこで形式的な検証手法が種々提案・検討されてきたがそこで最も問題となったのは "厳密に仕様を記述するのは容易ではない"ということであった.これはハードウェアシステムに内在する並列性・順序性を簡単に記述する言語がないことによる.我々は 並列性・順序性を容易かつ厳密に記述できる時相論理で記述した仕様に対して検証を行うシステムを ディジタルシステムの制御部(control part)の同期回路を対象にして作成した.本論文では その検証システムで用いている検証手法 および検証結果を述べる.実際に例題を検証した結果 本システムは実行速度 メモリ使用量の点で実用的であるといえる.制御部の設計は 演算部(function part)の設計と比較して 回路の規模としては小さいがタイミングが複雑であり 人間にとっては誤設計を起こしやすい部分であり 本システムの利用価値は大きいと考える.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 30, 号 6, p. 771-778, 発行日 1989-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764