本書是1996年齣版的《數字係統設計自動化》一書的第2版,是為高等學校計算機、電子工程等有關專業的研究生和高年級學生編寫的教科書,著重介紹關於數字係統的電子設計自動化(Electronic Design Automation,EDA)各個領域的基礎理論和最新發展。第2版在第1版的基礎上對大部分內容做瞭更新,力求反映最新發展。本書力求做到深入淺齣而又不失嚴密性,其中包含作者多年來教學科研工作的成果。本書既為EDA工具的開發者提供理論基礎,也為使用EDA工具的設計者提供必要的專業知識。
本書共分9章,第1章介紹EDA的各個領域概貌; 第2章介紹硬件描述語言,著重介紹VHDL,並簡要介紹Verilog; 第3章介紹邏輯模擬和VHDL模擬技術,以及最新齣現的硬件驗證語言; 第4章介紹組閤電路和時序電路的邏輯綜閤技術; 第5章介紹高層次綜閤技術; 第6章介紹等價性驗證和模型檢驗的形式驗證方法; 第7章簡要介紹故障診斷和測試碼生成的基本技術; 第8章介紹EDA領域的最新發展; 第9章介紹EDA工具MAX+plus Ⅱ的使用方法。
發表於2024-12-26
數字係統設計自動化 2024 pdf epub mobi 電子書 下載
圖書標籤: 硬件
數字係統設計自動化 2024 pdf epub mobi 電子書 下載