SoC設計基礎教程——技術實現
張慶
- 出版商: 電子工業
- 出版日期: 2025-01-01
- 定價: $648
- 售價: 8.5 折 $551
- 語言: 簡體中文
- 頁數: 344
- ISBN: 7121489023
- ISBN-13: 9787121489020
尚未上市，歡迎預購
相關主題
商品描述
本書是編著者結合多年的工程實踐、培訓經驗及積累的資料，並借鑒國內外經典教材、文獻和專業網站的文檔等編著而成的。 本書全面介紹了SoC的主要構成和設計環節。本書依次介紹了時鐘及產生電路、復位及其同步化、跨時鐘域設計、低功耗設計、標準庫、設計約束和邏輯綜合、驗證、DFT。本書註重基本概念、方法和技術的討論，加強了對SoC設計方法學和設計規範的介紹。 本書可供從事SoC設計的專業工程師、從事芯片規劃和項目管理的專業人員，以及相關專業的師生使用。
目錄大綱
第1章 時鐘及產生電路 1
1.1 時鐘和時鐘樹 1
1.2 時鐘源 6
1.2.1 振盪器 7
1.2.2 頻率穩定度與精度 10
1.2.3 石英晶體振盪器類型 12
1.2.4 PLL 13
1.3 時鐘產生電路 18
1.3.1 時鐘分頻電路 19
1.3.2 時鐘切換電路 28
1.3.3 時鐘門控電路 31
小結 33
第2章 復位及其同步化 35
2.1 復位的分類 35
2.1.1 同步復位 35
2.1.2 異步復位 37
2.2 異步復位信號的同步化 41
2.3 復位網絡 43
小結 47
第3章 跨時鐘域設計 48
3.1 跨時鐘域設計的基本概念 48
3.1.1 亞穩態 49
3.1.2 跨時鐘域問題 51
3.2 同步器設計 56
3.3 單比特信號的跨時鐘域設計 63
3.3.1 從快時鐘域到慢時鐘域的信號傳輸 63
3.3.2 從慢時鐘域到快時鐘域的信號傳輸 67
3.3.3 跨同步時鐘域的信號傳輸 67
3.4 多比特信號的跨時鐘域設計 68
3.4.1 多比特信號合並成單比特信號 68
3.4.2 使能技術 71
3.4.3 握手機制 72
3.4.4 多周期路徑法 75
3.4.5 使用FIFO控制器 77
小結 84
第4章 低功耗技術 85
4.1 CMOS功耗 85
4.2 縮放技術 89
4.2.1 頻率縮放技術 90
4.2.2 電壓縮放技術 90
4.3 門控技術 96
4.3.1 時鐘門控技術 96
4.3.2 電源門控技術 99
4.4 閾值電壓控制技術 103
4.4.1 多閾值CMOS技術 103
4.4.2 變閾值CMOS技術 107
4.4.3 動態閾值CMOS技術 109
4.5 低功耗元件 109
4.6 電源意圖 115
4.6.1 電源意圖規範 116
4.6.2 UPF的基本概念 117
4.7 電源控制單元 121
小結 125
第5章 標準庫 127
5.1 MOS結構 127
5.2 庫 131
5.2.1 邏輯單元庫 131
5.2.2 物理單元庫 133
5.2.3 庫文件 136
5.2.4 時序模型 138
5.2.5 功耗模型 144
5.2.6 噪聲模型 149
5.3 標準單元設計 153
5.3.1 標準單元的佈局 153
5.3.2 標準單元的連接 156
5.3.3 標準單元的供電網絡 159
5.4 I/O單元 161
5.4.1 鍵合單元 162
5.4.2 I/O單元類型 166
5.4.3 I/O單元佈局 172
小結 175
第6章 設計約束和邏輯綜合 176
6.1 時序路徑與延遲 176
6.1.1 時序路徑 176
6.1.2 時序路徑延遲 180
6.2 邏輯綜合 185
6.2.1 邏輯綜合流程 186
6.2.2 綜合策略 186
6.2.3 綜合優化 187
6.2.4 常用綜合工具 192
6.3 設計約束 194
6.3.1 設計環境約束 195
6.3.2 設計規則約束 198
6.3.3 時序約束 198
6.3.4 面積約束 213
6.3.5 芯片級時序約束指南 213
6.4 時序優化方法 223
6.4.1 時序技術 223
6.4.2 利用綜合工具實現時序優化 227
小結 232
第7章 驗證 234
7.1 驗證的基本概念 235
7.1.1 驗證、確認和測試 235
7.1.2 模擬器實現算法 236
7.1.3 驗證度量 237
7.1.4 硬件驗證語言 239
7.1.5 驗證方法學 239
7.2 驗證策略 240
7.2.1 驗證層次 240
7.2.2 驗證手段 243
7.2.3 驗證方法 245
7.3 功能驗證 248
7.3.1 模擬驗證 248
7.3.2 靜態檢查 253
7.3.3 硬件輔助加速驗證 256
7.4 驗證流程 264
7.5 驗證計劃和平臺 267
7.5.1 驗證計劃 267
7.5.2 驗證平臺 270
7.6 性能驗證 273
7.7 能效驗證 274
7.7.1 低功耗模擬 275
7.7.2 低功耗形式驗證 279
7.7.3 功耗預測與優化 280
小結 281
第8章 DFT 282
8.1 DFT的基本概念 282
8.1.1 測試方法和流程 283
8.1.2 DFT規則 284
8.2 測試的基本概念 289
8.2.1 故障模型 289
8.2.2 測試 296
8.3 掃描測試技術 307
8.3.1 固定型故障測試 309
8.3.2 全速測試 312
8.3.3 OCC控制器 316
8.3.4 ATPG 318
8.4 MBIST技術 320
8.4.1 存儲器的故障模型 320
8.4.2 嵌入式存儲器的可測試設計技術 321
8.5 邊界掃描測試技術 326
8.5.1 JTAG總線 327
8.5.2 邊界掃描 329
小結 332
附錄A 專業術語的中英文對照 333
附錄B 設計術語索引 337
