キーワード : 正当性


非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証
籠谷 裕人 杉山 裕二 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/11/01
Vol. J93-D  No. 11 ; pp. 2343-2353
論文種別:  論文
専門分野: 計算機システム
キーワード: 
非同期式パイプライン依存性グラフアルゴリズム正当性完全性
 あらまし | 本文:PDF(327.2KB)