數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化

內(nèi)容概要

本書是1996年出版的《數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化》一書的第2版，是為高等學(xué)校計(jì)算機(jī)、電子工程等有關(guān)專業(yè)的研究生和高年級(jí)學(xué)生編寫的教科書，著重介紹關(guān)于數(shù)字系統(tǒng)的電子設(shè)計(jì)自動(dòng)化（Electronic Design Automation，EDA）各個(gè)領(lǐng)域的基礎(chǔ)理論和最新發(fā)展。第2版在第1版的基礎(chǔ)上對(duì)大部分內(nèi)容做了更新，力求反映最新發(fā)展。本書力求做到深入淺出而又不失嚴(yán)密性，其中包含作者多年來教學(xué)科研工作的成果。本書既為EDA工具的開發(fā)者提供理論基礎(chǔ)，也為使用EDA工具的設(shè)計(jì)者提供必要的專業(yè)知識(shí)。    本書共分9章，第1章介紹EDA的各個(gè)領(lǐng)域概貌； 第2章介紹硬件描述語言，著重介紹VHDL，并簡(jiǎn)要介紹Verilog； 第3章介紹邏輯模擬和VHDL模擬技術(shù)，以及最新出現(xiàn)的硬件驗(yàn)證語言； 第4章介紹組合電路和時(shí)序電路的邏輯綜合技術(shù)； 第5章介紹高層次綜合技術(shù)； 第6章介紹等價(jià)性驗(yàn)證和模型檢驗(yàn)的形式驗(yàn)證方法； 第7章簡(jiǎn)要介紹故障診斷和測(cè)試碼生成的基本技術(shù)； 第8章介紹EDA領(lǐng)域的最新發(fā)展； 第9章介紹EDA工具M(jìn)AX+plus Ⅱ的使用方法。

作者簡(jiǎn)介

邊計(jì)年，清華大學(xué)計(jì)算機(jī)系教授，博士生導(dǎo)師。1970年畢業(yè)于清華大學(xué)自動(dòng)控制系，畢業(yè)后在清華大學(xué)任教至今，其中1985年至1986年作為訪問學(xué)者在日本京都大學(xué)進(jìn)修。研究方向?yàn)槊嫦蛳到y(tǒng)芯片(SOC)的系統(tǒng)設(shè)計(jì)方法學(xué)，包括系統(tǒng)描述、軟硬件劃分與通信綜合、與布圖結(jié)合的高層次綜合、

書籍目錄

