IMC Quick Reference

Product Version: IUS 11.1

Release Date: December 2011
This guide documents analyzing metrics data using IMC. For more

detailed information, see the Incisive Metrics Center User Guide.

For detailed information on metrics data generation with ICC, see
the ICC User Guide, and for metrics data generation with Specman,
see the Usage and Concepts Guide for e Testbenches.

Metrics Data
IMC reads metrics data from the run directories. A run directory
contains all coverage databases from Specman and ICC that are
relevant to a single run. By default, metrics data is available as:
Coverage Directory (cov_work)
Scope Directory (scope)
Run Directory (test)
A scope directory will have a model file with a .ucm extension.
A run directory will have verification data files with a .ucd
extension, icc.com if COM is enabled, and a .vsof file if vsof
dumping is enabled.

IMC Options
IMC Arguments
[-help] [-status] [-load <run>] [-version]
[-nocopyright] [-64bit] [-init <file>]
[-logfile <logfile>] [-appendlog] [-nostdout]
[-keyfile <file>] [-appendkey] [-quiet]
[-verbose] [-compat <mode>] [-sourcemap <file>]
[-licqueue]
<runs> ::= [[<workdir>/]<scope>/]<test>
<workdir> is a code base or regression suite
<scope> is a configuration or topology
<test>
is a specific simulation run
<workdir> may be an absolute or relative path.
If <run> contain wildcards, then quote "<run>".

IMC: Load and Unload Coverage

load -run <run_specification>
Load coverage for selected run. With multiple commands,
loads only the last loaded run.
show
Show the currently loaded run.
unload
Unload the loaded run and associated model files.

Generate a list report to show only the types and instances in

the loaded run.
report [-summary]
[-metrics <metrics_type>]
[-text]
[-type | -inst]
[-covered |-uncovered |-excludes |-all |-both]
[-out <name>] [-append on|off]
[-showempty on|off] [-cumulative on|off]
[-local on|off]
<list>

Generate a textual summary report to show quick

snapshot view of coverage numbers.
report -detail
[-metrics <metrics_type>]
[-text]
[-type | -inst]
[-covered |-uncovered |-excludes |-all |-both]
[-out <name>] [-append on|off]
[-showempty on|off] [-source on|off]
<list>

Generate a textual detailed report of selected types or

instances in the design.
report [-summary | -detail]
[-type | -inst]
[-metrics <metrics_type>]
-html [-out <name>] [-overwrite]
[-cross <expand> | <aggregate>]
[-showempty on|off]
[-covered |-uncovered |-excludes |-all |-both]
[-source on|off]
<list>

Generate a summary or detailed report in an HTML

