柴山 充文


プロセス代数に基づく非同期式論理回路の設計検証
米田 友洋 柴山 充文 南谷 崇 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/03/25
Vol. J80-D1  No. 3  pp. 207-217
論文種別:  特集論文 (非同期式回路/システム設計論文小特集)
専門分野: 
キーワード: 
非同期式回路設計検証プロセス代数仕様記述Liveness
 あらまし | 本文:PDF(708.8KB)