ハードウェア ソフトウェア ノ セッケイ ケンショウ ギジュツ : シラナイト ソンスル ケンショウ ギジュツ
東野輝夫
生駒 : 奈良先端科学技術大学院大学, 2001.5
授業アーカイブＦＰＧＡ／ＰＬＤの大規模化に伴い，設計した回路の正しさを検証する技術の必要性が高くなってきている．そこで，これまでに考案された様々な検証技術の基本原理を紹介すると共に，簡単なＣＰＵの設計・開発を例題に，システマティックな検証技術を適用した場合とそうでない場合の回路の品質や開発コストに及ぼす影響について説明する．
| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
|
V001852 |
|
|
|
2001
(v-)
電子化映像資料(1時間05分41秒)
Design venification methodology : Key design methodology to be coverd
情報科学研究科・ゼミナール講演 ; 平成13年度
講演者所属; 大阪大学大学院基礎工学研究科
講演日: 平成13年5月16日
講演場所: 情報科学研究科大講義室
東野, 輝男 (ヒガシノ, テルオ)
