本书是面向数字芯片设计与验证的入门书，是微电子相关专业的基础课程。
本书以理论基础为核心，以参考实例为主线，帮助读者迅速建立数字芯片设计与验证的概念和设计基础。全书包括两篇共7章：数字电路及Verilog篇（第1～5章）讲解数字逻辑电路基础，硬件描述语言Verilog的基础语法，对应的实例分析，以及组合逻辑电路和时序逻辑电路的设计与验证的参考实例；System Verilog篇（第6章和第7章）讲解包括兼顾设计和验证的语言System Verilog的基础语法，对应的实例分析，以及由简单到相对复杂的运算器的设计和验证的参考实例。
本书对上述内容根据实际工程项目经验，做了精简和重点、难点分析，并提供了丰富的实例和源代码供读者学习参考。书中内容通俗易懂，并且易于上机实践，提升学习效果，适合初学者入门，也可作为高等院校和培训机构相关专业的教学参考书。

马骁，东南大学集成电路专业硕士，已申请芯片验证领域多个专利，网易云课堂“芯片验证：UVM理论与实战”“芯片验证：Python脚本理论与实战”等课程的作者。

数字电路及Verilog篇
第1章 引言（15min）
1.1 基础概念
1.1.1 模拟信号和数字信号
1.1.2 计算机和芯片的组成关系
1.1.3 芯片设计的流程
1.1.4 芯片设计的方向
1.1.5 学习数字电路、Verilog和System Verilog的必要性
1.2 设计与验证的常识
1.2.1 设计与验证的关系
1.2.2 验证方案要素
1.2.3 测试平台组成
1.2.4 覆盖率的分类
1.3 本章小结
第2章 数字逻辑电路基础（12min）
2.1 数制及其表示
2.1.1 数制
2.1.2 有符号数
2.2 布尔代数
2.3 基本逻辑电路
2.3.1 与门电路
2.3.2 或门电路
2.3.3 非门电路
2.3.4 锁存器
2.3.5 触发器
2.4 逻辑电路结构
2.4.1 建立时间和保持时间
2.4.2 组合逻辑电路
2.4.3 时序逻辑电路
2.5 硬件描述的抽象级别
2.6 本章小结
第3章 Verilog基础（85min）
3.1 数值表示
3.2 数据类型
3.2.1 变量
3.2.2 线网
3.2.3 参数
3.2.4 字符串
3.3 运算符
3.3.1 基本运算符
3.3.2 按位运算符
3.3.3 逻辑运算符
3.3.4 关系运算符
3.3.5 移位运算符
3.3.6 拼接运算符
3.3.7 缩减运算符
3.3.8 三目运算符
3.3.9 复制运算符
3.3.10 位选择运算符
3.3.11 运算符的优先级别
3.4 程序块语句
3.4.1 顺序执行程序块
3.4.2 并行执行程序块
3.4.3 混合执行程序块
3.5 结构语句
……
System Verilog篇
参考文献