キーワード : 依存入力集合


入力名標集合と制御条件を用いたレジスタ転送レベルの設計検証法
吉田 たけお 貴家 仁志 内藤 祥雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/01/25
Vol. J79-D1  No. 1 ; pp. 28-40
論文種別:  論文
専門分野: フォールトトレランス
キーワード: 
ハードウェア記述言語(HDL)設計検証帰能的関数依存入力集合パス・コンディション
 あらまし | 本文:PDF(957.4KB)