You don’t need to write functional coverage for this. Tools can generate this kind of coverage for you automatically. It’s called FSM coverage and it consists of coverage that each state has been reached and that all possible state arcs have been traversed.