资料来源

(1) coverage user guide and tutorial

1.Using FSM coverage

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