SystemVerilog硬件設(shè)計及建模

定　價：￥45.00

作　者：	（英）Stuart Sutherland，Simon Davidmann，Peter Flake 著
出版社：	科學(xué)出版社
叢編項：
標(biāo)　簽：	算法語言

購買這本書可以去

ISBN：	9787030198778	出版時間：	2007-01-01	包裝：	平裝
開本：	0開	頁數(shù)：	352	字?jǐn)?shù)：

內(nèi)容簡介

　　本書是介紹SystemVetilog（Verilog-2005）的實用圖書。書中深入淺出地介紹SystemVerilog相比于Verilog新增加的特性，包括新的數(shù)據(jù)類型、操作符、過程塊語句以及適于SoC設(shè)計的接口結(jié)構(gòu)，這些新增加的特性大大提高Verilog的高層抽象能力，彌補’Verilog底層描述能力強但系統(tǒng)級描述能力弱的缺點。為了進一步說明這些新的數(shù)據(jù)類型、操作符和過程語句，本書對Verilog語句中的數(shù)據(jù)類型、操作符以及過程語句的仿真行為進行深入的分析，以便于讀者加深對Verilog的理解。此外，本書還介紹Sys—temVerilog增加的一些系統(tǒng)連接描述方法，相對于Verilog-2001，這些方法可以進一步簡化系統(tǒng)連接，提高設(shè)計效率。本書提供許多代碼例子，這些例子可以從網(wǎng)上下載，有助于讀者對SystemVerilog的學(xué)習(xí)。本書可供具有一定Verilog基礎(chǔ)的電路設(shè)計工程技術(shù)人員使用，同時可作為高等院校相關(guān)專業(yè)學(xué)生參考書。

作者簡介

　　Stuart Sutherland：SystemVerilog和Verilog應(yīng)用方面的資深專家。早在1993年電氣和電子工程師學(xué)會（IEEE）標(biāo)準(zhǔn)化工作剛開始時，就致力于Verilog語言的研究工作，并同時擔(dān)任IEEE Verilog標(biāo)準(zhǔn)委員會成員（任Verilog PLI任務(wù)組主席和聯(lián)合主席）和IEEE SystemVerilog標(biāo)準(zhǔn)委員會成員（任SystemVerilog Language Refe—fence Manual一書的編輯）。他擁有20多年的硬件設(shè)計經(jīng)驗，以及超過17年的Verilog設(shè)計經(jīng)驗，是Sutherland HDL公司的創(chuàng)始人，在該公司負(fù)責(zé)提供專業(yè)級的HDL培訓(xùn)服務(wù)。他擁有計算機科學(xué)方向電子工程技術(shù)專業(yè)學(xué)士學(xué)位，是The Verilog PLI Handbook和Verilog一2001：A Guide to the New Features of the Verilog HDL的作者。Simon Davidmann：從1978年開始致力于HDL的研究，是英國布魯耐爾大學(xué)HILO小組的成員之一。他在1984年成為Simmons Percussion的實時專業(yè)音樂設(shè)備的ASIC設(shè)計師和嵌入式軟件開發(fā)人員；1988年開始研究Verilog，并成為GDA公司（Gateway Design Automation）的第一個歐洲雇員；在歐洲創(chuàng)建了Chronologic Simu—lation公司、Virtual Chips公司（InSilicon公司）的歐洲辦事處，后來又成為Ambit De—sign公司的歐洲代理人；1998年參與創(chuàng)建了Co—Design Automation公司，并參與開發(fā)了SUPERLOG語言。作為Co—Design公司的CEO，他在SUPERLOG語言轉(zhuǎn)換到Accellera標(biāo)準(zhǔn)組織，并成為SystemVeri！og前身的過程中發(fā)揮了重要作用。David—mann是Accellera SystemVerilog和IEEE 1364 Verilog委員會的成員，是多個技術(shù)公司和EDA公司的顧問和主要成員，還是倫敦大學(xué)Queen Mary學(xué)院數(shù)字系統(tǒng)系的客座教授。2005年Davidmann創(chuàng)建了Imperas公司，擔(dān)任總裁兼CEO。Peter Flake：co—Design Automation公司的創(chuàng)始人之一，是該公司的主要技術(shù)人員，SUPERLOG語言的主要締造者。2002年Synopsys公司收購Co—Design公司后，他成為Synopsys公司的科研人員。Flake在EDA領(lǐng)域的工作生涯超過30年：當(dāng)他在英國布魯耐爾大學(xué)和Gen Rad公司時，就是HILO開發(fā)項目的語言架構(gòu)師和項目領(lǐng)導(dǎo)者，HILO是20世紀(jì)80年代早期和中期第一個商用的基于HDL的仿真、故障仿真和時序分析系統(tǒng)。2005年他成為Imperas公司的首席科學(xué)家。他擁有英國劍橋大學(xué)的藝術(shù)碩士學(xué)位，并在多個學(xué)術(shù)會議上作過有關(guān)HDL的報告。

