| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 引言 | 第6-7页 |
| 第1章 基于可执行性验证计划的验证 | 第7-12页 |
| ·可执行性验证计划的好处 | 第7-8页 |
| ·层次化的验证计划 | 第8-9页 |
| ·验证计划的重用 | 第9页 |
| ·验证计划的跟踪 | 第9-10页 |
| ·根据计划跟踪项目 | 第9-10页 |
| ·验证计划的更新完善 | 第10页 |
| ·验证计划的报告 | 第10-11页 |
| ·验证计划自动化工具VMM Planner的提出 | 第11-12页 |
| 第2章 VMM Planner的介绍 | 第12-16页 |
| ·VMM planner的概述 | 第12-13页 |
| ·HVP(Hierarchical Verification Plan) | 第13页 |
| ·VMM planner的结构 | 第13-14页 |
| ·VMM Planner的应用层 | 第14-15页 |
| ·验证计划描述和报告 | 第15-16页 |
| ·验证计划的结构 | 第15-16页 |
| ·用于生成状态报告的反标数据源 | 第16页 |
| ·验证计划的描述和报告生成的两个流程 | 第16页 |
| 第3章 HVP语言介绍 | 第16-31页 |
| ·基本语法 | 第17-30页 |
| ·计划(Plan)的定义 | 第17页 |
| ·属性(Attribute)声明 | 第17页 |
| ·Annotation声明 | 第17-18页 |
| ·测度(Metrics)声明 | 第18-19页 |
| ·功能特性项声明(Feature Declaration) | 第19-21页 |
| ·属性值(Attribute Value)的声明 | 第21页 |
| ·Annotation Value的定义 | 第21页 |
| ·目标(Goal)的定义 | 第21-22页 |
| ·测量项(Measure)的定义 | 第22-26页 |
| ·子计划(subplan)的定义 | 第26-29页 |
| ·计划的修改 | 第29-30页 |
| ·HVP文件的应用 | 第30-31页 |
| 第4章 基于HVP语言的验证计划的生成和浏览 | 第31-32页 |
| 第5章 验证计划的报告(URG) | 第32-33页 |
| 第6章 VMM Planner电子数据表格流程 | 第33-41页 |
| ·电子表格形式流程的介绍 | 第33-35页 |
| ·VMM Planner Spreadsheet Annotator的介绍 | 第35-36页 |
| ·HVP数据表中作为标签的保留关键字 | 第36-41页 |
| ·HVP Plan表单 | 第37-38页 |
| ·HVP Metric定义表单 | 第38页 |
| ·HVP Attribute定义表单 | 第38页 |
| ·关键字 | 第38-41页 |
| ·计划的修正 | 第41页 |
| ·Spreadsheet Annotator的例子 | 第41页 |
| 第7章 VMM planner的扩展 | 第41-43页 |
| 小结 | 第43-44页 |
| 参考文献 | 第44-46页 |
| 后记 | 第46-47页 |
