FSM Coverage enables users to determine which states and transitions in the state machine diagram have been executed during simulation.