Verilog數字系統設計

所属分类:軟件工程及軟件方法學  
出版时间:2007-8   出版时间:電子工業   作者:納瓦畢   页数:275  

内容概要

  本书主要讲述基于IEEE Std 1364—2001版本的Verilog硬件描述语言,着重讲述了如何Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求,本书重点关testbench的设计编写、验证和测试技术,深入讲述基于VerilogHDL的开关级、门级、寄存器传输(RTL)、行为级和系统级建模技术,从而使读者能尽快掌握硬件电路和系统的高效Verilog编程技术。书中把RTL描述、电路综合和testbench验证测试技术紧密结合,给出了多个从设计描述到验证的RTL数字电路模块和系统的设计实例。  本书的设计与讲解由浅入深,对于ASIC设计工程师来说,本书是一本非常好的自学教材,既适合高年级本科生作为教材,也适合研究生第一年的课程需求。作为本科生和研究的数字系统设计知识和计算机组织结构知识的补充,本书也很有价值。

书籍目录

第1章 基于Verilog的數字系統設計自動代1.1 數字設計流程1.1.1 設計輸入1.1.2 Verilog中的測試平台1.1.3 設計確認1.1.4 編譯和綜合1.1.5 綜合後仿真1.1.6 時序分析1.1.7 生成硬件電路1.2 Verilog硬件描述語言1.2.1 Verilog的演進1.2.2 Verilog的屬性1.2.3 Verilog語言1.3 小結習題參考文獻第2章 Verilog的寄存器傳輸級設計2.1 寄存器傳輸級設計2.1.1 控制部分和數據部分的劃分2.1.2 數據部分2.1.3 控制部分2.2 Verilog基礎2.2.1 硬件模塊2.2.2 原語例化2.2.3 連續賦值2.2.4 條件表達式2.2.5 過程塊2.2.6 模塊例化2.3 Verilog中的元件描述2.3.1 數據元件2.3.2 控制器2.4 測試平台2.4.1 一個簡單的測試例子2.4.2 任務和函數2.5 小結習題參考文獻第3章 Verilog語言的概念3.1 硬件描述語言的特征3.1.1 時序3.1.2 並發性3.1.3 時序和並發性的例子3.2 模塊基礎知識3.2.1 代碼格式3.2.2 邏輯值系統3.2.3 網線和變量3.2.4 模塊3.2.5 模塊的端口3.2.6 命名3.2.7 數字3.2.8 數組3.2.9 Verilog運算符2.2.10 Verilog的數據類型3.2.11 數組標號3.3 Verilog仿真模型3.3.1 連續賦值語句3.3.2 過程賦值語句3.4 編譯指令……第4章 組合電路描述第5章 時序電路描述第6章 設計的測試與驗證第7章 詳細建模第8章 RTL設計與測試附錄A 關鍵字列表附錄B 常用的系統任務和函數附錄C 編譯指令附錄D Verilog 正式語法定義附錄E Verilog斷言監視器

编辑推荐

  《Verilog數字系統設計︰RTL綜合、測試平台與驗證》(第2版)的設計與講解由淺入深,對于ASIC設計工程師來說,《Verilog數字系統設計︰RTL綜合、測試平台與驗證》(第2版)是一本非常好的自學教材,既適合高年級本科生作為教材,也適合研究生第一年的課程需求。作為本科生和研究的數字系統設計知識和計算機組織結構知識的補充,《Verilog數字系統設計︰RTL綜合、測試平台與驗證》(第2版)也很有價值。  《Verilog數字系統設計︰RTL綜合、測試平台與驗證》(第2版)附光盤1張。

图书封面




    Verilog數字系統設計下載



用户评论 (总计0条)

 
 

相关推荐图书资源

 

計算機與互聯網 PDF免费下载,軟件工程及軟件方法學PDF免费下载。 计算机教程网 

计算机教程网 @ 2017