圖書目錄

第1章 SystemVerilog介紹
1.1 SystemVeriIog起源
1.1.1 SystemVerilog標(biāo)準(zhǔn)的發(fā)展歷程
1.1.2 SystemVerilog獲得的捐贈
1.2 SystemVerilog針對硬件設(shè)計的關(guān)鍵增強
1.3 小結(jié)
第2章 SystemVerilog聲明的位置
2.1 包(package)
2.1.1 包的定義
2.1.2 引用包的內(nèi)容
2.1.3 綜合指導(dǎo)
2.2 Sunit編譯單元聲明
2.2.1 編碼指導(dǎo)
2.2.2 SystemVerilog標(biāo)識符搜索規(guī)則
2.2.3 源代碼順序
2.2.4 將包導(dǎo)入Sunit的編碼原則
2.2.5 綜合指導(dǎo)
2.3 未命名語句塊中的聲明
2.3.1 未命名塊中的局部變量
2.4 仿真時間單位和精度
2.4.1 Verilog編譯指令timescale
2.4.2 包含時間單位的時間值
2.4.3 范圍級（scope—level）時間單位和精度
2.4.4 編譯單元的時間單位和精度
2.5 小結(jié)
第3章 SystemVerilog文本值和數(shù)據(jù)類型
3.1 加強的文本值賦值
3.2 define增強
3.2.1 字符串內(nèi)的宏變量替換
3.2.2 通過宏建立標(biāo)識符名
3.3 SystemVerilog變量
3.3.1 對象類型和數(shù)據(jù)類型
3.3.2 SystemVerilog四態(tài)變量
3.3.3 SystemVerilog兩態(tài)變量
3.3.4 顯式及隱式變量和線網(wǎng)類型
3.3.5 綜合指導(dǎo)
3.4 在RTL模型中使用兩態(tài)類型
3.4.1 兩態(tài)類型的特點
3.4.2 兩態(tài)類型和四態(tài)類型仿真
3.4.3 在case語句中使用兩態(tài)類型
3.5 數(shù)據(jù)類型規(guī)則的放寬
3.6 有符號和無符號修飾符
3.7 靜態(tài)和自動變量
3.7.1 靜態(tài)變量和自動變量的初始化
3.7.2 自動變量的綜合指導(dǎo)
3.7.3 靜態(tài)和自動變量的使用原則
3.8 變量初始化的確定性
3.8.1 初始化確定機制
3.8.2 時序邏輯的異步輸入初始化
3.9 強制類型轉(zhuǎn)換
3.9.1 靜態(tài)轉(zhuǎn)換（編譯時轉(zhuǎn)換）
3.9.2 動態(tài)強制類型轉(zhuǎn)換
3.9.3 綜合指導(dǎo)
3.10 常數(shù)
3.11 小結(jié)
第4章用戶自定義和枚舉數(shù)據(jù)類型
4.1 用戶自定義類型
4.1.1 局部typedef聲明
4.1.2 共享typedef定義
4.1.3 用戶自定義類型的命名習(xí)慣
4.2 枚舉數(shù)據(jù)類型
4.2.1 枚舉類型標(biāo)簽序列
4.2.2 枚舉類型標(biāo)簽作用域
4.2.3 枚舉類型值
4.2.4 枚舉類型的基類
……
第5章數(shù)組、結(jié)構(gòu)體和聯(lián)合體
第6章 SystemVerilog過程塊、任務(wù)和函數(shù)
第7章過程語句
第8章有限狀態(tài)機建模
第9章層次化設(shè)計
第10章接口
第11章一個完整設(shè)計的建模
第12章行為級和交易級建模
附錄A SystemVerilog形式定義（BNF）
附錄B Verilog和SystemVerilog保留關(guān)鍵字
附錄C SUPERLOG的歷史，即SystemVerilog的開端