本書是“積體電路EDA技術”叢書之一，內容涵蓋了IC設計過程和EDA，系統級設計方法與工具，系統級規範與建模語言，SoC的IP設計，MPSoC設計的性能驗證方法，處理器建模與設計工具，嵌入式軟體建模與設計，設計與驗證語言，數字仿真，並詳細分析了基於聲明的驗證，DFT，而且專門探討了ATPG，以及模擬和混合信號測試等，本書還為IC測試提供了方便而全面的參考。
基本介紹
內容簡介,圖書目錄,
內容簡介
本書可作為從事電子科學與技術、微電子學與固體電子學以及積體電路工程的技術人員和科研人員即以高等院校師生的常備參考書。
圖書目錄
第1部分 介紹
第1章 引言
第2章 IC設計流程和EDA
第2部分 系統級設計
第3章 系統級設計中的工具和方法
第4章 系統級定義和建模語言
第5章 SoC基於模組的設計和IP集成
第6章 多處理器的片上系統設計的性能評估方法
第7章 系統級電源管理
第8章 處理器建模和設計工具
第9章 嵌入式軟體建模和設計
第10章 利用性能指標為IC設計選擇微處理器核心
第11章 並行高層次綜合：一種高層次綜合的代碼轉換方法
第3部分 微機繫結構設計
第12章 周期精準系統級建模和性能評估
第13章 微機繫結構的功耗估計和最佳化
第14章 設計規劃
第4部分 邏輯驗證
第5部分 測試
……
