編輯推薦
本套教材係統而全麵地將集成電路設計的基本理論、設計方法和實現方案介紹給讀者。特點是取材新穎,強調動手實驗,注重産品開發應用。內容包括集成電路設計的基本工藝方法與器件理論,用於數字、模擬和射頻電路設計的實用電路基礎,各種電路類型的設計方法,設計中常用的工具手段和芯片的設計流程。叢書內容還包括集成電路芯片的封裝和測試。
內容簡介
《數字集成電路設計與技術》是國內首本全麵、係統介紹當今數字集成電路設計技術的專門教材。作者結閤自身多年理論研究和豐富的實踐經驗與教學經驗,詳細介紹瞭數字集成電路從RTL設計到邏輯綜閤生成門級網錶所涉及的多方麵重要工作,包括基於模塊和層次化的RTL設計方法學、Verilog和VHDL的建模和邏輯設計、低功耗數字電路設計、邏輯電路的設計與驗證、邏輯綜閤方法、可測試性設計等。《數字集成電路設計與技術》不僅涵蓋瞭掌握數字RTL編碼的基本技術和邏輯電路設計所需的重要知識,而且充分結閤當前應用廣泛的FPGA設計與驗證、硬件仿真係統的原理與運行等問題進行深入討論。《數字集成電路設計與技術》基本概念的講授通俗易懂,相關內容、配套習題和實驗都與實際工程緊密聯係,以使讀者打下堅實的工程實踐基礎。
《數字集成電路設計與技術》可作為“集成電路設計專業”方嚮工程碩士研究生教材,也可作為與集成電路設計相關的碩士研究生和高年級本科生的教材,並可供相關領域工程師參考。
內頁插圖
目錄
叢書序
前言
第1章 數字集成電路的曆史與現狀
1.1 數字集成電路的曆史與現狀
1.2 現代數字設計方法的發展
1.3 數字集成電路前端設計語言及後端設計軟件(EDA)
1.4 數字IC的幾種設計模式
1.5 數字IC設計麵臨的挑戰
1.6 習題
參考文獻
第2章 數字IC設計方法學
2.1 數字IC設計流程
2.2 層次化設計和模塊劃分
2.3 芯片封裝和散熱
2.4 CMOS工藝選擇
2.5 習題
參考文獻
第3章 Verilog/VHDL硬件描述語言
3.1 HDL的曆史和優勢
3.2 Verilog數據類型與設計結構
3.3 基本建模方法
3.4 路徑延時模型
3.5 邏輯行為建模
3.6 任務與函數
3.7 習題
參考文獻
第4章 HDL邏輯設計
4.1 基本組閤電路設計
4.2 基本時序電路設計
4.3 設計同步狀態機
4.4 SRAM的設計
4.5 復雜數字邏輯設計
4.6 設計示例:UART
4.7 可綜閤的VerilogRTL設計
4.8 代碼書寫風格
4.9 習題
參考文獻
第5章 低功耗數字電路
5.1 數字電路介紹
5.2 低功耗設計技術
5.3 絕熱邏輯電路
5.4 學習示例
5.5 習題
參考文獻
第6章 邏輯電路的設計驗證
6.1 驗證概述
6.2 驗證平颱編碼風格
6.3 驗證平颱模塊設計
6.4 驗證平颱結構設計
6.5 斷言
6.6 驗證質量評估
6.7 習題
參考文獻
第7章 邏輯綜閤
7.1 邏輯綜閤概述
7.2 邏輯綜閤中的基本概念
7.3 邏輯綜閤的步驟
7.4 綜閤腳本實例
7.5 現代先進綜閤技術
7.6 習題
參考文獻
第8章 可測試性設計
8.1 DFT挑戰和設計方法
8.2 JTAG邊界掃描
8.3 邏輯內建自測試
8.4 存儲器內建自測試
8.5 自動測試模式生成
8.6 存儲器電路內建自測試
8.7 習題
參考文獻
第9章 FPGA設計與芯片驗證
9.1 FPGA的基礎知識
9.2 FPGA的基本結構
9.3 FPGA的設計流程
9.4 FPGA的開發工具
9.5 FPGA的同步設計原則
9.6 FPGA的設計優化技巧
9.7 FPGA設計實踐
參考文獻
第10章 基於硬件仿真係統的IC功能驗證
10.1 硬件仿真器的起源
10.2 硬件仿真器和硬件仿真係統的定義
10.3 硬件仿真係統的實現原理
10.4 硬件仿真器係統,驗證平颱和運行方式
10.5 硬件仿真係統的編譯
10.6 硬件仿真係統的運行控製和查錯手段
10.7 應用實例分析
10.8 總結
10.9 習題
參考文獻
索引
前言/序言
本書介紹瞭近年來最新的數字集成電路芯片設計、驗證方法和技術發展趨勢。本書的基本指導思想是注重理論與實驗的結閤,用實際電路實例來解釋工程師設計芯片麵臨的具體問題及解決方案。
本書內容共分10章,每章均可獨立作為教學之用,其內容涵蓋基本理論、芯片設計實例以及試驗和習題。第1章介紹瞭數字集成電路的曆史與現狀,及伴隨半導體工藝綫度的減小帶來的對數字芯片設計的挑戰;第2章通過一個網絡路由器芯片的設計闡述瞭數字集成電路構架特點、設計流程、工藝特性,並從係統工程的角度介紹瞭芯片的優化設計方法;第3章是對Verilog/VHDL語言的概述,通過多種單元電路的實例來解釋用軟件描述硬件的抽象概念;第4章是基本組閤邏輯、基本時序邏輯電路、狀態機以及對UART單元設計的介紹,同時也介紹瞭芯片設計中工業界常用的RTL寫作規範及指導思想;第5章重點描述典型的低功耗數字邏輯電路及邏輯電路中降低功耗的方法;第6章是芯片的設計與驗證,引入芯片驗證平颱的建立、測試矢量的構造,並介紹瞭邏輯功能的形式驗證方法;第7章是關於芯片的邏輯綜閤方法,從結構上介紹瞭近年來EDA工具中采用的綜閤算法和基本概念,並詳細描述瞭芯片設計中采用的綜閤流程;第8章是關於芯片的可測性設計,重點介紹瞭CORESCAN中ATPG矢量測試及邊界掃描、邏輯內建自測試等手段對芯片加工生産中可能齣現的缺陷所采用的檢測方法;第9章介紹瞭FPGA設計及FPGA對流片前邏輯功能的驗證;第10章介紹瞭過去10年發展起來的、目前更加成熟的芯片仿真軟硬件驗證技術(emulation)。本教材還將另配有相應的教學幻燈片和實驗手冊與實驗數據。
本書是作者十多年來參與lC設計實際工作的知識總結,所引用的實例多為作者參與芯片設計的經驗匯總。本書根據工程中對數字集成電路實施的應用需求,詳細分析瞭數字設計流程中的有關專題,使讀者能夠在理解設計的基礎上,快速進入數字集成電路項目的實際設計中去。
參與本書編寫的還有浙江大學電氣工程學院副教授竺紅衛、明微電子有限公司副總經理李立。天利半導體有限公司設計總監陳博、趙德林,設計經理王富中、簡慶龍,張寜、傅勇參加瞭部分編寫工作。本書還收到本領域專傢趙顯西等的建議及修改意見。時龍興、於敦山教授和陳春章博士審閱瞭本書,沙燕萍、劉海川、廖雲濤、許承然、孫緒紅等協助審閱瞭部分章節;李茉、艾霞協助完成瞭本書的校對工作,在此一並錶示感謝。
本書的齣版得到浙江大學嚴曉浪教授、清華大學餘誌平教授的大力支持和推薦,並受益於Cadence公司的協助,在此深錶謝意。
數字集成電路設計與技術 下載 mobi epub pdf txt 電子書