面向數(shù)字系統(tǒng)綜合的Verilog編碼風(fēng)格

定　價(jià)：￥30.00

作　者：	DAVID R.SMITH//PAUL D.FRANZON
出版社：	西安電子科技大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	行業(yè)軟件及應(yīng)用

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787560618708	出版時(shí)間：	2008-01-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	266	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　Verilog HDL是當(dāng)今國(guó)際上一種主流的標(biāo)準(zhǔn)化硬件描述語(yǔ)言，目前已出版有多本詳細(xì)介紹該語(yǔ)言語(yǔ)法和結(jié)構(gòu)的教材。本書(shū)的不同之處在于其重點(diǎn)介紹的并不是語(yǔ)法本身，而是以電路綜合為目標(biāo)，通過(guò)大量實(shí)例來(lái)說(shuō)明具有不同特點(diǎn)的可綜合的編碼風(fēng)格。全書(shū)共分17章，覆蓋了Verilog基本語(yǔ)法、仿真測(cè)試、面向FPGA和標(biāo)準(zhǔn)單元的邏輯綜合、可綜合的代碼風(fēng)格和VLSI設(shè)計(jì)方法學(xué)等關(guān)鍵內(nèi)容，最后還簡(jiǎn)要描述了混合技術(shù)的設(shè)計(jì)。本書(shū)是一本實(shí)用性很強(qiáng)的針對(duì)Verilog HDL綜合的教材，適用于計(jì)算機(jī)和電子類相關(guān)專業(yè)的高年級(jí)本科生和研究生，同時(shí)也可作為從事數(shù)字電路設(shè)計(jì)人員的參考書(shū)。

作者簡(jiǎn)介

暫缺《面向數(shù)字系統(tǒng)綜合的Verilog編碼風(fēng)格》作者簡(jiǎn)介

圖書(shū)目錄

sp; 參考文獻(xiàn)
第2章  基本語(yǔ)法結(jié)構(gòu)
  2.1  預(yù)備知識(shí)
    2.1.1  標(biāo)識(shí)符
    2.1.2  運(yùn)算符
    2.1.3  值
    2.1.4  表達(dá)式
  2.2  數(shù)據(jù)類型
    2.2.1  連線型
    2.2.2  寄存器型
    2.2.3  整型
    2.2.4  實(shí)型
    2.2.5 時(shí)間
    2.2.6  事件
    2.2.7  位矢量
    2.2.8  拼接和復(fù)制
    2.2.9  數(shù)組
    2.2.10  參數(shù)
    2.2.11  編譯預(yù)處理指令
  2.3  模塊
    2.3.1  端口連接規(guī)則
    2.3.2  端口列表
    2.3.3  層級(jí)名
  2.4  結(jié)論
  練習(xí)
  參考文獻(xiàn)
第3章  結(jié)構(gòu)和行為描述
  3.1  概述
  3.2  基本門(mén)
    3.2.1  采用基本門(mén)組成的結(jié)構(gòu)化模塊
    3.2.2  用戶自定義元件
  3.3  建模層次
  3.4  編碼風(fēng)格
  3.5  可綜合的運(yùn)算符
  3.6  連續(xù)賦值語(yǔ)句
  練習(xí)
  參考文獻(xiàn)
第4章  仿真
  4.1  仿真器的種類
  4.2  VCS仿真器的使用
  4.3  測(cè)試平臺(tái)(testbenches)
  4.4  調(diào)試
  練習(xí)
第5章  過(guò)程描述
  5.1  always塊
    5.1.1  塊語(yǔ)句
    5.1.2  多周期執(zhí)行的always塊
  5.2  函數(shù)和任務(wù)
  5.3  阻塞型和非阻塞型賦值
  5.4  控制結(jié)構(gòu)
    5.4.1  IF語(yǔ)句
    5.4.2  循環(huán)語(yǔ)句
    5.4.3  舉例
  5.5  條件結(jié)構(gòu)的綜合
  5.6  舉例——組合邏輯模塊
  5.7  觸發(fā)器與鎖存器
  5.8  存儲(chǔ)器
  5.9  總結(jié)
  練習(xí)
  參考文獻(xiàn)
第6章  單個(gè)模塊的設(shè)計(jì)方法
  6.1  概述
  6.2  基本設(shè)計(jì)方法
  6.3  設(shè)計(jì)規(guī)格
  6.4  構(gòu)建設(shè)計(jì)
  6.5  設(shè)計(jì)實(shí)例1——一個(gè)簡(jiǎn)單的減法計(jì)數(shù)器
    6.5.1  設(shè)計(jì)規(guī)格
    6.5.2  確定控制策略
    6.5.3  確定RTL級(jí)結(jié)構(gòu)
    6.5.4  用Verilog描述設(shè)計(jì)
    6.5.5  驗(yàn)證設(shè)計(jì)的正確性
  6.6  設(shè)計(jì)實(shí)例2——無(wú)符號(hào)并一串乘法器
    6.6.1  確定控制策略
    6.6.2  確定RTL結(jié)構(gòu)
    6.6.3  用verilog描述設(shè)計(jì)
  6.7  定義觸發(fā)器的另一種方法
  6.8  普遍存在的問(wèn)題以及解決方法
    6.8.1  額外鎖存器
    6.8.2  不完整的同步定義(敏感列表)
    6.8.3  線或邏輯的無(wú)意識(shí)產(chǎn)生
    6.8.4  循環(huán)結(jié)構(gòu)的不正確使用
  6.9  調(diào)試方法
  6.10  總結(jié)
  練習(xí)
