高级验证方法学

本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设计人员的培训教材。