專用集成電路高級綜合理論

定　價：￥24.00

作　者：	劉明業(yè)[等]著
出版社：	北京理工大學出版社
叢編項：
標　簽：	VHDL語言

購買這本書可以去

當當網 (￥18.00)

ISBN：	9787810453493	出版時間：	1998-01-01	包裝：	膠版紙
開本：	20cm	頁數：	433	字數：

內容簡介

　　本書詳述計算機及ASIC高級綜合與混合級模擬的基本理論與關鍵技術。全書共分八章。前三章討論高級綜合的涵義，VHDL編譯及其可綜合子集的實現(xiàn)方法。第四章給出HLS/BIT系統(tǒng)多目標化模型、高度和分配算法及優(yōu)化策略。最后給出許多綜合與驗證的實驗。第五章詳述與底層工藝設計銜接問題。提出RTL工藝無關和工藝相關兩級映射策略及知識制導的RTL工藝映射方法。最后給出面向FPGA目標的映射結果。第六章討論邏輯圖生成的實用技術。第七章討論HLS/BIT模擬模型的建立及數據結構，給出各種模擬算法。第八章列舉VDHL某些典型應用示例?！”緯m用于從事計算機及ASIC設計自動化的研究人員參考，也可作為高等學校計算機、自動控制、電子工程專業(yè)研究生及高年級學生的教學參考書。

作者簡介

　　劉明業(yè)　男，漢族，教授，1934年6月出生，遼寧營口人。1959年畢業(yè)于哈爾濱工業(yè)大學電子計算機專業(yè)，1985年于北京工業(yè)學院（現(xiàn)北京理工大學）晉升教授，1990年經國務院學位委員會評定為計算機應用學科博士生導師。北京理工大學ASIC研究所所長，校外兼任《計算機輔助設計與圖形學學報》副主編，計算機學會計算機輔助設計與圖形學專業(yè)委員會副主任，中國科技大學研究生院兼職教授。長期從事計算機和ASIC設計自動化的研究與教學工作。專長為硬件描述語言、高級綜合與模擬技術，代表性論著有《專用集成電路高級綜合理論》（北京理工大學出版社，1998年）、《計算機輔助邏輯設計理論》（科學出版社，1985年）、《數字系統(tǒng)自動設計》（高等教育出版社，1995年）、“求介多輸出函數覆蓋問題的覆蓋矩陣取補法”（《計算機學報》，1983年第三期）、“VHDL高級綜合中某些關鍵問題的技術決策”（《計算機學報》，1997年第六期）等。有“專用集成電路VHDL高級綜合與混合的模擬系統(tǒng)”等六項成果獲部級獎勵。

圖書目錄

第一章電子系統(tǒng)設計自動化技術與VHDL語言
1.1 EDA技術的強大生命力
1.2 高級綜合技術的出現(xiàn)
1.3 VHDL語言的產生與特點
1.4 VHDL語言高級綜合系統(tǒng)的組成
1.5 VHDL語言多層次模擬的驗證作用
1.6 VHDL語言版本的發(fā)展
1.7 本章小結
第二章 VHDL編譯系統(tǒng)
2.1 VHDL語言編譯系統(tǒng)的作用與地位
2.2 VHDL語言編譯系統(tǒng)的結構及需求分析
2.3 VHDL語言編譯系統(tǒng)的設計
2.4 VHDL語言詞法分析器的設計與實現(xiàn)
2.5 自動生成語法分析程序的工具-YACC簡介
2.6 VHDL語言語法分析器的設計
2.7 VHDL編譯系統(tǒng)符號表的管理
2.8 VHDL語言編譯系統(tǒng)中間格式的設計
2.9 產生式的書寫及沖突處理
2.10 表達式的編譯
2.11 VHDL語言編譯中層次問題及信息可見性問題
2.12 VHDL語言中別名、重載、接口表、子程序的處理
2.13 VHDL語言編譯中指令結構分析
2.14 編譯器錯誤檢查處理的內容和策略
2.15 VHDL語言編譯的錯誤處理
2.16 VHDL語言編譯中的信息變換
2.17 本章小結
第三章 VHDL語言綜合子集及其實現(xiàn)方法
3.1 VHDL語言的可綜合性
3.2 VHDL語言綜合子集的確立
3.3 VHDL語言綜合子集的實現(xiàn)方法
3.4 HLS/BIT系統(tǒng)的設計流程
3.5 本章小結
第四章高級綜合的基本內容和方法
4.1 高級綜合的模型
4.2 操作的調度問題
4.3 典型調度算法回顧
4.4 資源分配問題
4.5 HLS/BIT中的調度及分配算法
4.6 控制信息的提取
4.7 模擬驗證方法及其實現(xiàn)
4.8 模擬結果的比較分析
4.9 本章小結
第5章工藝映射技術
5.1 引言
5.2 工藝映射的處理時機
5.4 邏輯綜合系統(tǒng)中的工藝映射技術
5.5 面向FPGA的工藝映射方法
5.6 寄存器傳輸級兩級映射管理
5.7 RTL工藝無關映射的形式描述
5.8 RTL約束部件庫
5.9 基于決策樹的RTL工藝無關映射
5.10 知識制導的RTL工藝映射方法
5.11 問題描述
5.12 控制知識
5.13 形式化算法
5.14 RTL映射系統(tǒng)HLS/BIT-TECHMAP的實現(xiàn)
5.15 智能的束部件庫
5.16 RTL工藝無關與工藝相關的映射
5.17 與FPGA開發(fā)系統(tǒng)的接口
5.18 RTL映射結果的模擬驗證方法
……
第六章邏輯圖自動生成技術
第七章 VHDL語言模擬及調試方法
第八章 VHDL語言應用技術
參考文獻
本書專用術語中英文對照