国外数字系统设计经典教材系列：Verilog嵌入式数字系统设计教程

　　第1章 引言和方法学
　　1.1 数字系统和嵌入式系统
　　1.2 二进制表示法和电路元件
　　1.3 实际的电路
　　1.3.1 集成电路
　　1.3.2 逻辑电平
　　1.3.3 静态负载电平
　　1.3.4 电容负载和传播延迟
　　1.3.5 线路延迟
　　1.3.6 时序
　　1.3.7 电源
　　1.3.8 面积和芯片封装
　　1.4 模型
　　1.5 设计方法学
　　1.6 全章总结
　　1.7 进一步阅读的参考资料
　　练习题
　　第2章 组合电路基本知识
　　2.1 布尔函数与布尔代数
　　2.1.1 布尔函数
　　2.1.2 布尔代数
　　2.1.3 布尔方程的Verilog模型
　　2.2 二进制编码
　　2.2.1 使用向量的二进制编码
　　2.2.2 位错误
　　2.3 组合元件和集成电路
　　2.3.1 解码器和编码器
　　2.3.2 多路选择器
　　2.3.3 低电平有效逻辑
　　2.4 组合电路的验证
　　2.5 本章总结
　　2.6 进一步阅读的参考资料
　　练习题
　　第3章 数字基础
　　3.1 无符号整数
　　3.1.1 无符号整数的编码
　　3.1.2 无符号整数的运算
　　3.1.3 格雷码（Gray code）
　　3.2 有符号整数
　　3.2.1 有符号整数的编码
　　3.2.2 有符号整数的操作
　　3.3 定点数
　　3.3.1 定点数的编码
　　3.3.2 对定点数的操作
　　3.4 浮点数
　　3.5 本章总结
　　3.6 进一步阅读的参考资料
　　练习题
　　第4章 时序电路基础
　　4.1 存储单元
　　4.1.1 触发器和寄存器
　　4.1.2 移位寄存器
　　4.1.3 锁存
　　4.2 计数器
　　4.3 顺序数据路径和控制
　　4.4 由时钟同步的时序方法学
　　4.4.1 异步输入
　　4.4.2 时序电路的验证
　　4.4.3 异步时序的方法学
　　4.5 本章总结
　　4.6 进一步阅读的参考资料
　　练习题
　　第5章 存储器
　　5.1 一般概念
　　5.2 存储器的类型
　　5.2.1 异步静态RAM
　　5.2.2 同步静态RAM
　　5.2.3 多端口存储器
　　5.2.4 动态RAM
　　5.2.5 只读存储器
　　5.3 错误的检测与校正
　　5.4 本章总结
　　5.5 进一步阅读的参考资料
　　练习题
　　第6章 实现技术和工艺
　　6.1 集成电路
　　6.1.1 集成电路的制造
　　6.1.2 SSI和MSI逻辑系列
　　6.1.3 专用集成电路
　　6.2 可编程逻辑器件
　　6.2.1 可编程逻辑阵列
　　6.2.2 复杂可编程逻辑器件
　　6.2.3 现场可编程门阵列
　　6.3 集成电路的封装和印刷线路板
　　6.4 互连和信号完整性
　　6.5 本章总结
　　6.6 进一步阅读的参考资料
　　练习题
　　第7章 处理器基础
　　7.1 嵌入式计算机的组织
　　7.2 指令和数据
　　7.2.1 Gumnut处理器的指令集合
　　7.2.2 Gumnut汇编器
　　7.2.3 指令编码
　　7.2.4 其余的CPU指令集
　　7.3 与存储器的接口
　　7.4 本章总结
　　7.5 进一步阅读的参考资料
　　练习题
　　第8章 接口
　　8.1 输入／输出设备
　　8.1.1 输入设备
　　8.1.2 输出设备
　　8.2 I／o控制器
　　8.2.1 简单的I／O控制器
　　8.2.2 自主管理的I／O控制器
　　8.3 并行总线
　　8.3.1 总线的复用
　　8.3.2 三态总线
　　8.3.3 漏极开路总线
　　8.3.4 总线协议
　　8.4 串行传输
　　8.4.1 串行传输技术
　　8.4.2 串行接口标准
　　8.5 I／0软件
　　8.5.1 巡回检测
　　8.5.2 中断
　　8.5.3 定时器
　　8.6 本章总结
　　8.7 进一步阅读的参考资料
　　练习题
　　第9章 加速器
　　9.1 一般概念
　　9.2 案例研究：视频边缘检测
　　9.3 加速器的验证
　　9.4 本章总结
　　9.5 进一步阅读的参考资料
　　练习题
　　第10章 设计方法学
　　10.1 设计流程
　　10.1.1 体系结构的探索
　　10.1.2 功能设计
　　10.1.3 功能验证
　　10.1.4 综合
　　10.1.5 物理设计
　　10.2 设计的优化
　　10.2.1 面积优化
　　10.2.2 时序优化
　　10.2.3 功率优化
　　10.3 为测试而专门添加的设计
　　10.3.1 故障模型和故障仿真
　　10.3.2 扫描设计和边界扫描
　　10.3.3 内建自测试
　　10.4 非技术性问题
　　10.5 总结
　　10.6 本章总结
　　10.7 进一步阅读的参考资料
　　附录A 知识测试问答答案
　　第1章
　　1.2 节
　　1.3 节
　　1.4 节
　　1.5 节
　　第2章
　　2.1 节
　　2.2 节
　　2.3 节
　　2.4 节
　　第3章
　　3.1 节
　　3.2 节
　　3.3 节
　　3.4 节
　　第4章
　　4.1 节
　　4.2 节
　　4.3 节
　　4.4 节
　　第5章
　　5.1 节
　　5.2 节
　　5.3 节
　　第6章
　　6.1 节
　　6.2 节
　　6.3 节
　　6.4 节
　　第7章
　　7.1 节
　　7.2 节
　　7.3 节
　　第8章
　　8.1 节
　　8.2 节
　　8.3 节
　　8.4 节
　　8.5 节
　　第9章
　　9.1 节
　　9.2 节
　　9.3 节
　　第10章
　　10.1 节
　　10.2 节
　　10.3 节
　　10.4 节
　　附录B 电子电路入门
　　B.1 元件
　　B.1.1 电压源
　　B.1.2 电阻
　　B.1.3 电容
　　B.1.4 电感
　　B.1.5 M()SF、ETs(金属氧化物半导体场效应晶体三极管)
　　B.1.6 二极管
　　B.1.7 双极型晶体三极管
　　B.2 电路
　　B.2.1 基尔霍夫(Kirchhoff)定律
　　B.2.2 电阻、电容和电感(R、C、L)的串联和并联
　　B.2.3 电阻电容(RC)电路
　　B.2.4 电阻一电感一电容(RLC)电路
　　B.3 进一步阅读的参考资料
　　附录c 用于综合的Verilog
　　c.1 数据类型和操作
　　C.2 组合逻辑功能
　　C.3 时序电路
　　C.4 存储器
　　附录D Gumnut微控制器核
　　D.1 Gumnut指令集
　　D.1.1 算术和逻辑指令
　　D.1.2 移位指令
　　D.1.3 存储器和输入／输出指令
　　D.1.4 分支指令
　　D.1.5 跳转指令
　　D.1.6 杂项指令
　　D.2 Gumnut总线接口
　　索引

