Hello,
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.
Thanks,
A