首页 > 其他 > 详细

line,tiggke,fsm,condition,branch,assert coverage

时间:2018-11-26 10:52:30      阅读:353      评论:0      收藏:0      [点我收藏+]

Line coverage统计的一般是模块里面赋值行的覆盖率。

toggle统计的是模块里面的端口和信号的赋值翻转率(0->1, 1->0)。

FSM统计的是模块里状态寄存器的所有跳转可能的覆盖率。

condition统计的是模块内的条件赋值覆盖率,如assign x = enable ? y : z; 统计enable为0和1的情况。

branch统计的是模块内if...else...分支的覆盖情况。

assert统计的是模块内的assertion。

line,tiggke,fsm,condition,branch,assert coverage

原文:https://www.cnblogs.com/lybinger/p/10018967.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!