format.
IMC: Merge Coverage
merge_config
{-source <inst> | -sourcetype <type>}
{-target <inst> | -targettype <type>}
[-resolution {initial | union}
Specify the DUT types or instances for merge and set the
mode of merge (standard or union). This command is optional.
merge
-out <output_path> [-overwrite]
{<runs> | -runfile <runfile>}
[-metrics <metric_type>]
[-run_order {as_specified | by_timestamp}]
[-initial_model {empty | <run_path> | union_all|
primary_run}]
[-message [0 | 1]]
[-covmodeldir <modeldir>]

IMC: Report on Coverage

report -list
[-type |-inst]
[-metrics <metrics_type>]
[-out <name>] [-append on|off]
<list>
<metrics_type> :: =
[overall] [all] [code] [fsm] [functional]
[block] [expression] [toggle]
[state] [transition] [arc]
[covergroup] [assertion]
Note: Specify more than one metric type by
separating the types with a colon (:).

<metrics_type> :: =
[all] [code] [fsm] [functional]
[block] [expression] [toggle]
[covergroup] [assertion]
Note: Specify more than one metric type by
separating the types with a colon (:).
Merge coverage of two or more runs and save merged data as
a new run in <output_path>. Both .ucm and .ucd files are
stored in <output_path>.

IMC: Rank Coverage

rank_config
[-w_block [<weight>]] [-w_toggle [<weight>]]
[-w_expression [<weight>]] [-w_fsm [<weight>]]
[-w_assertion [<weight>]]
[-w_covergroup [<weight>]]
[-cpu | -sim] [-max <integer_value>]
[-target <cumulative_coverage_goal>]
[-initial_runfile <filename>]
Specify rank configuration, which includes weight of different
metrics, maximum runs to rank, target coverage to be
achieved, and the runs to be always included when ranking.
rank
{run_specification | -use_prev_merge} [-html]
[-run_order {as_specified | by_timestamp}]
-out <out_path> [-overwrite]
[-attach on]
[-type <type>] [-instance <inst>]
[-covergroup <covergroup_full_path>]
[-coverpoint <coverpoint_full_path>]
[-assertion <assertion_full_path>]
run_specification ::=
{<runs> | -runfile <runfile>}
Rank specified runs and identify the most efficient runs.

IMC: Refinement
Refinements can be applied in GUI as well as batch mode of IMC.
In the GUI mode, refinements are applied using the Refinement
drop-down. In the batch mode, refinements are applied using the
exclude command.
The refinements can be applied and saved to a file. Saved
refinements can be loaded in GUI as well as batch mode.
exclude [-type <type> | -inst <instance>]
[-metrics <metrics_type>] |
<coverage_object_specification>]
<metrics_type> :: =
[all] [block] [expression] [toggle]
[fsm] [state] [transition] [arc]
[assertion][covergroup]
[code] [functional]
<coverage_object_specification> ::=
-assertion <assertion_name> |
-covergroup <covergroup_name> |
-coveritem
<covergroup_name>.<coverpoint_name> |
-coverbin
<covergroup_name>.<coverpoint_name>.
<coverbin_name> |
-fsm <fsm_name> |
-state <fsm_name>.<state_name> |
-transition
<fsm_name>.<from_state>/|.<to_state> |
-toggle <signal_full_name>
[<bit_specification>] |
-block <index_specification> |
-expression <index_specification>
<index_specification> ::= <index> | <range>
<range> ::= <index>-<index>
<bit_specification> ::=
\[<index>\] | \[<range>\]
Exclude item(s) from total and uncovered numbers.

unexclude <options_as_for_exclude>
Un-exclude the excluded items.
load -refinement <file>
Load refinements from <file> and apply them to the
loaded run.
save -refinement <file>
Save refinements to <file> for reuse later in other IMC
sessions.
source <file>
Load a manually written exclude file or a exclude file
generated after conversion. A manually written exclude file
cannot be loaded with the load -refinement command.

IMC: Convert ICF into Exclude File

convert_icf <icf_filename>
-out <converted_exclude_filename> [-ies92]
[-filter <mark> | <undo_mark>]
Convert an ICF to an IMC exclude file. This command
converts the mark/undo_mark commands written in an ICF
to equivalent exclude/unexclude commands and saves
them in a separate file.
The exclude file generated after conversion cannot be loaded
with the load -refinement command. To apply exclusions
from the file generated after conversion, use the source
command.

sourcemap -read <file>

Read and apply mappings specified in <file>.

IMC: View History

history
List previously executed commands.

IMC: View Help

help [command]
Display help for a command. If no command is specified, list
all IMC commands.

IMC: Exit
exit
Exit from IMC.

IMC: Preferences
preferences -get all | <name> [-deep]
View a complete list of preferences (using all), or view the
value set for a specific preference (using <name>). Use
-deep to display nested preferences, if any.
preferences -set <name> <value>
Set value of a specified preference.

IMC: Set/View Grading Scheme

compat -get
View the current grading scheme.
compat -set <mode>
Set the grading scheme to be used by IMC.

IMC: Set/Remove Aliases

alias [<alias_name> <command>]
Set an alias for the specified command. Without any options,
lists the aliases set in the current IMC session.
unalias <alias_name>
Remove the specified alias.

IMC: Map/Remove Source Path

sourcemap -add <old> <new>
Map directory roots (<old> path to <new> path) for source
files that have moved.
sourcemap -remove <old> <new>
Remove the specified mapped path.
sourcemap -clear
Remove all existing mapped paths.
sourcemap -print
List currently mapped paths.
2011 Cadence Design Systems, Inc.
All rights reserved.