Verdi-Using FSM coverage & Assert coverage

资料来源

(1) coverage user guide and tutorial

1.Using FSM coverage

注:如果为了方便查看fsm的哪些跳转没有cover到,可以勾选面板中的show as list选项;

 

 

 

 

2.Assert coverage