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

本书重点介绍硬件设计描述和验证语言ＳｙｓｔｅｍＶｅｒｉｌｏｇ的基本语法及其在功能验证上的应 用；书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，以Ｓｙｓ ｔｅｍＶｅｒｉｌｏｇ为基础结合石头、剪刀、布的应用实例，重点阐述了如何采用ＳｙｓｔｅｍＶｅｒｉｌｏｇ实现 随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行 的开放式验证方法学ＯＶＭ介绍如何在验证平台中实现可重用性。 本资料来源于网络...

systemVerilog与功能验证　（钟文枫　编著），内容清晰，内含书签，验证必备书籍