HVP，hier verification plan，建立整个验证的plan，在验证后期，通过vcs的coverage db可以直接进行反标，
包括反标code coverage，function coverage，testcase等。
coverage的database，包括vcs产生的db，自己拿到的external的data，
hvp提供一个feature list，pri，当前的design phase等信息，最终生成一份反标后的报告。
end user app包括两种方式，urg report，
spreadsheet annotator。(需要反标的excel的情况下)
一般描述一个verfication plan的方式有：
1) HVP language，通过verdi和dve的gui界面创建有同样的效果。
2) 使用一个spreadsheet，格式需要是MS excel，openoffice 2.0或更新的版本。(需要保存为xml格式)
spreadsheet的方式创建hvp，需要一定格式：
1) matrics和attri需要单独的sheet，plan单独的sheet。
2) plan的sheet中说明各个feature和sub feature，还有一些内建的attri/annotate。
3) plan中单独的column指定，measure source和matics的项。
使用hvp language的方式创建plan，
plan...endplan，创建一个plan的域，其中可以声明其他的subplan，并且其他的sub_plan可以通过include将文件添加进来，
plan中的attribute，内建的有：string----owner，int---at_least，int----test_expected，也可以自己声明，attribute，主要来用描述feature的一些特性，
plan中的annotation，内建的有：int----weight，string----description，也可以自己声明。annotation，也是用来描述feature的一些特性的。
attribute与annotation的区别主要在于，attribute会按hier的向下传递。
plan的很多信息都是有数据类型的，如enum，real，int，string等，定义时，需要注意。
feature的定义，包括名字，measure名字，其中的matrics类型，source的路径等。
feature slave_write;
measure test，Cond Demo;
source = "**test1**"
endmeasure
endfeature
其中matrics的类型，vcs内部支持的包括，Line，Cond，FSM，Toggle，Branch，Assert，Group，Group.count
SnpsAvg，AssertResult，test，test.percent，test.compeltion这些。
measure之后的Demo表示的是当前measure的名字，这个在所有的feature中都是可以相同的。但是之前的matrics类型，每个feature都是不同的。
source中，指定的都是code，coverage group，coverage bin，test等的hier信息，可以使用通配符。