Beruflich Dokumente
Kultur Dokumente
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>".
<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: 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: 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.