System Verilog数字系统设计

图书标准信息

• 作者 [英]茨沃林斯基 著；夏宇闻 译
• 出版社 电子工业出版社
• 出版时间 2011-02
• 版次 1
• ISBN 9787121124563
• 定价 39.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 262页
• 字数 448千字

【内容简介】

SystemVerilog是21世纪电子设计师必须掌握的最重要的语言之一，因为它是设计／验证现代复杂电子系统核心芯片的至关重要的手段。本书讲授用SystemVerilog语言设计／验证数字系统的基本概念和具体方法。在介绍基本语法的基础上，阐述了如何使用RTL级的SystemVerilog构成可综合的数字电路／组件／系统，以及如何使用行为级的SystemVerilog搭建测试平台对设计进行验证。
《SystemVerilog数字系统设计》针对的读者群是电子、自动化和计算机工程专业的本科生与研究生，本书也适合已经掌握Verilog和VHDL硬件描述语言的工程师自学新一代的数字系统设计／验证语言。

【目录】

第1章序言
1.1现代数字设计
1.2使用硬件描述语言进行设计
1.2.1设计自动化
1.2.2什么是SystemVerilog
1.2.3什么是VHDL
1.2.4仿真
1.2.5综合
1.2.6可重用性
1.2.7验证
1.2.8设计流程
1.3CMOS技术
1.3.1逻辑门
1.3.2ASIC（专用集成电路）和FPGA（现场可编程门阵列）
1.4可编程逻辑
1.5电气属性
1.5.1噪声容限
1.5.2扇出
总结
参考资料
练习题
第2章组合逻辑设计
2.1布尔代数
2.1.1值
2.1.2操作符
2.1.3逻辑门的真值表
2.1.4布尔代数的定律
2.1.5德摩根定理
2.1.6香农扩展定理
2.2逻辑门
2.3组合逻辑设计
2.3.1逻辑最小？
2.3.2卡诺图
2.4时序
2.5数字码
2.5.1整数
2.5.2定点数
2.5.3浮点数
2.5.4文字数字字符
2.5.5格雷码
2.5.6奇偶校验位
总结
参考资料
练习题
第3章使用SystemVerilog门模型描述的组合逻辑
3.1模块和文件
3.2标识符、空格和注释
3.3基本门模型
3.4简单的网表
3.5逻辑值
3.6连续赋值语句
3.6.1SystemVerilog操作符
3.7延迟
3.8参数
3.9测试平台
总结
参考资料
练习题
第4章组合逻辑构件
4.1多路选择器
4.1.12选1多路选择器
4.1.24选1多路器
4.2译码器
4.2.12到4译码器
4.2.2参数化的译码器
4.2.3七段译码器
4.3优先编码器
4.3.1无关项和唯一性问题
4.4加法器
4.4.1功能模型
4.4.2逐位进位加法器
4.4.3任务
4.5奇偶校验器
4.6三态缓冲器
4.6.1多值逻辑
4.7组合逻辑块的测试平台
总结
参考资料
练习题
第5章时序逻辑块的SystemVerilog模型
第6章同步时序设计
第7章复杂时序系统的设计
第8章测试平台的编写
第9章SystemVerilong的仿真
第10章SystemVerilong的综合
第11章数字系统的测试
第12章可测试性设计
第13章异步时序电路设计
第14章与模拟电路的接口
附录ASystemVerilog与Verilog的关系
部分练习题的参考答案
参考文献