　　阿申登（Peter J，Ashenden）是阿德莱德太学的副教授靶，Ashenden Design公司的创办人这是一家专门从事电子设计自动化EDA业务的咨询公司Ashenden博士一直专心致力于IEEE VHDL标准委员会的工作，并在VHDL语言的进一步发展中，缝续发挥重要作用 在2003—2005年期间，他曾担任IEEE设计自动化标准委员会的主席，该委员会负责管理EDA领域所有IEEE标准的开发和制定，他目前是VHDL，VHDLAMS及罗枣塞塔规范语言Rosetta specification language标准的技术编辑。
　　译者简介：
　　夏字闻，多年来一直从事数字逻辑和嵌入式系统的设计研究，与国际设计界有着密切的技术联系。近十年来一直从事Verifog HDL教学和设计研究工作，是国内第一本verilog数字系统没计教材的作者，并受到广泛好评。

　　《Verilog嵌入式数字系统设计教程》通过系统设计的背景来讲解数字设计，全面覆盖了与嵌入式系统设计相关的各个方面，其中各章节不仅讲述了逻辑设计本身，还阐述了处理器、存储器、输入/输出接口和实现技术。 《Verilog嵌入式数字系统设计教程》特别强调在数字系统设计时，除了考虑逻辑设计外，还必须考虑用现实世界的工程方法来实现嵌入式系统的设计存在的许多约束条件和制约因素，诸如电路面积、电路的互连、接口的需求、功耗和速度性能等，重点讲解基于硬件描述语言（HDL）的设计和验证。全书列举了大量的Verilog例子，通过把数字逻辑作为嵌入式系统设计的一部分进行讲解，有效地加深读者对硬件的理解。《Verilog嵌入式数字系统设计教程》可为计算机工程、计算机科学和电子工程学科的学生学习数字设计打下坚实的基础。