圖書信息
ISBN：7121005891
作者： 拉申卡
出版社：電子工業出版社
出版日期：2005-1-1
頁數：263
版次：初版
裝幀：平裝
開本：16開
內容簡介
本書從最高層次的系統級驗證直至最終的物理實現和簽付，詳細介紹了各種設計抽象級別和各階段所涉及到的各種驗證方法及工具。主要內容包括各種不同類型的仿真、軟體/硬體協同驗證、數字/模擬混合驗證、網表靜態驗證、物理驗證、測試平台遷移、形式模型與等價性檢查、代碼靜態檢查與代碼覆蓋狀況分析、定向隨機測試等驗證技術。
本書以藍牙系統晶片為例，各章中有結合實際的代碼和腳本可供讀者參考，以幫助讀者進一步深入理解。
本書內容全面、翔實，可作為從事系統晶片設計的工程人員、研究者和高等院校相關專業師生的參考材料，對於從事傳統積體電路設計和驗證的人員有較高的指導和借鑑價值。
目錄
第1章 緒言
1.1 工藝的挑戰
1.1.1 時序收斂
1.1.2 設計能力
1.1.3 物理屬性
1.1.4 設計生產率鴻溝
1.1.5 面市時間的發展趨勢
1.1.6 系統晶片技術
1.2 可供選用的驗證技術
1.2.1 仿真技術
1.2.2 靜態技術
1.2.3 形式技術
1.2.4 物理驗證與分析
1.2.5 各種驗證做法的比較
1.3 驗證方法
1.3.1 系統級驗證
1.3.2 系統晶片硬體暫存器傳輸級驗證
1.3.3 系統晶片軟體驗證
1.3.4 網表驗證
1.3.5 物理驗證
1.3.6 器件測試
1.4 測試平台的建立
1.4.1 採用硬體描述語言建立測試平台
1.4.2 採用程式語言接口建立測試平台
1.4.3 基於波形建立測試平台
1.4.4 基於事務建立測試平台
1.4.5 基於（設計）規約建立測試平台
1.5 測試平台的遷移
1.5.1 將測試平台從功能性遷移至暫存器傳輸級
1.5.2 測試平台從暫存器傳輸級向網表的遷移
1.6 驗證語言
1.7 驗證IP重用
1.8 驗證途徑
1.8.1 自頂而下的設計與驗證途徑
1.8.2 自底而上的驗證途徑
1.8.3 基於平台的驗證途徑
1.8.4 受系統接口驅動的驗證途徑
1.9 驗證和器件測試
1.9.1 器件測試的挑戰
1.9.2 測試策略
1.10 驗證計畫
1.11 藍牙系統晶片的參考設計
1.11.1 藍牙器件中的元素
1.11.2 藍牙網路
1.11.3 藍牙系統晶片
參考文獻
第2章 系統級驗證
2.1 系統設計
2.1.1 功能/行為設計
2.1.2 架構映射
2.2 系統驗證
2.2.1 功能驗證
2.2.2 性能驗證
2.2.3 系統級測試平台
2.2.4 建立系統級測試平台
2.2.5 系統測試平台的評價尺度
2.2.6 運用系統級測試平台
2.2.7 系統測試平台的遷移
2.3 藍牙系統晶片
參考文獻
第3章 功能塊級驗證
3.1 IP功能塊
3.2 功能塊級驗證
3.3 藍牙系統晶片的功能塊細節
3.3.1 仲裁器
3.3.2 仲裁器的測試平台
3.3.3 解碼器
3.3.4 ASB主方
3.3.5 ASB從方
3.3.6 ASB/APB橋
3.4 代碼靜態檢查
3.5 模型形式檢查
3.5.1 模型檢查的時間
3.5.2 模型檢查的局限
3.5.3 模型檢查方法
3.5.4 模型檢查的步驟
3.6 功能驗證與仿真
3.6.1 黑盒驗證途徑
3.6.2 白盒驗證途徑
3.6.3 灰盒驗證途徑
3.6.4 仿真
3.7 協定檢查
3.7.1 存儲器/暫存器訪問信號
3.7.2 協定檢查示例
3.8 定向隨機測試
3.9 代碼覆蓋狀況分析
3.9.1 覆蓋狀況分析的類型
3.9.2 代碼覆蓋率分析
參考文獻
第4章 模擬與混合信號仿真
4.1 混合信號仿真
4.2 設計抽象層次
4.3 仿真環境
4.3.1 選擇仿真環境
4.3.2 現行環境的局限
4.4 使用SPICE
4.5 仿真方法
4.6 藍牙系統晶片中的數模轉換器
4.6.1 DAC的測試平台
4.6.2 建立網表
4.6.3 仿真
4.6.4 回響
4.7 含模擬混合信號功能塊的晶片級驗證
參考文獻
第5章 仿真
5.1 功能仿真
5.2 測試平台殼
5.2.1 藍牙系統晶片的功能塊細節
5.2.2 測試向量轉換
5.2.3 激勵生成
5.2.4 激勵的截取
5.2.5 結果檢查
5.2.6 從方的測試平台殼
5.3 基於事件的仿真
5.3.1 基於事件的仿真工具
5.3.2 基於事件的仿真環境
5.3.3 選擇基於事件的仿真方案
5.3.4 基於事件的仿真流程
5.4 基於周期的仿真
5.4.1 何時採用基於周期的仿真
5.4.2 基於周期的仿真環境
5.4.3 選擇基於周期的仿真方案
5.4.4 基於周期的仿真的局限性
5.4.5 基於周期的仿真流程
5.4.6 基於事件和基於周期的仿真的比較
5.5 ASB/APB橋的仿真
5.5.1 ASB/APB功能塊
5.5.2 設計暫存器傳輸級代碼
5.5.3 基於事件的仿真測試平台
5.5.4 運行仿真
5.6 基於事件和基於周期相混合的仿真
5.7 基於事務的驗證
5.7.1 基於事務的驗證中的元素
5.7.2 基於事務的驗證環境
5.7.3 建立測試平台
5.7.4 事務分析
5.7.5 基於事務的驗證中的功能覆蓋狀況
5.7.6 基於事務的驗證流程
5.7.7 藍牙系統晶片
5.8 仿真加速
5.8.1 仿效
5.8.2 何時採用仿效
5.8.3 仿效環境
5.8.4 選擇仿效方案
5.8.5 仿效的局限性
5.8.6 仿效的流程
5.8.7 快速原型系統
5.8.8 硬體加速器
5.8.9 設計畫分
參考文獻
第6章 軟體/硬體協同驗證
6.1 軟體/硬體協同驗證環境
6.2 仿效
6.3 軟原型或虛擬原型
6.3.1 軟原型的局限性
6.3.2 建立軟原型的流程
6.3.3 藍牙系統晶片的軟原型
6.4 協同驗證
6.4.1 協同驗證環境
6.4.2 選擇協同驗證環境
6.4.3 協同驗證方法
6.4.4 UART的協同驗證
6.5 快速原型系統
6.5.1 快速原型系統的局限性
6.5.2 可重配置快速原型系統
6.5.3 專用快速原型系統
6.6 軟體/硬體驗證方法的比較
6.7 基於FPGA的設計
6.7.1 基於FPGA的設計指導原則
6.7.2 基於FPGA的設計流程
6.8 開發電路印製板
6.9 軟體測試
6.9.1 軟體開發的生命周期
6.9.2 軟體開發的指導原則
6.9.3 軟體測試的最佳經驗
6.9.4 調試工具
6.9.5 中斷的調試
參考文獻
第7章 網表靜態驗證
7.1 網表驗證
7.2 藍牙系統晶片的仲裁器
7.3 等價性檢查
7.3.1 等價性檢查解決方案的選擇
7.3.2 等價性檢查的流程
7.3.3 暫存器傳輸級對暫存器傳輸級的驗證
7.3.4 暫存器傳輸級對門級網表的驗證
7.3.5 從門級網表到門級網表驗證
7.3.6 調試
7.3.7 對仲裁器進行等價性檢查
7.4 時序靜態驗證
7.4.1 選擇時序靜態驗證解決方案
7.4.2 時序靜態驗證的流程
7.4.3 對仲裁器進行時序靜態驗證
參考文獻
第8章 物理驗證與設計簽付
8.1 設計檢查
8.2 物理效應分析
8.2.1 寄生效應的提取
8.2.2 電感效應
8.2.3 信號完整性
8.2.4 電遷移效應
8.2.5 亞波長挑戰
8.2.6 工藝天線效應
8.3 設計簽付
參考文獻
附錄 術語表
