キーワード : 設計検証


在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告
尾鷲 方志 岡野 浩三 楠本 真二 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/11/01
Vol. J91-D  No. 11 ; pp. 2719-2720
論文種別:  レター
専門分野: 
キーワード: 
ESC/Java2JML在庫管理問題設計検証契約による設計
 あらまし | 本文:PDF(218.7KB)

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

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

代数的手法を用いた同期式順序回路の段階的設計法
北道 淳司 東野 輝夫 谷口 健一 杉山 裕二 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/03/25
Vol. J77-A  No. 3 ; pp. 420-429
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
代数的手法同期式順序回路段階的詳細化設計検証設計自動化
 あらまし | 本文:PDF(805.8KB)

ディジタルシステムの設計演習のための教育用CADシステム
松下 浩明 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/03/25
Vol. J77-A  No. 3 ; pp. 506-517
論文種別:  論文
専門分野: 教育工学,人間工学,医用生体工学
キーワード: 
CADシステムディジタルシステム設計検証工業教育
 あらまし | 本文:PDF(708.9KB)