第7章  單個(gè)模塊的驗(yàn)證
  7.1  概述
  7.2  測(cè)試向量源
  7.3  測(cè)試平臺(tái)的編寫(xiě)方法
    7.3.1  絕對(duì)時(shí)間和相對(duì)時(shí)間
    7.3.2  讀取測(cè)試向量文件
  7.4  綜合后驗(yàn)證
  7.5  形式驗(yàn)證
    7.5.1  等價(jià)性檢測(cè)
    7.5.2  模型檢測(cè)
  7.6  系統(tǒng)級(jí)驗(yàn)證
  7.7  總結(jié)
  練習(xí)
第8章  有限狀態(tài)機(jī)風(fēng)格
  8.1  概述
  8.2  狀態(tài)機(jī)的綜合
    8.2.1  經(jīng)典模型
    8.2.2  直接描述風(fēng)格
    8.2.3  間接描述風(fēng)格
  8.3  舉例
  練習(xí)
  參考文獻(xiàn)
第9章  控制點(diǎn)編碼風(fēng)格
  9.1  概述
  9.2  參數(shù)化模塊的例化
  9.3  控制點(diǎn)描述風(fēng)格
  9.4  使用廠家的單元
  9.5  結(jié)論
  練習(xí)
  參考文獻(xiàn)
第10章  復(fù)雜度管理——大型設(shè)計(jì)
  10.1  上層設(shè)計(jì)的步驟
  10.2  設(shè)計(jì)劃分
  10.3  控制器設(shè)計(jì)風(fēng)格
  10.4  直接編碼風(fēng)格舉例——運(yùn)動(dòng)估計(jì)器
  10.5  間接描述方式舉例——高速緩沖存儲(chǔ)器Cache
  10.6  另一個(gè)間接方式描述舉例——MIPS200
    10.6.1  MIPS200測(cè)試
    10.6.2  對(duì)MIPS200 testbench的說(shuō)明
    10.6.3  MIPS的R]rL和控制點(diǎn)描述
  10.7  總結(jié)
  練習(xí)
  參考文獻(xiàn)
第11章  時(shí)序、面積及功耗的優(yōu)化
  11.1  概述
  11.2  設(shè)計(jì)中的時(shí)序問(wèn)題
    11.2.1  延時(shí)計(jì)算
    11.2.2  邊沿觸發(fā)器的時(shí)序設(shè)計(jì)
    11.2.3  鎖存器的時(shí)序設(shè)計(jì)
    11.2.4  時(shí)序意識(shí)的設(shè)計(jì)
  11.3  低功耗設(shè)計(jì)
    11.3.1 CMOS電路中的功耗
    11.3.2  針對(duì)低功耗的設(shè)計(jì)技術(shù)
    11.3.3  低功耗設(shè)計(jì)中的CAD工具
  11.4  設(shè)計(jì)中的面積問(wèn)題
  11.5  總結(jié)
  練習(xí)
  參考文獻(xiàn)
第12章  設(shè)計(jì)編譯
  12.1  概述
  12.2  運(yùn)行實(shí)例——鬧鐘
  12.3  建立
  12.4  調(diào)用綜合
  練習(xí)
  參考文獻(xiàn)
第13章  面向標(biāo)準(zhǔn)單元的綜合
  13.1  概述
  13.2  綜合流程
  13.3  總結(jié)
  練習(xí)
  參考文獻(xiàn)
第14章  面向FPGA的綜合
  14.1  以現(xiàn)場(chǎng)可編程門(mén)陣列(FPGA)作為目標(biāo)工藝
  14.2  Altera工具的使用
  14.3  Xilinx工具的使用
  14.4  存儲(chǔ)器陣列的實(shí)現(xiàn)
    14.4.1  用查找表作為存儲(chǔ)器(例如Xilinx)
    14.4.2  用內(nèi)嵌陣列塊作為存儲(chǔ)器(例如Altera)
  14.5  用內(nèi)嵌陣列作為ROM
  14.6  FPGA報(bào)告
  14.7  門(mén)級(jí)仿真
    14.7.1  一些常見(jiàn)的疑惑
    14.7.2  下載應(yīng)用設(shè)計(jì)
  14.8  總結(jié)
  練習(xí)
  參考文獻(xiàn)
第15章  門(mén)級(jí)仿真與測(cè)試
  15.1  ad.hoc測(cè)試技術(shù)
  15.2  綜合中的掃描插入
  15.3  內(nèi)建自測(cè)試
  練習(xí)
  參考文獻(xiàn)
第16章  其他編碼風(fēng)格
  16.1  概述
  16.2  行為編譯器風(fēng)格
    16.2.1  布斯乘法器
    16.2.2  行為編譯器——總結(jié)
  16.3  自定時(shí)風(fēng)格
  16.4  封裝風(fēng)格
  16.5  未來(lái)HDL的發(fā)展
  練習(xí)
  參考文獻(xiàn)
第17章  混合設(shè)計(jì)技術(shù)
  17.1  概述
  17.2  數(shù)字／模擬
  17.3  硬件／軟件
    17.3.1  大規(guī)模硬件設(shè)計(jì)的仿真
    17.3.2  軟／硬件協(xié)同設(shè)計(jì)
    17.3.3  嵌入核的設(shè)計(jì)
    17.3.4  SOC(System-On-a-Chip)的設(shè)計(jì)語(yǔ)言
  17.4舉例
  參考文獻(xiàn)
附錄  Venlog設(shè)計(jì)實(shí)例