本书首先对Verilog HDL的高阶语法知识进行了详细介绍，然后基于高云半导体和西门子的云源软件和Modelsim软件对加法器、减法器、乘法器、除法器和浮点运算器的设计进行了综合和仿真，最后以全球经典的无内部互锁流水级微处理器（MIPS）指令集架构（ISA）为基础，详细介绍了单周期MIPS系统的设计、多周期MIPS系统的设计，以及流水线MIPS系统的设计，并使用高云半导体的云源软件和GAO在线逻辑分析工具对设计进行综合和验证，以验证设计的正确性。
本书共8章，主要内容包括Verilog HDL规范进阶、加法器和减法器的设计和验证、乘法器和除法器的设计和验证、浮点运算器的设计和验证、Codescape的下载安装和使用指南、单周期MIPS系统的设计和验证、多周期MIPS系统的设计和验证，以及流水线MIPS系统的设计和验证等内容。
本书可作为高等学校电子信息类专业和计算机类专业学生学习CPU设计和SoC设计的参考教材，也可作为从事集成电路设计的工程师的参考用书。

何宾，国内知名的嵌入式系统和电子信息技术专家，长期从事嵌入式系统和信号处理方面的教学和科研工作。与包括意法半导体在内的全球多家知名的半导体厂商和EDA工具厂商大学计划部门保持密切合作。已经出版电子信息方面的著作近80部，内容涵盖电路仿真、电路设计、可编程逻辑器件、单片机、嵌入式系统等。典型的代表作有《STC单片机原理及应用》《EDA原理及Verilog HDL实现》《ARM Cortex-M0全可编程SoC原理及实现》《Altium Designer 15.0电路仿真、设计、验证与工艺实现权威指南》《Xilinx FPGA数字信号处理权威指南》等。

第1章 Verilog HDL规范进阶
1.1 Verilog HDL用户自定义原语
1.1.1 UDP定义
1.1.2 组合电路UDP
1.1.3 电平敏感的时序UDP
1.1.4 边沿敏感的时序UDP
1.1.5 时序UDP的初始化
1.1.6 UDP实例
1.1.7 边沿和电平触发的混合行为
1.2 Verilog HDL指定块
1.2.1 模块路径声明
1.2.2 为路径分配延迟
1.2.3 混合模块路径延迟和分布式延迟
1.2.4 驱动布逻辑
1.2.5 脉冲过滤行为的详细控制
1.3 Verilog HDL时序检查
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 Verilog HDL SDF逆向注解
1.4.1 SDF注解器
1.4.2 映射SDF结构到Verilog
1.4.3 多个注解
1.4.4 多个SDF文件
1.4.5 脉冲限制注解
1.4.6 SDF到Verilog延迟值映射
1.5 Verilog HDL的VCD文件
1.5.1 Vivado创建四态VCD文件
1.5.2 Verilog源创建四态VCD文件
1.5.3 四态VCD文件格式
1.6 编译高云FPGA仿真库
1.6.1 功能仿真库的安装
1.6.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.2.1 一位半减器的实现
2.2.2 一位全减器的实现
2.2.3 负数的表示方法
2.2.4 多位减法器的设计和验证
2.3 单个加法器实现加法和减法运算
2.3.1 一位加法器/减法器的实现
2.3.2 多位加法器/减法器的实现
2.3.3 单个加法器的设计和验证
第3章 乘法器和除法器的设计和验证
3.1 乘法器的设计和验证
3.1.1 基-2布斯算法的设计
3.1.2 基-2布斯算法的验证
3.1.3 基-2流水线布斯乘法器的设计
3.1.4 基-2流水线布斯乘法器的验证
3.1.5 基-4流水线布斯算法的设计
3.1.6 基-4流水线布斯算法的验证
3.2 除法器的设计和验证
3.2.1 基于长除法的除法器的设计
3.2.2 基于长除法的除法器的验证
3.2.3 基于恢复除法的除法器的设计
3.2.4 基于恢复除法的除法器的验证
3.2.5 基于非恢复除法的除法器的设计
3.2.6 基于非恢复除法的除法器的验证
第4章 浮点运算器的设计和验证
4.1 浮点数的表示方法
4.1.1 单精度表示方法
4.1.2 双精度表示方法
4.2 调用浮点库的浮点数运算的实现和验证
4.2.1 调用浮点库的浮点数运算的实现
4.2.2 调用浮点库的浮点数运算的验证
第5章 Codescape下载安装和使用指南
5.1 Codescape工具的功能
5.2 Codescape工具的下载和安装
5.2.1 Codescape工具的下载
5.2.2 Codescape工具的安装
5.3 Codescape的设计流程
5.3.1 启动Codescape工具
5.3.2 创建新的设计工程
5.3.3 分析启动引导代码
5.3.4 修改main.c文件
5.3.5 编译设计文件
5.3.6 分析编译后的代码
第6章 单周期MIPS系统的设计和验证
6.1 MIPS实现的指令功能
6.1.1 MIPS32指令编码格式
6.1.2 处理器所实现的指令格式
6.2 单周期MIPS系统的设计
6.2.1 建立新的设计工程
6.2.2 添加通用寄存器集设计文件
6.2.3 添加程序计数器设计文件
6.2.4 添加控制器设计文件
6.2.5 添加算术逻辑单元设计文件
6.2.6 添加处理器顶层设计文件
6.2.7 添加数据存储器设计文件
6.2.8 添加指令存储器设计文件
6.2.9 添加系统顶层设计文件
6.3 生成并添加存储器初始化文件
6.3.1 建立新的设计工程
6.3.2 添加makefile文件
6.3.3 添加链接描述文件
6.3.4 添加汇编语言源文件
6.3.5 生成HEX文件
6.3.6 添加存储器初始化文件
6.4 单周期MIPS系统的验证
6.4.1 GAO软件工具概述
6.4.2 添加GAO配置文件
6.4.3 配置GAO参数
6.4.4 添加物理约束文件
6.4.5 添加引脚约束条件
6.4.6 下载设计到FPGA
6.4.7 启动GAO软件工具
6.4.8 设计总结和启示
6.5 单周期MIPS系统添加外设的设计
6.5.1 设计思路
6.5.2 存储空间映射
6.5.3 复制并添加设计文件
6.5.4 添加地址译码器设计文件
6.5.5 添加多路选择器设计文件
6.5.6 添加GPIO控制器设计文件
6.5.7 添加PWM控制器设计文件
6.5.8 修改顶层设计文件
6.5.9