In reply to Tudor Timi:
I know that, but explicitly if i want to write functional coverage for FSM, then how to proceed?