時相論理を動作記述に用いたデータパス検証システム

スポンサーリンク

概要

論文の詳細を見る
本論文では,機能設計支援を目的としたデータパス検証システムを提案する・本システムはレジスタトランスファレベルの動作記述と構造記述の両方を入力とし,a)動作記述と構造記述の間の対応情報の抽出,b)動作可能性の検証,c)制御論理の抽出を行う.本システムでは,動作記述を時相論理に基づく言語で与える.時相論理を用いることにより,時間に関する記述を容易かつ明瞭に行える・本論文では,パイプライン動作等の,並列性を内在する動作記述例を用いることによって,時間に関するその記述能力を示すとともに,それらの動作記述に対して検証システムを適用した結果を報告する.本システムは実用的な処理能力を有し,これを用いることにより効果的な機能設計支援を実現できると考えられる.
一般社団法人情報処理学会の論文
1990-08-15

著者

関連論文

もっと見る

スポンサーリンク