I want to write a coverage-plan for a state machine? Can anybody provide me a coverage-plan sample that would help me understand how to write a coverage-plan?
In reply to Rana Adeel Ahmad:
You can get FSM state and transtion coverage for your state machine by just turning on code coverage in your simulator. Then you just generate a coverage report as your evidence.
I would want my test plan to state that the design must have 100% state coverage and also 100% transition coverage
You can also generate functional coverage to verify specific transition paths through the FSM. some examples of that are mentioned here:
https://verificationacademy.com/forums/coverage/fsm-state-transition-coverage-issue
If you wanted the additional functional coverage, then I would expect that the test plan would state that the coverpoint/covergroups used for the FSM transition path coverage should be at 100%
How you capture that test plan will most likely be vendor specific