第1章 概論　1.1 電子設(shè)計(jì)自動(dòng)化技術(shù)發(fā)展的回顧　1.2 數(shù)字系統(tǒng)自動(dòng)設(shè)計(jì)的流程　1.3 從EDA的角度觀察VLS　　1.3.1 VLSI的分類　　1.3.2 芯片布圖模式　　1.3.3 可編程邏輯器件　1.4 EDA的主要領(lǐng)域　　1.4.1 硬件描述語言　　1.4.2 模擬驗(yàn)證　　1.4.3 綜合技術(shù)　　1.4.4 數(shù)字系統(tǒng)形式驗(yàn)證　　1.4.5 測(cè)試診斷　　1.4.6 版圖設(shè)計(jì)　　1.4.7 數(shù)據(jù)庫(kù)　1.5 集成電路快速發(fā)展對(duì)設(shè)計(jì)自動(dòng)化的挑戰(zhàn)與機(jī)遇　本章小結(jié)　習(xí)題　參考文獻(xiàn)第2章 硬件描述語言　2.1 硬件描述　　2.1.1 電路模型的描述　　2.1.2 硬件描述語言　2.2 VHDL的基本結(jié)構(gòu)　　2.2.1 VHDL模塊模型　　2.2.2 對(duì)象及其數(shù)據(jù)類型　　2.2.3 表達(dá)式　　2.2.4 子程序——過程與函數(shù)　　2.2.5 程序包與設(shè)計(jì)庫(kù)　2.3 VHDL層次化結(jié)構(gòu)模型　　2.3.1 實(shí)體聲明　　2.3.2 元件例化　　2.3.3 配置指定　2.4 VHDL的順序行為描述　　2.4.1 進(jìn)程71　　2.4.2 順序信號(hào)賦值語句　　2.4.3 變量賦值語句　　2.4.4 條件控制語句　　2.4.5 循環(huán)控制語句　　2.4.6 順序斷言語句　　2.4.7 順序過程調(diào)用　　2.4.8 返回語句　　2.4.9 空語句　2.5 VHDL的并行行為描述　　2.5.1 并行信號(hào)賦值語句　　2.5.2 并行斷言語句　　2.5.3 并行過程調(diào)用語句　　2.5.4 決斷信號(hào)　2.6 VHDL行為模型的執(zhí)行過程　　2.6.1 事項(xiàng)處理與事件　　2.6.2 信號(hào)賦值中的延遲處理　　2.6.3 模擬時(shí)鐘與模擬周期　　2.6.4 實(shí)例　2.7 VHDL的復(fù)合并行語句　　2.7.1 block語句　　2.7.2 生成語句　2.8 大型電路設(shè)計(jì)舉例　　2.8.1 交通燈控制器第3章 模擬驗(yàn)證第4章 邏輯綜合第5章 高層次綜合第6章 形式驗(yàn)證第7章 測(cè)試與可測(cè)性設(shè)計(jì)第8章 面向深亞微米工藝的EDA技術(shù)第9章 用EDA工具設(shè)計(jì)集成電路附錄A VHDL預(yù)定義環(huán)境附錄B 英漢名詞對(duì)照表

媒體關(guān)注與評(píng)論

書評(píng)本書特點(diǎn)：    ·本書是為高等學(xué)校計(jì)算機(jī)、電子工程等有關(guān)專業(yè)的研究生和高年級(jí)學(xué)生編寫的教科書，著重介紹數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化各個(gè)領(lǐng)域的基礎(chǔ)理論和最新發(fā)展。    ·本書的宗旨是：兼顧基本理論基礎(chǔ)和最新發(fā)展技術(shù)，力求達(dá)到二者的平衡。對(duì)第1版中基本理論的內(nèi)容大部分保留，同時(shí)有代表性地介紹最新的發(fā)展趨勢(shì)和帶有理論意義的一些內(nèi)容。

編輯推薦

本書是為高等學(xué)校計(jì)算機(jī)、電子工程等有關(guān)專業(yè)的研究生和高年級(jí)學(xué)生編寫的教科書，著重介紹數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化各個(gè)領(lǐng)域的基礎(chǔ)理論和最新發(fā)展。    本書共九章，第2章在介紹硬件描述語言VHDL的同時(shí)，對(duì)Verillog也作了簡(jiǎn)要的介紹。第3章中在介紹傳統(tǒng)的邏輯模擬和VHDL模擬算法之外,還介紹了為提供模擬測(cè)試基準(zhǔn)而最新出現(xiàn)的硬件驗(yàn)證語言Jada，目的是給讀者提供新的概念。在綜合技術(shù)方面保留了邏輯模擬和高層模擬的基本理論和算法，此外還增加了時(shí)延驅(qū)動(dòng)綜合的內(nèi)容，介紹了如何在綜合和再綜合過程中考慮互連線引起的延遲，并簡(jiǎn)要介紹了軟硬件協(xié)同設(shè)計(jì)的內(nèi)容，單獨(dú)作為第8章。形式驗(yàn)證部分是發(fā)展最快的領(lǐng)域之一，一些技術(shù)如基于BDD的等價(jià)性驗(yàn)證和符號(hào)模型檢驗(yàn)已經(jīng)得到實(shí)際應(yīng)用，這一部分內(nèi)容基本是重寫的。最后，為了使讀者掌握使用工具的方法，在最后一章中介紹了EDA工具M(jìn)AX+pIusll，介紹其基本使用方法，以及常見電路實(shí)用的可綜合描述方法。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化 PDF格式下載

---