(3.237.178.91) 您好!臺灣時間:2021/03/04 09:16
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:廖賀田
論文名稱:硬體設計的驗證與診錯
論文名稱(外文):Verification and diagnosis on hardwave design
指導教授:林呈祥林呈祥引用關係
學位類別:博士
校院名稱:國立臺灣大學
系所名稱:電機工程學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1991
畢業學年度:79
語文別:中文
論文頁數:151
相關次數:
  • 被引用被引用:0
  • 點閱點閱:86
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
封面
第一章. 論文概述
1.1 問題背景
1.2 相關結果
A. 布林表示法
B. 驗證
c. 診錯
1.3 研究成果
A. VVDS系統
B. 自動診錯子系統
C. OBDD的學理探討
1.4 論文結構
第二章. 以VHDL運作的驗證診錯系統
2.1 本章介紹
2.2 VVDS系統概觀
A. 系統架構
B. 命令語言與線上程式規劃
C. 微測功能組
2.3 混型模擬
A. 觀念與應用
B. 製作法
2.4 VVDS系統運作與實例
A. 系統運作
B. 實例一 -- 交談式驗證
c. 實例二 -- 自動式驗證
D. 實例三 -- 交談式診錯
E. 實例四 -- 自動式診錯
2.4 本章摘要與討論
第三章. 自動診錯子系統
3.1 本章介紹
3.2 過濾更正原理
3.3 搜尋範圍的縮減
3.4 各個擊破式的更正術
3.5 多重錯誤時的診錯
A. 多重錯誤時的過濾更正原理
B. 支配關係在多重錯誤時的應用
C. 多重錯誤時的F型可更正性
3.6 本章摘要與討論
第四章. 布林函數表示法OBDD的研究
4.1 本章介紹
4.2 精確的上限
4.3 兩個縮筒法則的比較
4.4 有關變敦排序的研究
4.5 本章摘要與討論
第五章. 結論
5.1 論文總結
5.2 後續研究
參考文獻
附錄一 VHDL與VVDS
附錄二 英中名詞對照表
附錄三 作者著作目錄
含參考書目
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