封面
第一章. 論文概述
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
附錄二 英中名詞對照表
附錄三 作者著作目錄
|