《EDA設計技術》是2013年9月人民郵電出版社出版的圖書，作者是楊光永、凌永發。
基本介紹
- 中文名：EDA設計技術
- 作者：楊光永、凌永發
- 出版社：人民郵電出版社
- 出版時間：2013年9月
- 頁數：368 頁
- 定價：49.8 元
- 開本：16 開
- 裝幀：平裝
- ISBN：9787115327062
內容簡介,圖書目錄,
內容簡介
本書採用Verilog HDL語言，較為系統地介紹了EDA設計技術的語法基礎、基本原理和設計方法。全書共12章，分為邏輯器件和語言基礎、EDA設計方法、EDA設計工具、Nios Ⅱ處理器及嵌入式系統設計四大部分，主要內容包括Verilog HDL語言基礎，可程式邏輯器件結構，各級抽象的建模設計方法，功能校驗和時序校驗設計方法，Quartus Ⅱ、ModelSim和Nios Ⅱ SBT for Eclipse設計工具，基於Nios Ⅱ的嵌入式系統設計流，配置BSP工程和套用工程，硬體抽象層及其API服務等。各章節配有實例和習題，所有實例均通過編譯和驗證。
圖書目錄
第 1章 緒論 1
1.1 EDA技術 1
1.1.1 EDA設計的技術優勢 2
1.1.2 EDA設計流 6
1.2 可程式邏輯器件及其開發環境 7
1.3 智慧財產權核及片上系統 9
習題 9
第 2章 可程式邏輯器件 10
2.1 可程式邏輯陣列PLA 10
2.2 可程式陣列邏輯器件PLD 11
2.3 通用邏輯陣列器件GAL 12
2.4 CPLD結構 13
2.4.1 邏輯陣列塊 13
2.4.2 邏輯單元 14
2.4.3 用戶Flash存儲塊 15
2.4.4 輸入輸出口 15
2.5 FPGA結構 16
2.5.1 嵌入式乘法器 16
2.5.2 輸入輸出口 17
2.5.3 時鐘網路和鎖相環邏輯塊 18
2.5.4 高速差分接口 19
2.5.5 存儲器塊 19
2.6 配置與編程 21
2.6.1 在系統編程接口 22
2.6.2 設計安全 25
習題 26
第3章 Verilog HDL語言 27
3.1 Verilog HDL的歷史及特點 27
3.2 標識符與關鍵字 28
3.3 注釋 29
3.4 格式 30
3.5 數據類型 31
3.5.1 值集合 31
3.5.2 矢量與標量 31
3.5.3 數組 32
3.5.4 參數 32
3.5.5 字元串 33
3.5.6 網路類型 34
3.5.7 變數類型 37
3.6 賦值 38
3.6.1 連續賦值 39
3.6.2 過程賦值 41
3.7 表達式 42
3.7.1 運算元 42
3.7.2 操作符 50
3.8 強度 53
3.8.1 電荷強度 53
3.8.2 驅動強度 54
3.9 編譯指令 61
3.9.1 宏定義 62
3.9.2 條件定義 62
3.9.3 默認類型 62
3.9.4 檔案包含 62
3.9.5 復位編譯器指令 63
3.9.6 時間單位 63
3.10 系統任務和系統函式 63
3.10.1 信息顯示 64
3.10.2 跟蹤顯示與觸發顯示 65
3.10.3 仿真時間函式 65
3.10.4 停止仿真任務 65
3.10.5 仿真隨機函式 66
習題 66
第4章 層次結構 68
4.1 系統及結構要素 68
4.2 設計方法 69
4.3 模組及模組抽象 74
4.3.1 模組 74
4.3.2 模組抽象 75
4.4 例化 75
4.4.1 模組例化 75
4.4.2 原語例化 77
4.4.3 生成例化與等價驗證 81
習題 84
第5章 行為建模 86
5.1 過程語句 86
5.1.1 initial語句 86
5.1.2 always語句 87
5.1.3 阻塞式過程賦值 88
5.1.4 非阻塞式過程賦值 90
5.2 延時控制 93
5.3 條件語句 95
5.4 條件運算符 97
5.5 循環語句 98
5.5.1 repeat語句建模 98
5.5.2 for語句建模 99
5.5.3 while語句建模 99
5.5.4 forever語句建模 100
5.5.5 異常情況下退出循環 100
5.6 多路分支語句 101
5.7 任務和函式 104
5.7.1 任務 104
5.7.2 函式 107
5.7.3 函式和任務的比較 108
5.7.4 共享任務和函式 111
5.8 行為建模實例 113
5.8.1 交通燈演示模型 113
5.8.2 伺服電機調速控制器 115
習題 119
第6章 並行建模 121
6.1 事件控制 121
6.1.1 邊沿觸發事件控制 122
6.1.2 電平敏感事件控制 122
6.2 等待控制 123
6.3 順序控制 123
6.4 並行控制 125
6.5 並行建模實例 127
習題 131
第7章 邏輯設計 132
7.1 組合邏輯設計 132
7.1.1 多路開關 132
7.1.2 解碼器 134
7.1.3 編碼器 137
7.1.4 比較器 138
7.1.5 加法器和減法器 139
7.1.6 乘法器 143
7.1.7 初等函式與通用查找表 148
7.2 時序邏輯設計 149
7.2.1 鎖存器和觸發器 149
7.2.2 有限狀態機 154
7.2.3 計數器 157
習題 163
第8章 用戶定義原語建模 164
8.1 定義用戶定義原語 164
8.1.1 用戶定義原語的基本形式 164
8.1.2 用戶定義原語的表符號 165
8.1.3 組合邏輯UDP 166
8.1.4 時序邏輯UDP 166
8.1.5 時序UDP的初始化 168
8.2 用戶定義原語建模 169
習題 171
第9章 設計校驗 172
9.1 設計校驗概述 172
9.1.1 校驗標準 172
9.1.2 等價驗證 173
9.1.3 模組檢查 173
9.1.4 校驗重用 174
9.1.5 校驗方法 174
9.2 功能校驗 174
9.2.1 測試平台 174
9.2.2 代碼封裝 176
9.2.3 數據抽象 177
9.2.4 競爭 179
9.3 時序校驗 182
9.3.1 延時類型 182
9.3.2 路徑延時 183
9.3.3 時序檢查 187
9.3.4 標準延時格式檔案與反向標註 195
習題 200
第 10章 Quartus Ⅱ開發環境 204
10.1 工程設計流程 204
10.1.1 Quartus Ⅱ設計流程 204
10.1.2 Quartus Ⅱ及EDA工具設計流程 208
10.2 設計輸入 209
10.2.1 創建工程 210
10.2.2 塊編輯器 210
10.2.3 文本編輯器 212
10.2.4 狀態機編輯器 216
10.2.5 參數化模組庫 217
10.2.6 約束輸入 220
10.3 綜合 222
10.4 布局與布線 226
10.4.1 分析適配結果 227
10.4.2 最佳化適配 229
10.5 時序分析 231
10.5.1 TimeQuest時序分析器 232
10.5.2 標準時序分析器 233
10.5.3 時序分析流程 237
10.6 時序逼近 238
10.6.1 平面布局圖或器件布局圖 239
10.6.2 時序最佳化嚮導 240
10.6.3 使用網表最佳化實現時序逼近 241
10.6.4 時序逼近設計方法 242
10.7 功耗分析 243
10.7.1 功耗分析器工具 243
10.7.2 早期功耗估算 244
10.8 編程與配置 244
10.8.1 編程檔案與編程設定 244
10.8.2 編程模式與編程電纜在線上 246
10.8.3 編程操作 249
10.9 形式驗證 251
10.9.1 形式驗證工具 252
10.9.2 形式驗證工具設定 252
10.10 系統集成工具 252
10.11 系統調試工具 257
習題 258
第 11章 ModelSim仿真工具 260
11.1 ModelSim SE簡介 260
11.1.1 ModelSim SE的主視窗及仿真流程 260
11.1.2 創建工程和工作庫 262
11.1.3 編譯仿真檔案 264
11.1.4 載入頂層設計模組 265
11.1.5 執行仿真 266
11.1.6 調試 267
11.2 庫的創建和運用 271
11.3 波形分析 272
11.3.1 仿真波形視窗介紹 272
11.3.2 縮放波形 273
11.3.3 時標 273
11.3.4 輸出波形檔案 274
11.4 時序仿真 275
11.5 例化存儲器 280
11.6 用Profiler進行性能分析 288
11.7 代碼覆蓋率 293
11.8 值變轉儲檔案 299
11.8.1 轉儲系統任務 299
11.8.2 四態轉儲檔案 300
11.8.3 擴展轉儲檔案 302
11.8.4 操作VCD檔案 303
習題 310
第 12章 基於Nios Ⅱ的嵌入式系統設計 311
12.1 Nios Ⅱ處理器 312
12.1.1 算術邏輯單元 313
12.1.2 暫存器 313
12.1.3 異常處理 318
12.1.4 存儲器和輸入輸出口 319
12.1.5 運行模式及存儲器管理 320
12.1.6 地址空間和存儲器分區 321
12.1.7 調試和復位信號 322
12.1.8 JTAG調試模組 322
12.1.9 指令集 322
12.1.10 處理器的核心類型選擇 332
12.1.11 例化Nios Ⅱ處理器 333
12.2 Avalon接口 334
12.3 嵌入式系統設計流 335
12.4 軟體設計 336
12.4.1 配置BSP工程和套用工程 339
12.4.2 硬體抽象層API設計 341
12.4.3 最佳化設計 352
12.4.4 系統啟動配置 354
習題 355
參考文獻 357
索引 359
