电建论坛

 找回密码
 注册
查看: 1797|回复: 0

[论文] 《Verilog数字系统设计—RTL综合、测试平台与验证(第二版)》(清晰PDF/书签)

[复制链接]
发表于 2011-1-26 17:12:56 | 显示全部楼层 |阅读模式
本帖最后由 coolguy008 于 2011-1-26 17:26 编辑


作  者:(美)纳瓦毕 著,李广军 等译
出 版 社:电子工业出版社
出版时间:2007-8-1
版  次:1
页  数:274
字  数:515000
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.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断言监视器

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

小黑屋|手机版|Archiver|电力建设网站 ( 苏ICP备16030970号-1 )|网站地图

GMT+8, 2024-3-29 23:31 , Processed in 0.194191 second(s), 27 queries .

Powered by Discuz! X3.4 Licensed

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表