數字設計：Verilog HDL、VHDL和SystemVerilog實現(第六版)（簡體書）

本書是一本系統介紹數字電路設計的優秀教材，旨在教會讀者關於數字設計的基本概念和基本方法。全書共分10章，內容涉及數字邏輯的基本理論，組合邏輯電路、時序邏輯電路、寄存器和計數器、存儲器與可編程邏輯器件，寄存器傳輸級設計、半導體和CMOS集成電路、標準IC和FPGA實驗、標準圖形符號、Verilog HDL、VHDL、SystemVerilog與數字系統設計等。全書結構嚴謹，選材新穎，內容深入淺出，緊密聯繫實際，教輔資料齊全。

M. Morris Mano，美國加利福尼亞州立大學電子和計算機工程系的教授，出版過多部有關數字邏輯、計算機設計基礎的教材；Michael D. Ciletti，美國科羅拉多大學教授。
尹廷輝，畢業於解放軍通信工程學院信息與信號處理專業；畢業後留校任教，先後任助教、講師，2005年任副教授，主要從事電子技術方面的課程教學和科研，獲得軍隊教學成果一等獎1項，出版著作（譯著）7部。

目 錄
第1章 數字系統與二進制數 1
1．1 數字系統 1
1．2 二進制數 3
1．3 數制的轉換 5
1．4 八進制數和十六進制數 7
1．5 補碼 8
1．6 帶符號二進制數 12
1．7 二進制碼 15
1．8 二進制存儲與寄存器 22
1．9 二進制邏輯 24
習題 27
參考文獻 29
網絡搜索主題 29
第2章 布爾代數和邏輯門 30
2．1 引言 30
2．2 基本定義 30
2．3 布爾代數的公理 31
2．4 布爾代數的基本定理和性質 34
2．5 布爾函數 36
2．6 規範式與標準式 40
2．7 其他邏輯運算 47
2．8 數字邏輯門 48
2．9 集成電路 53
習題 55
參考文獻 59
網絡搜索主題 59
第3章 門電路化簡 60
3．1 引言 60
3．2 圖形法化簡 60
3．3 四變量卡諾圖 64
3．4 和之積式的化簡 68
3．5 無關條件 70
3．6 與非門和或非門實現 72
3．7 其他二級門電路實現 78
3．8 異或函數 82
3．9 硬件描述語言(HDL) 86
3．10 HDL中的真值表 99
習題 101
參考文獻 105
網絡搜索主題 106
第4章 組合邏輯 107
4．1 引言 107
4．2 組合電路 107
4．3 組合電路分析 108
4．4 設計步驟 111
4．5 二進制加減器 114
4．6 十進制加法器 121
4．7 二進制乘法器 123
4．8 數值比較器 125
4．9 譯碼器 126
4．10 編碼器 130
4．11 數據選擇器 132
4．12 組合電路的HDL模型 137
4．13 行為建模 156
4．14 編寫一個簡單的測試平臺 162
4．15 邏輯仿真 167
習題 172
參考文獻 178
網絡搜索主題 179
第5章 同步時序邏輯 180
5．1 引言 180
5．2 時序電路 180
5．3 存儲元件：鎖存器 182
5．4 存儲元件：觸發器 185
5．5 鐘控時序電路分析 191
5．6 時序電路的可綜合HDL模型 200
5．7 狀態化簡與分配 219
5．8 設計過程 222
習題 228
參考文獻 236
網絡搜索主題 237
第6章 寄存器和計數器 238
6．1 寄存器 238
6．2 移位寄存器 240
6．3 行波計數器 247
6．4 同步計數器 250
6．5 其他計數器 255
6．6 寄存器和計數器的HDL描述 259
習題 268
參考文獻 274
網絡搜索主題 275
第7章 存儲器和可編程邏輯器件 276
7．1 引言 276
7．2 隨機存取存儲器 277
7．3 存儲器譯碼 282
7．4 檢糾錯 286
7．5 只讀存儲器 288
7．6 可編程邏輯陣列 293
7．7 可編程陣列邏輯 295
7．8 時序可編程器件 298
習題 311
參考文獻 313
網絡搜索主題 314
第8章 寄存器傳輸級設計 315
8．1 引言 315
8．2 寄存器傳輸級(RTL)定義 315
8．3 RTL描述 317
8．4 算法狀態機(ASM) 329
8．5 設計舉例(ASMD流程圖) 335
8．6 設計舉例的HDL描述 343
8．7 時序二進制乘法器 357
8．8 控制邏輯 361
8．9 二進制乘法器的HDL描述 366
8．10 用數據選擇器進行設計 377
8．11 無競爭設計(軟競爭條件) 391
8．12 無鎖存設計(為什麼浪費硅片面積？) 393
8．13 SystemVerilog語言簡介 394
習題 399
參考文獻 409
網絡搜索主題 410
第9章 用標準IC和FPGA進行實驗 411
9．1 實驗介紹 411
9．2 實驗1：二進制數和十進制數 414
9．3 實驗2：數字邏輯門 416
9．4 實驗3：布爾函數化簡 418
9．5 實驗4：組合電路 419
9．6 實驗5：代碼轉換 421
9．7 實驗6：使用數據選擇器進行設計 422
9．8 實驗7：加法器和減法器 423
9．9 實驗8：觸發器 424
9．10 實驗9：時序電路 426
9．11 實驗10：計數器 427
9．12 實驗11：移位寄存器 429
9．13 實驗12：串行加法 431
9．14 實驗13：存儲單元 432
9．15 實驗14：燈式手球 434
9．16 實驗15：時鐘脈衝發生器 436
9．17 實驗16：並行加法器和累加器 438
9．18 實驗17：二進制乘法器 440
9．19 HDL仿真實驗和使用FPGA的快速原型驗證 443
第10章 標準圖形符號 447
10．1 矩形符號 447
10．2 限定符號 449
10．3 相關符號 450
10．4 組合部件符號 451
10．5 觸發器符號 453
10．6 寄存器符號 454
10．7 計數器符號 456
10．8 RAM符號 457
習題 458
參考文獻 459
網絡搜索主題 459
附錄A 半導體和CMOS集成電路 460
部分習題解答 470