同期式順序回路の代数的仕様からの段階的設計における再設計支援環境に関する研究

点击翻译按钮获取中文摘要

研究計画に従い,行った研究の概要を述べる.本研究では,回路の要求仕様から段階的に回路設計を行うASL回路設計支援システム(試験研究05558031)に対して,再設計の支援を行うための以下の機能を実現・追加した.(a)状態遷移図表示のためのライブラリの作成 我々の提案している回路モデルでは,回路の動作を状態遷移図で表すことができる.状態遷移図に対する制御構造の変更,機能部品の割り付け,下位レベルの汎用CADシステムからの性能評価の情報などの表示や入力などを行うためのヒューマンインターフェイスを実現するための,汎用UNIXワークステーション上で動作する状態遷移図の表示及び設計者のマウス等からの入力のためのライブラリを作成した.このライブラリを用いることにより,設計効率を良くするためのグラフィカルユーザインターフェースを容易に設計し,実現することができる.(b)状態遷移図の変形機能の作成 上述のライブラリを利用して,状態遷移図の等価性を保証しつつ制御構造を変更するルーチンのグラフィカルユーザインターフェース化を行った.いくつかの設計事例に対し,本機能を用いて効率良く回路の再設計を行うことができた.これらの結果について第8回回路とシステム軽井沢ワークショップにおいて成果報告を行った.(c)機能部品の割り付けとCADシステムの性能評価情報の表示の作成 現在,上記ライブラリを利用して,状態遷移図中の,機能部品の割り当て状況やCADシステムの性能評価情報を表示させる機能を実現しているところである.これらの表示情報に基づき,上記の変形機能を利用して回路の再設計が容易に行うことができると思われる.