VMM Planner-验证计划自动化

论文摘要

当今在设计复杂性越来越大的情况下,对于数字电路功能验证的要求也越来越高。其中最大的一个挑战莫过于如何衡量验证工作的真正的进度以及预估整个项目的结束时间,所需资源等,提高验证工作的可预见性。通常设计团队会用电子数据表格的形式来撰写验证计划,根据用脚本从模拟结果文件中提取的所需要的信息来获得验证工作进度情况的信息。由于,验证过程中通常会有大量的验证数据信息,也可能在验证的过程中改变某些设计功能。采用这种做法通常比较复杂,系统也很难维护。VMM Planner项目可以自动地将验证数据和验证的计划联系起来,使验证计划成为验证过程本身的一个可以执行的部分。当验证过程自动化工具可以读取何报告验证计划时,验证计划变得可执行。验证管理者靠VMM Planner这种自动化工具可以很方便地获取,跟踪和度量验证工作的进展情况。

论文目录

• 摘要
• Abstract
• 引言
• 第1章 基于可执行性验证计划的验证
• 1.1 可执行性验证计划的好处
• 1.2 层次化的验证计划
• 1.3 验证计划的重用
• 1.4 验证计划的跟踪
• 1.4.1 根据计划跟踪项目
• 1.4.2 验证计划的更新完善
• 1.5 验证计划的报告
• 1.6 验证计划自动化工具VMM Planner的提出
• 第2章 VMM Planner的介绍
• 2.1 VMM planner的概述
• 2.2 HVP（Hierarchical Verification Plan）
• 2.3 VMM planner的结构
• 2.4 VMM Planner的应用层
• 2.5 验证计划描述和报告
• 2.5.1 验证计划的结构
• 2.5.2 用于生成状态报告的反标数据源
• 2.5.3 验证计划的描述和报告生成的两个流程
• 第3章 HVP语言介绍
• 3.1 基本语法
• 3.1.1 计划（Plan）的定义
• 3.1.2 属性（Attribute）声明
• 3.1.3 Annotation声明
• 3.1.4 测度（Metrics）声明
• 3.1.5 功能特性项声明（Feature Declaration）
• 3.1.6 属性值（Attribute Value）的声明
• 3.1.7 Annotation Value的定义
• 3.1.8 目标（Goal）的定义
• 3.1.9 测量项（Measure）的定义
• 3.1.10 子计划（subplan）的定义
• 3.1.11 计划的修改
• 3.2 HVP文件的应用
• 第4章 基于HVP语言的验证计划的生成和浏览
• 第5章 验证计划的报告（URG）
• 第6章 VMM Planner电子数据表格流程
• 6.1 电子表格形式流程的介绍
• 6.2 VMM Planner Spreadsheet Annotator的介绍
• 6.3 HVP数据表中作为标签的保留关键字
• 6.3.1 HVP Plan表单
• 6.3.2 HVP Metric定义表单
• 6.3.3 HVP Attribute定义表单
• 6.3.4 关键字
• 6.3.5 计划的修正
• 6.3.6 Spreadsheet Annotator的例子
• 第7章 VMM planner的扩展
• 小结
• 参考文献
• 后记