《System Verilog与功能验证》重点介绍硬件设计描述和验证语言System Verilog的基本语法及其在功能验证上的应用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以System Verilog为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用System Verilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行的开放式验证方法学OVM介绍如何在验证平台中实现可重用性。

曾就职于华为技术通信公司，目前在某EDA公司亚太区客户支持部门任验证产品技术主管；入行以来，参与过TD－SCDMA基带芯片，千兆无源光网芯片，高性能CPU、网络芯片的硬件辅助验证等多个研发项目，在IC设计及验证领域积累了丰富的实践经验;帮助多家公司优化设计流程,采用高级验证技术,缩短项目的研发周期;发表有《OVM实现了可重用的验证平台》，《AMBA片上总线在SOC芯片设计中的应用》等多篇学术论文,也是《The Verification Cookbook》一书的中文版译者之一;多年来致力于行业技术和产品的应用和推广,对IC设计与验证友深刻的体会和思考.