The structural code coverage domain targets the design implementation ... that are out of the scope of arc coverage of the FSM under analysis. The card identification state machine shown in figure 3 ...