• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Community Forums
  2. Functional Verification
  3. Extract FSM explicity

Stats

  • Locked Locked
  • Replies 1
  • Subscribers 66
  • Views 6291
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Extract FSM explicity

snitkau
snitkau over 2 years ago

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

  • Cancel
  • StephenH
    StephenH over 2 years ago

    Hi Patrick.

    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.

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information