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

从同步时序电路代数规范逐步设计的再设计支持环境研究

• 批准号: 07780261
• 负责人: 北道 淳司
• 金额: $ 0.58万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1995
• 资助国家: 日本
• 起止时间: 1995 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780261/
• 关键词: 同期式順序回路; 代数的仕様記述; 段階的設計; GUI

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

The research plan is divided into three parts, and the summary of the research is described in detail. In this study, the following functions were implemented and added to the ASL loop design support system (trial study 05558031) in response to the loop design requirements of different stages. (a)The state transition indicates that the motion of the loop is state transition. The state transition is related to the change of control structure, the change of functional parts, the change of performance evaluation information of general CAD system, the change of state transition information of general UNIX system, the change of state transition information of general CAD system, the change of state transition information of general UNIX system, the change of state transition information of general CAD system, the change of state transition information of general UNIX system, the The design efficiency is very good. The design efficiency is very easy to achieve. (b)The state transition function is used to ensure the equivalence of the state transition function. The state transition function is used to ensure the equivalence of the state transition function. For example, this function can be used to improve the efficiency of circuit redesign. The 8th loop of the 8th loop of the 8th loop of (c)The performance evaluation information of the functional parts is created by recording the performance evaluation information of the CAD system during the state transition, and the performance evaluation information of the functional parts is displayed during the state transition. The basic information of this kind is written on the basis of the shape function, and the redesign of the circuit is easy to use.

项目成果

森岡,澄夫: "代数的手法を用いた順序回路の段階的設計支援システムにおける状能図変形機能" 第8回回路とシステム軽井沢ワークショップ論文集. 281-286 (1995)

Morioka, Sumio：“使用代数方法的时序电路的逐步设计支持系统中的状态图变换函数”第八届电路与系统轻井泽研讨会论文集 281-286 (1995)。