ICCR: toggle exclude for bits of a bus

You probably need to add the -bitexclude option.

Thanks for answering. Where should I find more info about this option? I was expecting to find a note in a documentation related to ICCR/ncelab -covfile or related to the command in the coverage command file "set toggle excludefile". Should I look anywhere else? Sergio

 Hi Sergio,

The bitexclude option is an argument to the set_toggle_excludefile option used in a coverage configuration file.  The description is as follows:

set_toggle_excludefile [-nolog] [-bitexclude] <file>

where

• -nolog ensures that no log file is generated to dump the list of signals that were excluded for toggle coverage. In the absence of this option, a log file named toggle_exclude.log is generated.

• -bitexclude allows exclusion of bit selects of vector signals. With this option, the patterns in the exclude file are matched against the expanded names of each vector bit.

• <file> is the name of a file that contains a list of signal names that are to be excluded from toggle coverage. A warning is reported if <file> includes signals of instances/modules, which are deselected using the deselect_coverage command in the coverage configuration file.

you can find specific documentation on how to write the excluded signals file by looking in the ICC User Guide (<install>/doc/iccug/iccug.pdf, look in chapter 8 "Generating Coverage Data"), or you can also open that document within cdnshelp.

Hope that helps

Micke

Hi Micke,

thanks it works with IUS 6.11-usr4.

Most probably I was looking into an old doc (ICC UG Feb, 2006), which is not reporting this option.

 Ciao

Sergio

hi,

can u pls give an example for usage of set_toggle_excludefile and also do we have to use this command in Makefile or else where?

check 12 chapter in the iccr user guide

Hi

             I have used the set_toggle_excludefile to select a file and excluded the bits that I dont require. Is there a way where the ICCR tool can report the bits that I excluded in a report other than the toggle_exclude.log. What I precisely mean is that , when I try to generate an HTML report, the usual format is "Covered items/Total items /Marked items". Is there a format for  "Covered items/Total items /excluded items" for toggle coverage. I am asking this because it is easy to verify if the numbers add up. If not, is there any way to see how many bits and what bits are excluded in the HTML report??

ICCR Version: 13.20.003 

  Merge file HTML report generation : report_html -module -all betsafd * -output ./reports/coverage/html

ICCR is a deprecated tool now, you might consider using its replacement, Incisive Metrics Center (command: imc).

IMC has much better reporting capabilities as well as being much easier to use. You should be able to migrate an ICCR *.icf file forwards into IMC so that you don't lose any work you've done.