內容介紹
EDA工程方法學，即電子設計自動化方法學，屬於現代電子設計方法學的範疇。本書闡述了專用積體電路的功能設計、仿真設計、可測試設計、時序分析、邏輯綜合、故障診斷、形式驗證等EDA工程方法，歸納出了EDA方法學的一些基本規律和設計原則，闡述了深亞微米工藝下EDA工程方法學的發展方向。本書是EDA工程系列叢書之四，共分12章。第1章簡要概述了EDA工程的基本概念；第2章闡述了EDA工程方法學，涉及行為描述、SoC設計方法、IP復用、ASIC設計方法、虛擬機、測試平台設計方法、軟硬體協同驗證等內容：第3章介紹了EDA工程建模方法：第4章闡述了EDA工程的綜合方法，介紹了硬體語言和實現載體之間的關係；第5章主要介紹了功能仿真和時序仿真，闡述了模擬和仿真的概念、方法的不同之處；第6章介紹了測試方法的演變、內建測試電路的設計方法、JTAG接口標準及其套用；第7章和第8章分別闡述了時序分析和故障測試方法；第9章介紹了幾種驗證算法和驗證工具：第10章介紹EDA工程的設計流程，是項目管理的基本方法之一；第11章介紹了實現載體、多項目晶圓MPW、Chipless、Fabless、 Foundry等概念；第12章展望了EDA工程方法學的未來發展。本書附帶一張光碟，內容為一些常用的EDA開發工具，如 Quartus II、 MAX+PLUS II等，還有一些器件的參數說明和開放的IP核示範動畫。光碟內容由ALTERA公司提供，並授權清華大學出版社出版。本書適合作為高等院校電子、計算機、微電子、通信等相關專業的高年級學生的 EDA 工程專業教材，也可以作為研究牛的參考書，同時還可以作為電子行業工程技術人員的參考讀物。
作品目錄
第1章 EDA工程概論
第2章 EDA工程設計方法
第3章 EDA工程建模方法
第4章 EDA工程綜合方法
第5章 EDA工程仿真方法
第6章 EDA工程可測試設計方法
第7章 EDA工程時序分析方法
第8章 EDA工程故障測試方法
第9章 EDA工程驗證方法
第10章 EDA工程流程規劃方法
第11章 EDA工程的實現方法
第12章 EDA工程方法學進展
英漢名詞縮略語對照表
參考文獻
