キーワード : 設計過程


仕様を利用した非同期式順序回路のタイミング検証―詳細に検証すべき状態遷移の絞り込み―
大西 淳 杉山 裕二 岡本 卓爾 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6 ; pp. 539-548
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
タイミング検証非同期式回路仕様状態遷移設計過程
 あらまし | 本文:PDF(738KB)