• 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. Hardware/Software Co-Development, Verification…
  3. Regarding Coverage excluding a module

Stats

  • Locked Locked
  • Replies 4
  • Subscribers 49
  • Views 21632
  • 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

Regarding Coverage excluding a module

Mohan P
Mohan P over 12 years ago
Hi i am Mohan

I am running, coverage report,, when i it is completed and the coverage report is showing covering all modules.

But i don't need some of modules to be covered which this i can improve coverage report.

I have entered like this to :
deselect_coverage -module -betsa file_name.v  in iccr.key file.
 
but while doing so it is not showing any coverage improvement.

Please plese can any help out.
  • Cancel
  • StephenH
    StephenH over 12 years ago

    Mohan, iccr.key is a file generated by iccr, logging all the interactive commands that you typed.

    Try putting those commands into a Tcl file with some different name like iccr.tcl that won't get overwritten by iccr.

    In addition, the deselect_coverage command takes a list of module names, but you gave it a file name... 

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • Mohan P
    Mohan P over 12 years ago
    Ok Thanks for your reply.
     
    Please help  me to sort out this issue.
     
    Ex: There are a.v,b.v & c.v files in one Top_module.v
     
    then the coverage will be around 80%. To improve the coverage then any one (a/b/c.v) file,  if we want to remove from coverage.
     
     
    What will be the command to deselect any (a/b/c.v) files and how to use and where to be used to improve coverage.

    Please help to sort out this problem.............................

    With Regards,
    Mohan P
    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • StephenH
    StephenH over 12 years ago

    Mohan, deselect_coverage works only on modules or instances, not on file names.

    You can use iccr or imc to manually exclude blocks of code, but that uses the GUI or the "mark" command in Tcl. Look at the section on "Manual Marking of Coverage" in the cdnshelp documentation tool for more detail on that.

    Another possibility is to use the pragma "coverage off" inside the verilog code to turn off coverage. For example:

    // top_module.v
    module top ();
    // pragma coverage off 
    `include "a.v"
    // pragma coverage on
    endmodule

     

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • hellohi
    hellohi over 12 years ago

    Hi,

    I have a doubt, whether its possible to view the excluded list(refinement list) in the coverage HTML report generated using IMC ? Please help on this

    • 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