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

定　價：￥32.00

作　者：	潘中良
出版社：	國防工業(yè)出版社
叢編項：
標　簽：	數(shù)字電路

購買這本書可以去

ISBN：	9787118047196	出版時間：	2006-10-01	包裝：	平裝
開本：	16	頁數(shù)：	249	字數(shù)：

內(nèi)容簡介

　　在數(shù)字電路的設計過程中，仿真與驗證是一個重要的環(huán)節(jié)，它能檢查所設計的電路是否符合要求。本書系統(tǒng)介紹了數(shù)字電路仿真與驗證的原理與主要方法。全書共11章，內(nèi)容包括：VLSI設計的方法與基本流程；電路的邏輯功能模型、結(jié)構(gòu)模型、層次模型等的建立方法；數(shù)字電路的邏輯仿真、高層次仿真、開關(guān)級仿真；模型檢驗；組合電路驗證；時序電路驗證；系統(tǒng)芯片SOC的驗證；對邏輯布爾函數(shù)或邏輯電路進行有效表示與操作的二元判定圖BDD的結(jié)構(gòu)、性質(zhì)及其在電路的綜合、驗證中的應用。. 本書可作為電子、計算機、通信等專業(yè)高年級本科生和研究生的教材，也適合于從事數(shù)字系統(tǒng)設計、測試和維護的技術(shù)人員作為參考書。...

作者簡介

　　作者：潘中良潘中良博士，教授。1966年生于重慶萬縣。1991年于清華大學畢業(yè)獲碩士學位。1997年于電子科技大學（成都）畢業(yè)，獲電路與系統(tǒng)專業(yè)博士學位。1998年至1999年為中山大學博士后。主持或參加了國家自然科學基金項目、國家八五重點科技攻關(guān)項目以及省部級科研項目等多項。在國內(nèi)外學術(shù)期刊與國際會議上以第一作者發(fā)表學術(shù)論文50余篇，其中有20余篇被三大檢索系統(tǒng)收錄。主要從事大規(guī)模集成電路的設計與測試、嵌入式系統(tǒng)設計、計算機應用等方面的科研與教學工作。...

圖書目錄

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