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