注册 登录
ET创芯网论坛(EETOP) 返回首页

imicman的个人空间 http://blog.eetop.cn/?1518355 [收藏] [复制] [分享] [RSS]

日志

coverage calculation formula

已有 435 次阅读2016-8-10 22:55 |个人分类:验证杂谈

Coverpoint

Weighted coverage (Actual goal / Target goal) 
where,
-  Target goal  is the value set using the  goal  option. If not set, 90 is assumed.
-  Actual goal  is  (Covered bins / Total bins) * 100 . The value displayed is rounded off.
-  Weighted coverage  is the normalized positive number <= 1,
which is calculated as  Actual goal / Target goal

Covergroup 

Weighted coverage (Actual goal / Target goal) 
where,
- Target goal  is the value set using the  goal  option. If not set, 90 is assumed.
-  Actual goal  is calculated as:
((weight_of_cov_item_1*(hit%_of_cov_item_1) + weight_of_cov_item_n*(hit%_of_cov_item_n)) / (weight_of_cov_item_1 + weight_of_cov_item_n)
where, 
cov_item  includes all the coverpoints and crosses in the covergroup.
hit%_of_cov_item  is  (Covered bins / Total bins) * 100
-  Weighted coverage  is the normalized positive number <= 1, which is calculated as  Actual goal / Target goal
Note: The weight can be set either using the type_option keyword or using the option keyword. 

Data-oriented coverage

Cumulative coverage (Weighted total coverage / Weighted total goal) 
where,
-  Weighted total goal  is  sum_of_weight_of_all_covergroups * 100 .
-  Weighted total coverage  is calculated as:
(weight_of_covergrp_1 * actual_goal_of_covergrp_1)  +(weight_of_covergrp_n * actual_goal_of_covergrp_n)
-  Cumulative coverage  is the normalized positive number <= 1,Weighted total coverage / Weighted total goal

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

关闭

站长推荐上一条 /2 下一条

小黑屋|手机版|Archiver|ET创芯网 ( 京ICP备:10050787号 京公网安备:110105001212 )

GMT+8, 2019-4-25 08:09 , Processed in 0.028694 second(s), 11 queries , Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

返回顶部