line,tiggke,fsm,condition,branch,assert coverage
Posted lybinger
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了line,tiggke,fsm,condition,branch,assert coverage相关的知识，希望对你有一定的参考价值。
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的主要内容，如果未能解决你的问题，请参考以下文章
CSAGAN：LinesToFacePhoto: Face Photo Generation from Lines with Conditional Self-Attention Generative
R语言ggplot2可视化绘制线图（line plot）使用gghighlight包突出高亮线图中满足组合判断条件的线图（satisfies both condition A and B）