資料介紹
關于Verilog HDL綜合的討論早在1988年就已經展開。但時至今日,此領域的優秀教材尚未囊括其基本概念。這本關于Verilog HDL綜合實用教程全面地介紹了這一新技術。它通過提供便于理解的、與綜合技術相關的Verilog語義,揭開了HDL綜合的神秘面紗。本書作者Bhasker是綜合領城的專家,在此領域已研究了14 年多。身為IEEE工作組主席,他利用自己的專長領導了Verilog RTL綜合標準(PAR 1364.1)0的開發,此項工作是以1998年4月公布的OV10RTL綜合子集為基礎開展的,面Bhasker正是OVI的RTL綜合標準的締造者之一。
Bhasker的這本著作為學生和剛剛從事邏輯設計的人提供了系統掌握VerilogHDL綜合的捷徑。此書文字淺顯易懂,列舉了大量可綜合的Verilog HDL模型示例。讀者可以系統地了解Verilog HDL的語言結構,它們在綜合時的含義、綜合設計技術如何把這些結構轉換成邏輯門電路,以及它們對設計驗證的影響。此書給出了大量VerilogHDL模型示例及其等價的邏輯門電路。這些示例雖然簡單,但展示了不同的邏輯建模方式,如組合邏輯。時序邏輯。基于寄存器和鎖存器的設計、有限狀態機、算術單元等。
本書不僅為初學者提供了HDL綜合方面的知識,還討論了-些高級論題,諸如如何從綜合模型得出優化的邏輯等。其中,資源共享和分配是模型優化的論題之一。另一個獨特的論題是對設計的驗證。本書闡述了編寫綜合模型以確保得到可預測和可驗證的結果的基本原則。盡管有一章立足于仿真,但是所討論的那些概念同樣可用于形式化驗證。
本書是第一本對Verilog HDL綜合進行全面論述的著作。作者Bhasker在LucentTechnologies(朗訊科技)講授Verilog HDL語言和Verilog HDL綜合長達三年多。這本書是他14年來在Verilog HDL綜合方面的研究成果的總結。盡管本書定位于初學者,但是專業人員也可從基本原則及綜合建模的高級論題中獲益。不容置疑,知識產權(IP)開發人員應遵循本書所推薦的建模方式。
本書是Verilog HDL寄存器傳輸級綜合方面的實用指南,提供了大量可綜合的Verilog HDL示例,詳細介紹了Verilog HDL綜合所支持的各種語法結構,并且用示例說明了如何把這些可綜合的結構搭配起來對各種硬件元件進行建模。本書還詳細講解了造成設計模型和綜合出的網表功能不-一致的常見原因,并給出了避免產生這些錯誤的建議。
對很多人而言,綜合看起來像是一個黑箱,輸入的是Verilog HDL描述的設計,而輸出的是門級網表。這種黑箱方式看起來似乎存在著某些奧妙。正確理解綜合過程中出現的各種變換,才能充分利用綜合系統并充分發揮它的長處。Verilog HDL終究是- -種建模語言,本書的目的就是要通過介紹從硬件描述語言模型到網表這一綜合過程中出現的各種變換來揭示黑箱中的奧秘。
Verilog硬件描述語言通常指的是作為IEEE標準《IEEE Std 1364)的VeriogHDL。它可以用來描述時序的和井發的行為,也可用來描述模型的結構。它支持在從體系結構級到開關級的多個抽象層次上描述設計。該語言支持對設計進行層次化建模,此外還提供了大量內建的基本元件,包括邏輯門和用戶自定義的基本元件。各種語言結構都具有精確的仿真語義,因此可以用VerilogHDL仿真器來驗證采用該語言編寫出的模型。
通常,對于不同的人面言,“綜合”有不同的含義。本書中,綜合指的是對VerilogHDL描述的設計進行綜合,該設計描述了組合邏輯和(或)時序邏輯。對于時序邏輯,清晰地描述了其受時鐘控制的行為。這排除了討論邏輯綜合(用邏輯門基本元件描述的設計)和高層次綜合(不用時鐘信息來指定設計對象的行為)。綜合過程把VerilogHDL模型轉換成門級網表。通常假定目標網表是被模擬的邏輯與工藝無關的表示形式。目標工藝包含諸如邏輯門之類與工藝無關的通用功能塊,以及諸如算術邏輯單元和比較器之類的寄存器傳輸級功能塊。對于綜合流程的后續階段,如工藝轉換(即從通用門到庫中特定部分的映射)和模塊綁定(即采用邏輯門基本元件來構建寄存器傳輸級功能塊),本書均未涉及,
之所以很難編寫一本關于綜合的書,是因為其具有發展迅速的特性。因此,本書所提供的是大體上成立的基本信息,盡可能避開了模棱兩可的論題(包括與特定實現相關的問題)。由于Verilog HDL語言的豐富性,描述-種行為可能存在著不止一種方式,本書提出了一兩種可綜合的建模方式。另外,并非該語言中的所有結構都是可綜合的,因為Verilog HDI.最初是被設計成-種仿真語言。因此,本書將介紹主流綜合系統所支持的各種結構。
同樣,本書還避免提及特定綜合工具廠商提供的不同特性。然而,某些特定情況下也有必要介紹某種實現示例。此時,所介紹的特性都在朗訊科技的貝爾實驗室開發的ArchSyn (14. 0版本)綜合工具中得到了實現。
注意:不是所有的綜合系統都支持本書中描述的VeilogHDL結構。任何關F綜合系統的專有特性的更多細節,讀者都需要及時參考相應廠商的文檔資料。
筆者是Verilog綜合互操作性工作組的主席,該工作組目前正在開發RTL級綜合的IEEE標準。
本書假定讀者已經具備了Verilog HDL語盲的基礎知識。Star Galaxy出版社的“A Verilog“ HDL Primer”是一本關于Verilog HDL語言人門的好書。
本書面向電子工程師,尤其是那些對于理解綜合的技巧感興趣的電路與系統設計人員。本書不打算解釋任何綜合算法。作者相信一旦理解了綜合結果會是什么,就能夠編寫出有效的設計模型,從面對綜合出的設計對象的品質能有所控制。這是因為綜合出的電路結構易受編寫模型的方式的影響。
本書可以用作高校教材。在電子工程專業的教學大綱中,本書可以在計算機輔助設計方面的VLSI (超大規模集成電路)課程中使用。學生可使用本書編寫多種模型,并在任何可用的綜合系統中對它們加以綜合,以研究綜合過程中出現的各種變換。在計算機科學專業的課程(如計算機輔助設計的算法課程)中,學生可以編寫簡單的綜合程序來識別VerilgHDL語法的一個子集并生成綜合的網表。本書中的示例可用作測試用例以供理解所生成的網表。
專業工程師將本書作為參考書也可以從中獲益。工程師們可以在大量模型示例及其綜合出的網表中直接尋找自已感興趣的部分加以研究。
本書的組織結構
第1章介紹綜合過程的基礎知識,諸如什么是連線、觸發器和狀態以及如何確定對象的大小之類的內容。
第2章介紹VerilogHDL結構向邏輯門的映射。通過組合邏輯的示例說明如何把Verilog HDL結構變換成基礎邏輯門以及它們的互連結構。還通過異步置位和清零、同步置位和清零、多時鐘、多相位時鐘等建模示例介紹了各種模擬時序邏輯設計的方式。
有時也有必要使用預先設計的功能塊,因此第2章進一步介紹了如何對結構進行建模,包括在行為模型中采用部分結構建模。
第3章介紹如何把Verilog HDL的各種結構搭配起來對硬件元件進行建模。雖然第2章介紹了Verilog HDL向邏輯門的映射,但本章介紹的是另一方面,即如何用Verilog HDL來建立硬件元件的可綜合模型。本章提供了許多通用硬件元件的詳盡示例,如多路選擇器、計數器、譯碼器以及算術邏輯單元等。
第4章介紹可應用f Verilog HDL模型以綜合出優質網表的各種有效技術。
本章介紹的各種優化手段如果不能由綜合系統自動實現,則需要由設計者手工加以實現。
有了VerilogHDL綜合模型,通常還有必要用輸人的設計模型來驗證綜合出的網;表。第5章提供了編寫檢驗綜合結果的測試平臺的策略。因為Verilog HDL.不是為了綜合而專門設計的語言,設計出的模型與綜合出的網表可能會出現功能上的不一致。本章解釋了產生那些分歧的原因。
為了說明典型的綜合系統所支持的Verilog HDL可綜合子集,附錄A介紹了ArchSyn綜合系統所支持的結構。但是,不同綜合系統的可綜合子集之間是存在差別的。
附錄B給出了本書中綜合出的網表用到的各種邏輯門的說明。
注意:本書展示的綜合出的網表不是優化過的網表,因此在某些情況下這些邏輯可能不是最理想的。這是可以接受的,因為本書的目的是體現Verilog HDL到邏輯門之間的變換,而不是用來說明各種邏輯優化技術。本書中的有些網表已經被有目的地優化過了,因此可以把那些網表作為經典記錄下來。
- 圖解數字磁帶錄音機的PDF電子書免費下載 99次下載
- 現代無線電實驗的PDF電子書免費下載 250次下載
- 半導體收音機淺談的PDF電子書免費下載 162次下載
- 光學諧振腔的圖解分析與設計方法的PDF電子書免費下載 123次下載
- 無線電全息攝影的PDF電子書免費下載 52次下載
- 華為Verilog HDL入門教程的PDF電子書免費下載 90次下載
- MATLAB函數速查手冊PDF電子書免費下載 148次下載
- 電子管數據手冊合集PDF電子書免費下載 72次下載
- SHARP電子元器件綜合目錄中文版PDF電子書免費下載 0次下載
- Verilog HDL那些事兒時序篇PDF電子書免費下載 62次下載
- 8051系列單片機C程序設計完全手冊PDF電子書免費下載 263次下載
- 51單片機100實例源碼的注釋詳細PDF電子書免費下載 213次下載
- 電冰箱快速維修PDF電子書免費下載 43次下載
- 家電維修1128例PDF電子書免費下載 186次下載
- 數字信號處理算法C語言實現PDF版電子書免費下載 0次下載
- 例說Verilog HDL和VHDL區別 2096次閱讀
- 淺談Verilog HDL代碼編寫風格 566次閱讀
- 二十進制編碼器及Verilog HDL描述 Verilog HDL程序的基本結構及特點 2272次閱讀
- 電子書閱讀器內置鋰電池供電自動切換電路 1600次閱讀
- Verilog的程序框架案例 1337次閱讀
- Verilog HDL指定用戶定義原語UDP的能力 876次閱讀
- Verilog HDL和VHDL的區別 1.3w次閱讀
- Verilog可綜合的循環語句 1.9w次閱讀
- 如何設計可綜合的Verilog代碼和應該遵循什么原則 4330次閱讀
- verilog語言基本語句_verilog語言詞匯大全 9.4w次閱讀
- 最新電子書拆解評測系列報道(一):打開你的眼界 1.2w次閱讀
- Verilog HDL簡明教程(2) 1197次閱讀
- Verilog HDL簡明教程(part1) 1193次閱讀
- 初學者學習Verilog HDL的步驟和經驗技巧 3.6w次閱讀
- Verilog HDL語言的文件調用問題:include使用方法介紹 6659次閱讀
下載排行
本周
- 1TPS54202H降壓轉換器評估模塊用戶指南
- 1.02MB | 7次下載 | 免費
- 2華瑞昇CR215芯片數字萬用表原理圖
- 0.21 MB | 1次下載 | 3 積分
- 3SMD LED選型目錄 燈珠手冊
- 5.36 MB | 1次下載 | 免費
- 4Tiva C系列DK-TM4C129X入門指南
- 1.69MB | 1次下載 | 免費
- 5電涌保護器(SPD)的選擇、安裝以及裝配
- 4.57 MB | 1次下載 | 免費
- 6時源芯微EMC前車燈案例
- 458.59 KB | 1次下載 | 免費
- 7bq25890、bq25892雙級聯充電器EVM(PWR692)用戶指南
- 2.02MB | 1次下載 | 免費
- 8TPS54426降壓轉換器評估模塊用戶指南
- 847.7KB | 次下載 | 免費
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 156次下載 | 免費
- 22024PMIC市場洞察
- 2.23 MB | 63次下載 | 免費
- 3開關電源設計原理手冊
- 1.83 MB | 30次下載 | 免費
- 4智能門鎖原理圖
- 0.39 MB | 28次下載 | 免費
- 5OAH0428最新規格書(中文)
- 2.52 MB | 15次下載 | 7 積分
- 6ST7789V2單芯片控制器/驅動器英文手冊
- 3.07 MB | 9次下載 | 1 積分
- 7LTH7充電電路和鋰電池升壓5V輸出電路原理圖
- 0.04 MB | 7次下載 | 免費
- 8TPS54202H降壓轉換器評估模塊用戶指南
- 1.02MB | 7次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935119次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420061次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233084次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183334次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73807次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65987次下載 | 10 積分
評論
查看更多