2018年11月26日

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

摘要: Line coverage统计的一般是模块里面赋值行的覆盖率。 toggle统计的是模块里面的端口和信号的赋值翻转率(0->1, 1->0)。 FSM统计的是模块里状态寄存器的所有跳转可能的覆盖率。 condition统计的是模块内条件赋值覆盖率,如assign x = enable ? y : z 阅读全文

posted @ 2018-11-26 10:34 lybinger 阅读(739) 评论(0) 推荐(0)

导航