• 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. IMC Coverage

Stats

  • Locked Locked
  • Replies 3
  • Subscribers 65
  • Views 21509
  • 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

IMC Coverage

MDK1234
MDK1234 over 13 years ago

Hi,

i am working with imc coverage tool for ip coverage.

certain if-elsif conditions are not covered even if i write various test patterns for it. even if i write all combinations in a testpattern for those specific condition, the tool reports some combinations as uncovered. Help/suggestions awaited!

  • Cancel
  • StephenH
    StephenH over 13 years ago

    Without seeing your uncovered code, and your coverage scoring options, it's not possible to say for sure. However I would suspect that it may be due to the way expressions are covered by default. Short-circuit evaluation means that the first part of the expression that determines its value will be the one that gets scored, and any subsequent terms are never executed or scored. This is following the normal HDL language rules. Look in the documentation ("cdnshelp" tool) at the information about short-circuit evaluation in the ICC User Guide.

    You can try searching for set_expr_scoring in the docs to get quickly to the relevant control options. 

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • MDK1234
    MDK1234 over 13 years ago

    Thanks StephenH.

    I used the command set_expr_scoring -no_vhdl_shortcircuit in the coverage config file and it worked as required. But then too atleast one combination remains uncovered always.

    Kindly Suggest on it.

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • StephenH
    StephenH over 13 years ago

    OK, I'm glad that helped. Regarding the remaining combinations that are not covered, I can't offer any explanation since you didn't post any example of your code.

    I understand that you may not want to share it in a public forum, so I would recommend that you go to http://support.cadence.com/ and file a service request. You can safely exchange more detailed info about your design with the Cadence support engineers and they will be able to explain the appropriate settings based on your exact issue.

    We can always post the solution back here in the forum for others to see once we know the details... 

    • 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