In reply to Rana Adeel Ahmad:
FSM coverage is not functional coverage. It is closer to code coverage in that can help identify what has not been tested or code that is unnecessary.
The only exception to this is if the sate of the machine is being used to communicate with another machine that is outside the design.