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

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