本书聚焦于数字片上系统(SoC)设计领域，从数字集成电路的发展历程与基础知识入手，首先介绍了硬件描述语言Verilog HDL的设计规则和核心EDA工具VIVADO与Design Compiler的使用方法，随后详细讨论了数字SoC设计、验证过程中的关键技术，并对难点问题进行了归纳和总结。此外，本书提供了多个数字SoC设计、验证的实际案例，循序渐进地向读者展示了数字SoC从规划、设计、仿真、验证再到综合实现的全流程。  本书内容由浅入深，能使读者深刻了解数字SoC设计过程和基本方法，既适合作为微电子与集成电路专业的高年级本科生及从事数字SoC领域研究的研究生的教材，又可为从事相关技术的初期从业人员提供技术参考。