Verification of the state machine

In reply to chr_sue:
but code coverage has FSM transitions and FSM states. If DUT has state machine then we can use the same? or is it advised to have functional coverage for same?