數字系統設計自動化（第2版）

內容簡介

本書是1996年出版的《數字系統設計自動化》一書的第2版，是為高等學校計算機、電子工程等有關專業的研究生和高年級學生編寫的教科書，著重介紹關於數字系統的電子設計自動化（Electronic Design Automation，EDA）各個領域的基礎理論和最新發展。第2版在第1版的基礎上對大部分內容做了更新，力求反映最新發展。本書力求做到深入淺出而又不失嚴密性，其中包含作者多年來教學科研工作的成果。本書既為EDA工具的開發者提供理論基礎，也為使用EDA工具的設計者提供必要的專業知識。

本書共分9章，第1章介紹EDA的各個領域概貌；第2章介紹硬體描述語言，著重介紹VHDL，並簡要介紹Verilog；第3章介紹邏輯模擬和VHDL模擬技術，以及最新出現的硬體驗證語言；第4章介紹組合電路和時序電路的邏輯綜合技術；第5章介紹高層次綜合技術；第6章介紹等價性驗證和模型檢驗的形式驗證方法；第7章簡要介紹故障診斷和測試碼生成的基本技術；第8章介紹EDA領域的最新發展；第9章介紹EDA工具MAX+plus Ⅱ的使用方法。

作者簡介

邊計年，清華大學計算機系教授，博士生導師。1970年畢業於清華大學自動控制系，畢業後在清華大學任教至今，其中1985年至1986年作為訪問學者在日本京都大學進修。研究方向為面向系統晶片(SOC)的系統設計方法學，包括系統描述、軟硬體劃分與通信綜合、與布圖結合的高層次綜合、系統協同設計與驗證等。出版著作有《數字系統計算機輔助設計》、《數字系統設計自動化》、《超大規模積體電路計算機輔助設計技術》等。譯著有《用VHDL設計電子線路》、《數字邏輯與VHDL設計》、《嵌入式系統的描述與設計》、《用SpecC做系統設計》等。

1.1 電子設計自動化技術發展的回顧
1.2 數字系統自動設計的流程
1.3 從EDA的角度觀察VLS
1.3.1 VLSI的分類
1.3.2 晶片布圖模式
1.3.3 可程式邏輯器件
1.4 EDA的主要領域
1.4.1 硬體描述語言
1.4.2 模擬驗證
1.4.3 綜合技術
1.4.4 數字系統形式驗證
1.4.5 測試診斷
1.4.6 版圖設計
1.4.7 資料庫
1.5 積體電路快速發展對設計自動化的挑戰與機遇
本章小結
習題
參考文獻
第2章硬體描述語言
2.1 硬體描述
2.1.1 電路模型的描述
2.1.2 硬體描述語言
2.2 VHDL的基本結構
2.2.1 VHDL模組模型
2.2.2 對象及其數據類型
2.2.3 表達式
2.2.4 子程式——過程與函式
2.2.5 程式包與設計庫
2.3 VHDL層次化結構模型
2.3.1 實體聲明
2.3.2 元件例化
2.3.3 配置指定
2.4 VHDL的順序行為描述
2.4.1 進程71
2.4.2 順序信號賦值語句
2.4.3 變數賦值語句
2.4.4 條件控制語句
2.4.5 循環控制語句
2.4.6 順序斷言語句
2.4.7 順序過程調用
2.4.8 返回語句
2.4.9 空語句
2.5 VHDL的並行行為描述
2.5.1 並行信號賦值語句
2.5.2 並行斷言語句
2.5.3 並行過程調用語句
2.5.4 決斷信號
2.6 VHDL行為模型的執行過程
2.6.1 事項處理與事件
2.6.2 信號賦值中的延遲處理
2.6.3 模擬時鐘與模擬周期
2.6.4 實例
2.7 VHDL的複合並行語句
2.7.1 block語句
2.7.2 生成語句
2.8 大型電路設計舉例
2.8.1 交通燈控制器

數字系統設計自動化（第2版）

基本介紹

內容簡介

作者簡介

目錄

相關詞條

熱門詞條