高级验证方法学（中文版）（by mentor）

mentor的验证书籍 第 1 章使用手册指南.................................................................................................................. 12 序 ............................................................................................................................................ 12 绪论 ........................................................................................................................................ 15 手册的使用 .................................................................................................. .......................... 16 本书的结构 .................................................................................................................... 16 形式 ................................................................................................................................ 17 构造和运行实例 ............................................................................................................ 17 实例代码 ........................................................................................................................ 18 获取手册的套件 ............................................................................................................ 19 符号说明 ................................................................................................................................ 19 组件 ................................................................................................................................ 20 接口 ................................................................................................................................ 20 互连 ................................................................................................................................ 22 通道 ................................................................................................................................ 23 总结 ................................................................................................................................ 23 命名惯例 ................................................................................................................................ 23 第 2 章验证原理.......................................................................................................................... 28 两个问题 ................................................................................................................................ 29 测试平台 ................................................................................................................................ 31 第一个测试平台 .................................................................................................................... 34 第二个测试平台 .................................................................................................................... 41 第 3 章 AVM综述......................................................................................................................... 46 验证构件 ................................................................................................................................ 46 同心圆的测试平台架构 ................................................................................................ 46 处理器（Transactor） ................................................................................................... 48 环境组件 ........................................................................................................................ 49 分析组件 ........................................................................................................................ 49 控制器 ............................................................................................................................ 50 两个域 .................................................................................................................................... 50 面向对象编程风格 ................................................................................................................ 51 作为组件的对象 ............................................................................................................ 51 继承 ................................................................................................................................ 54 接口 ................................................................................................................................ 55 总结 ........................................................................................................................................ 58