This has been asked and answered before, but due to link rot I am unable to locate standard FSM styles as documented, and I'm not sure where to look.
I have an FSM that we cannot seem to get to be extracted by the coverage tool and we tried a few things to see if it would pick up, but we were not successful. Are there any pragmas that are supported to tell the tool "this is the state variable" and "this is the logic that governs next_state"?
If you are a tech support person answering this with a link please consider quoting/copying its relevant contents into the reply so that future seekers of this information with the same question do not have to repeatedly post in a dead forum that nobody can really effectively use.
If you logged into support.cadence.com and searched for "FSM coverage" you should have seen one of the top hits as "Extracting FSM coverage using pragmas" - if this didn't pop up you might need to check which products you've set in your profile preferences or simply hit the red "X" next to the "Search result based on your preferences" at the top of the page.
The page I've linked to above describes the pragma syntax that you need to use if the automatic FSM extraction isn't recognising your modelling style.
Note that we don't generally copy-paste documentation into the forum because the forum is open to the public, but the products and their documentation are proprietary and confidential for Cadence's customers only. The forum is not intended for customer support - we have the support.cadence.com site for that.