數(shù)字電路的仿真與驗(yàn)證

第1章 緒論
　1.1 數(shù)字集成電路的設(shè)計(jì)流程
1.2 數(shù)字集成電路的設(shè)計(jì)方式
1.2.1 自上而下的設(shè)計(jì)和自下而上的設(shè)計(jì)
1.2.2 基于單元與基于平臺(tái)的設(shè)計(jì)
1.2.3 芯片的正向設(shè)計(jì)
1.3 系統(tǒng)芯片的設(shè)計(jì)
1.4 電路設(shè)計(jì)的仿真與驗(yàn)證
1.4.1 仿真的層次
1.4.2 形式驗(yàn)證
第2章　電路模型
2.1 電路模型的相關(guān)概念
2.1.1 數(shù)字系統(tǒng)的抽象級(jí)
2.1.2 功能與結(jié)構(gòu)模型
2.2 在邏輯級(jí)的功能模型
2.2.1 真值表和立方體
2.2.2 邏輯函數(shù)的二元判定圖表示
2.2.3 功能模型的程序描述
2.3 在寄存器級(jí)的功能模型
2.3.1 寄存器傳輸語(yǔ)言的結(jié)構(gòu)
2.3.2 RTL中的時(shí)序模型
2.3.3 內(nèi)部RTL模型
2.4 結(jié)構(gòu)模型
2.4.1 結(jié)構(gòu)模型的外部表示
2.4.2 結(jié)構(gòu)模型的性質(zhì)
2.4.3 結(jié)構(gòu)模型的內(nèi)部表示
2.5 模型的層次
第3章　電的邏輯仿真
3.1 仿真的原理
3.2 編譯仿真與事件驅(qū)動(dòng)仿真
3.2.1 編譯仿真
3.2.2 事件驅(qū)動(dòng)仿真
3.3 元件延遲與冒險(xiǎn)檢測(cè)
3.3.1 元件輸出值的計(jì)算
3.3.2 延遲模型
3.3.3 冒險(xiǎn)檢測(cè)
3.4 門(mén)級(jí)事件驅(qū)動(dòng)仿真
第4章　高層次仿具及工具軟件
4.1 功能仿真
4.1.1 功能仿真的類型
4.1.2 功能仿真的途徑
4.2 高層次仿真
4.2.1 VHDL語(yǔ)言的基本結(jié)構(gòu)
4.2.2 VHDL仿真系統(tǒng)的結(jié)構(gòu)
4.2.3 VHDL內(nèi)部模型的建立
4.2.4 VHDL仿真算法
4.3 仿真工具軟件ModelSim
4.3.1 ModelSim仿真軟件的特點(diǎn)
4.3.2 使用ModelSim進(jìn)行設(shè)計(jì)仿真
第5章　電路的開(kāi)關(guān)級(jí)仿真
5.1 開(kāi)關(guān)級(jí)網(wǎng)絡(luò)
5.2 穩(wěn)態(tài)響應(yīng)
5.2.1 布爾節(jié)點(diǎn)和晶體管狀態(tài)
5.2.2 三元狀態(tài)
5.3 穩(wěn)態(tài)響應(yīng)的分析
5.4 穩(wěn)態(tài)響應(yīng)的代數(shù)表示
5.4.1 有關(guān)根路徑的一種代數(shù)
5.4.2 從路徑到方程
5.4.3 不動(dòng)點(diǎn)方程的形式
5.4.4 不動(dòng)點(diǎn)方和的例子
5.5 仿真方程的求解
5.5.1 求解稀疏方程的不動(dòng)點(diǎn)
5.5.2 基于增量的解方法
5.6 仿真程序
5.7 基于級(jí)的仿真
5.7.1 估計(jì)一個(gè)組的穩(wěn)定狀態(tài)
5.7.2 節(jié)點(diǎn)的信息量
5.7.3 節(jié)點(diǎn)信息量的迭代估計(jì)
5.7.4 仿真時(shí)的電路結(jié)構(gòu)分析
第6章　模型檢驗(yàn)
6.1 驗(yàn)證的建模
6.2 計(jì)算樹(shù)邏輯的語(yǔ)法
6.3 計(jì)算樹(shù)邏輯的語(yǔ)義
6.4 CTL公式間的等價(jià)性
6.5 CTL驗(yàn)證的例子——進(jìn)程互斥
……
第7章　二元判定圖的結(jié)構(gòu)
第8章　二元判定圖的性質(zhì)與應(yīng)用
第9章　組合電路驗(yàn)證
第10章　時(shí)序電路驗(yàn)證
第11章 系統(tǒng)芯片SOC的驗(yàn)證
附錄 名詞縮寫(xiě)表
參考文獻(xiàn)