Verilog数字系统设计——RTL综合、测试平台与验证(第二版)(附光盘)
分類: 图书,计算机/网络,行业软件及应用,
作者: (美)纳瓦毕著,李广军等译
出 版 社: 电子工业出版社
出版时间: 2007-8-1字数: 515000版次: 1页数: 274印刷时间: 2007/08/01开本:印次:纸张: 胶版纸I S B N : 9787121047671包装: 平装内容简介
本书主要讲述基于IEEE Std 1364—2001版本的Verilog硬件描述语言,着重讲述了如何Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求,本书重点关testbench的设计编写、验证和测试技术,深入讲述基于VerilogHDL的开关级、门级、寄存器传输(RTL)、行为级和系统级建模技术,从而使读者能尽快掌握硬件电路和系统的高效Verilog编程技术。书中把RTL描述、电路综合和testbench验证测试技术紧密结合,给出了多个从设计描述到验证的RTL数字电路模块和系统的设计实例。
本书的设计与讲解由浅入深,对于ASIC设计工程师来说,本书是一本非常好的自学教材,既适合高年级本科生作为教材,也适合研究生第一年的课程需求。作为本科生和研究的数字系统设计知识和计算机组织结构知识的补充,本书也很有价值。
目录
第1章基于Verilog的数字系统设计自动代
1.1数字设计流程
1.1.1设计输入
1.1.2Verilog中的测试平台
1.1.3设计确认
1.1.4编译和综合
1.1.5综合后仿真
1.1.6时序分析
1.1.7生成硬件电路
1.2 Verilog硬件描述语言
1.2.1Verilog的演进
1.2.2Verilog的属性
1.2.3Verilog语言
1.3小结
习题
参考文献
第2章Verilog的寄存器传输级设计
2.1寄存器传输级设计
2.1.1控制部分和数据部分的划分
2.1.2数据部分
2.1.3控制部分
2.2Verilog基础
2.2.1硬件模块
2.2.2原语例化
2.2.3连续赋值
2.2.4条件表达式
2.2.5过程块
2.2.6模块例化
2.3Verilog中的元件描述
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.9Verilog运算符
2.2.10Verilog的数据类型
3.2.11数组标号
3.3Verilog仿真模型
3.3.1连续赋值语句
3.3.2过程赋值语句
3.4编译指令
……
第4章组合电路描述
第5章时序电路描述
第6章设计的测试与验证
第7章详细建模
第8章RTL设计与测试
附录A关键字列表
附录B常用的系统任务和函数
附录C编译指令
附录DVerilog 正式语法定义
附录EVerilog断言监视器