時間制約ガード付LOTOS仕様(E-LOTOS)による論理回路ライブラリDILLの拡張

摘要

従来の時間概念なしライブラリの各ゲート素子の振る舞い記述に基づき，E-LOTOSの時間制約記述を用いて，入出力に遅延関係のあるゲート素子の振る舞いをwhite-boxならびにblack-box によって記述した.記述した時間拡張DILLライブラリの仕様は，TRAIAN/L0T0S-NTコンパイラを用いて型解決可能であることを確かめた.今後は，生成された型解決済みのC言語データ型定義と，プロセス記述を合成し，時間遅れシミュレーションの実行エンジンを制作する.また，性能評価用の解析器についても検討する.他方，論理回路の記述性に関して，繰り返し構造•再帰構造を有するような回路定義について,それらの記述をサボートするためのマクロならびに文法拡張を行い，そのための前処理系について検討する.