本书基于企业实际需求，理论结合实例，由易到难讲解了数字集成电路常用验证方法、流程规范和UVM高级验证方法。 主要内容包括：数字集成电路验证技术的发展、数字集成电路验证基础、数字集成电路验证的常用Verilog编程语法、被测电路功能点Case抽取、断言、带有约束条件的随机激励、覆盖率、结果自动对比、UVM验证、仿真验证EDA工具、实例解析、综合项目实例。 本书可供集成电路验证的入门级读者，以及集成电路、芯片、半导体及相关行业的工程技术人员使用，还可作为教材供高校相关专业师生学习参考。