【文件属性】:
文件名称:高级验证方法学(中文版)(by mentor)
文件大小:3.35MB
文件格式:PDF
更新时间:2020-10-21 08:26:25
verification
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