Verilog HDL Synthesis:A Practical Primer
副标题：无
分类号：
ISBN：9787302077145
微信扫一扫,移动浏览光盘
简介
[font color="#ff6600"]通过本书，您可以：[/font]
· 迅速开始编写可综合的verilog模型。
· 获悉哪些语言结构可用于综合，这些结构如何映射成硬件，以得到所期望的逻辑电路。
· 学习如何避免功能的不匹配。
· 立即开始使用许多常用的硬件元件模型，或针对应用稍作修改后为己所用。
[font color="#ff6600"]关于本书的评价：[/font]
“该书易于阅读，并提供了大量可综合的verilog模型范例，为学生和从事逻辑设计的工程师快速掌握verilog hdl综合方面的知识提供了捷径。”
——vassilios gerousis，摩托罗拉公司高级工程师
“该书是讲授基于verilog的综合技术的理想教材，它不仅向读者演示了各种verilog结构所得出的硬件，还展示了如何剪裁verilog程序以获得所期望的硬件。”
——jim vellenga，viewlogic systems公司
“该书揭示了仿真和综合时必然会出现差别的各种情形，精心挑选的案例使得初学者和有经验的设计者都能意识到这些在调试时难以发现但却极为普遍的陷阱。”
——carlos roman，贝尔实验室
“这是一本极好的指南书，清晰。简洁地阐明了如何设计可综合的rtl模型。”
——douglas j．smith，"hdl chip design"的作者
“该书采用示例引导的方式来组织，对verilog初学者颇有价值。”
——egbert molenkamp，university of twente(荷兰)
目录
译者序
原书序
前言
第1章 基础知识
1．1 什么是综合?
1．2 设计流程中的综合
1．3 逻辑值体系
1．4 位宽
1．4．1 数据类型
1．4．2 常量
1. 4．3 参数
1．5 值保持器的硬件建模
第2章 从verilog结构到逻辑门
2．1 持续赋值语句
2．2 过程赋值语句
2．2．1 阻塞式过程赋值
2．2．2 非阻塞式过程赋值
2．2．3 赋值对象
2．2．4 赋值限制
2．3 逻辑算符
.2．4 算术算符
2．4．1 无符号算术
2．4．2 有符号算术
2．4．3 进位的建模
2．5 关系算符
2．6 相等性算符
2．7 移位算符
2．8 向量运算
2．9 部分选取
2．10 位选取
2．10．1 常量下标
2．10．2 表达式中的非常量下标
2．10．3 赋值对象中的非常量下标
2．11 条件表达式
2．12 always语句
2．13 if语句
2．13．1 从if语句推导出锁存器
2．14 case语句
2．14．1 casez语句
2．14．2 casex语句
2．14．3 从case语句推导出锁存器
2．14．4 case分支的全列举
2．14．5 并行case分支
2．14．6 非常量分支项
2．15 再谈锁存器推导
2．15．1 带异步预置位和清零的锁存器
2．16 循环语句
2．17 触发器的建模
2．17．1 多个时钟
2．17．2 多相位时钟
2．17．3 使用异步预置位与清零
2．17．4 使用同步预置位和清零
2．18 再谈阻塞式和非阻塞式赋值
2．19 函数
2．20 任务
2．21 使用x值和z值
2．21．1 x值
2．21．2 z值
2．22 门级建模
2．23 模块实例化语句
2．23．1 使用预定义功能块
2．24 参数化的设计
第3章 建模示例
3．1 组合逻辑的建模
3．2 时序逻辑的建模
3．3 存储器的建模
3．4 编写布尔等式
3．5 有限状态机的建模
3．5．1 moore有限状态机
3．5．2 mealy有限状态机
3．5．3 状态编码
3．6 通用移位寄存器的建模
3．7 alu的建模
3．7．1 参数化的alu
3．7．2 简单alu
3．8 计数器的建模
3．8．1 二进制计数器
3．8．2 模n计数器
3．8．3 约翰逊计数器
3．8．4 格雷码计数器
3．9 参数化加法器的建模
3．10 参数化的比较器的建模
3．11 译码器的建模
3．11．1 简单译码器
3．11．2 二进制译码器
3．11．3 约翰逊译码器
3．12 多路选择器的建模
3．12．1 简单多路选择器
3．12．2 参数化的多路选择器
3．13 参数化的奇偶校验生成器的建模
3．14 三态门的建模
3．15 数据流检测模型
3．16 阶乘模型
3．17 uart模型
3．18 纸牌21点模型
第4章 模型的优化
4．1 资源分配
4．2 公共子表达式
4．3 代码移位
4．4 公因子提取
4．5 交换律和结合律
4．6 其他优化手段
4．7 触发器和锁存器的优化
4．7．1 消除触发器
4．7．2 消除锁存器
4．8 设计规模
4．9 使用括号
第5章 验证
5．1 测试平台
5．2 赋值语句中的延迟
5．3 悬空的端口
5．4 遗失的锁存器
5．5 再谈延迟
5．6 事件表
5．7 综合指令
5．8 变量的异步预置位
5．9 阻塞式和非阻塞式赋值
5．9．1 组合逻辑
5．9．2 时序逻辑
附录a 可综合的语言结构
附录b 通用库
参考文献
原书序
前言
第1章 基础知识
1．1 什么是综合?
1．2 设计流程中的综合
1．3 逻辑值体系
1．4 位宽
1．4．1 数据类型
1．4．2 常量
1. 4．3 参数
1．5 值保持器的硬件建模
第2章 从verilog结构到逻辑门
2．1 持续赋值语句
2．2 过程赋值语句
2．2．1 阻塞式过程赋值
2．2．2 非阻塞式过程赋值
2．2．3 赋值对象
2．2．4 赋值限制
2．3 逻辑算符
.2．4 算术算符
2．4．1 无符号算术
2．4．2 有符号算术
2．4．3 进位的建模
2．5 关系算符
2．6 相等性算符
2．7 移位算符
2．8 向量运算
2．9 部分选取
2．10 位选取
2．10．1 常量下标
2．10．2 表达式中的非常量下标
2．10．3 赋值对象中的非常量下标
2．11 条件表达式
2．12 always语句
2．13 if语句
2．13．1 从if语句推导出锁存器
2．14 case语句
2．14．1 casez语句
2．14．2 casex语句
2．14．3 从case语句推导出锁存器
2．14．4 case分支的全列举
2．14．5 并行case分支
2．14．6 非常量分支项
2．15 再谈锁存器推导
2．15．1 带异步预置位和清零的锁存器
2．16 循环语句
2．17 触发器的建模
2．17．1 多个时钟
2．17．2 多相位时钟
2．17．3 使用异步预置位与清零
2．17．4 使用同步预置位和清零
2．18 再谈阻塞式和非阻塞式赋值
2．19 函数
2．20 任务
2．21 使用x值和z值
2．21．1 x值
2．21．2 z值
2．22 门级建模
2．23 模块实例化语句
2．23．1 使用预定义功能块
2．24 参数化的设计
第3章 建模示例
3．1 组合逻辑的建模
3．2 时序逻辑的建模
3．3 存储器的建模
3．4 编写布尔等式
3．5 有限状态机的建模
3．5．1 moore有限状态机
3．5．2 mealy有限状态机
3．5．3 状态编码
3．6 通用移位寄存器的建模
3．7 alu的建模
3．7．1 参数化的alu
3．7．2 简单alu
3．8 计数器的建模
3．8．1 二进制计数器
3．8．2 模n计数器
3．8．3 约翰逊计数器
3．8．4 格雷码计数器
3．9 参数化加法器的建模
3．10 参数化的比较器的建模
3．11 译码器的建模
3．11．1 简单译码器
3．11．2 二进制译码器
3．11．3 约翰逊译码器
3．12 多路选择器的建模
3．12．1 简单多路选择器
3．12．2 参数化的多路选择器
3．13 参数化的奇偶校验生成器的建模
3．14 三态门的建模
3．15 数据流检测模型
3．16 阶乘模型
3．17 uart模型
3．18 纸牌21点模型
第4章 模型的优化
4．1 资源分配
4．2 公共子表达式
4．3 代码移位
4．4 公因子提取
4．5 交换律和结合律
4．6 其他优化手段
4．7 触发器和锁存器的优化
4．7．1 消除触发器
4．7．2 消除锁存器
4．8 设计规模
4．9 使用括号
第5章 验证
5．1 测试平台
5．2 赋值语句中的延迟
5．3 悬空的端口
5．4 遗失的锁存器
5．5 再谈延迟
5．6 事件表
5．7 综合指令
5．8 变量的异步预置位
5．9 阻塞式和非阻塞式赋值
5．9．1 组合逻辑
5．9．2 时序逻辑
附录a 可综合的语言结构
附录b 通用库
参考文献
Verilog HDL Synthesis:A Practical Primer
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
