通信プロトコルの形式仕様からのハードウェア回路合成

1997 Fiscal Year Annual Research Report

• Project/Area Number: 09680339
• Research Category: Grant-in-Aid for Scientific Research (C)
• Research Institution: Osaka University
• Principal Investigator: 谷口 健一 大阪大学, 大学院・基礎工学研究科, 教授 (00029513)
• Co-Investigator(Kenkyū-buntansha): 森岡 澄夫 日本アイ, ビー・エム株式会社・東京基礎研究所, 研究員 ; 岡野 浩三 大阪大学, 大学院・基礎工学研究科, 助手 (70252632) ; 北道 淳司 大阪大学, 大学院・基礎工学研究科, 助手 (20234271) ; 東野 輝夫 大阪大学, 大学院・基礎工学研究科, 助教授 (80173144)
• Keywords: 通信プロトコル / 並行プロセス / LOTOS / マルチランデブ / ハードウェア化 / 高位レベル合成 / レジスタ転送レベル / 形式記述技法

Research Abstract

通信プロトコル向けのハードウェア回路自動合成手法の考案を目的に,本年度は,複数並行プロセス間のマルチランデブ(複数並列プロセス間で同期をとってデータ交換を行う処理)等を含むLOTOS仕様のハードウェア化の方法の考案と,例題による予備実験などを行った.
1.LOTOSから並行EFSM群への変換法の考案
並行,同期,選択,割り込みなどの処理を含む通信プロトコルの仕様を形式記述言語LOTOSで記述する.本研究では,まず,一部クラス制限のあるLOTOS仕様をそれと等価な複数個のレジスタ付き有限状態機械群(EFSM群)に変換する方法を考案した.それらのEFSM間にはマルチランデブが指定される.また,その手法に基づき,各EFSMの動作仕様とマルチランデブ指定を自動導出するプログラムを作成した.
2.並行EFSM群をハードウェアを実現する方法の考案
EFSM間のマルチランデブを実現するためのデータ転送法として,ハンドシェイクによる方法に加えて,同じクロック時刻で同期条件を判定し送受信データを交換する方法を考案し、ハードウェア回路で効率よくマルチランデブを実行する方法を考案した.
3.回路の合成実験・評価
自動合成系作成のための予備実験として,回路合成系パルテノンを用いて幾つかの例題仕様に対して上記の方法による回路合成を行って,回路規模や遅延時間などが妥当であることを確認した.
以上の成果について,電子情報通信学会の研究会や論文誌で発表した.

Research Products

• [Publications] 北嶋暁, 東野輝夫, 谷口健一, 安本慶一: "並行EFSM群でモデル化された通信プロトコル動作仕様のハードウェア実現とマルチランデブ制御機構" 電子情報通信学会技術研究報告. IN97・133. 15-22 (1997)
• [Publications] A.Kitajima, K.Yasumoto, T.Higashino and K.Taniguchi: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit" 電子情報通信学会英論文誌(A). E81-A・4(掲載予定). (1998)