仕様設計エキスパートシステムのアーキテクチァ

概要

論文の詳細を見る
プロセッサ・ハードウェア設計における論理設計より上位の段計支援技術は十分には実用になっていない.そこで,上位の段計工程を支援すべく,設計記述のレベルを仕様妃述にまで高め,仕様の記述/解析を支援する技術,さらには,動作遁理を自助合成する技術の研究を進めた.まず,仕様記述にふさわしい高位の記述モデルを,「処理」,「データ」という対象(オブジェクト)とそれらの「関係」によって表現した.このモデルに基づいた日本語仕様記述を自然言語に制限を加えた形で実現した.実際のプロトタイプシステムでは,意味解析,正当性検証には可続性,保守性の高さからES構築支援ツールKBMSのルール(第1個)で記述した.また,動作輪理合成ではオブジェクトの分類,情報の補完にルール(96個)を用い他の部分をLispで記述した.この結果,日本語仕様記述"行を処理するのに,仕様情報解析に約30秒,SFL合成に約5分程度を要するという実験結果を得ている.修正,再解析を繰り返すことが設計作業の特徴であるので,解析処理は数十秒のオーダであるものの,実用上は一層の高速化が必要である.一方,合成処理は最後に一度実行するだけであるから,数分オーダでも実用上問題がないと考える.この論文で述べた手法は,ユーザは使い慣れた日本語を用いてハードウェアの設計を行うことができ,筆者らが狙いとしている仕様設計の段階からの支援を進めて行っていく上で有効な方法であると考える.
一般社団法人情報処理学会の論文
1989-05-15

仕様設計エキスパートシステムのアーキテクチァ

スポンサーリンク

概要

著者

関連論文

スポンサーリンク