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...
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.vmodule top ();// pragma coverage off `include "a.v"// pragma coverage onendmodule
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