NAME

vcoverage - Verilog/SystemC coverage analyzer

SYNOPSIS

vcoverage datafile datafile...

DESCRIPTION

Vcoverage reads the specified data file and generates annotated source code with coverage metrics annotated. By default logs/coverage.pl is read.

Additional Verilog-standard arguments specify the search paths necessary to find the source code that the coverage analysis was performed on.

To get correct coverage percentages, you may wish to read logs/coverage.pl into Emacs and do a M-x keep-lines to include only those statistics of interest.

For Verilog conditions that should never occur, you should add a $stop statement. This will remove the coverage during the next build.

ARGUMENTS

--all-files

Specifies all files should be shown. By default, only those source files which have low coverage are written to the output directory.

--help

Displays this message and program version and exits.

--min count

Specifies the minimum occurrence count that should be flagged. Defaults to 10.

--o output_directory

Sprcifies the directory name that source files with annotated coverage data should be written to.

--write filename

Specifies the aggregate coverage results, summed across all the files, should be written to the given filename. This is useful in scripts to combine many sequential runs into one master coverage file.

VERILOG ARGUMENTS

The following arguments are compatible with GCC, VCS and most Verilog programs.

+libext+ext+ext...

Defines the extensions for Verilog files.

+define+var+value =item -Dvar=value

Defines the given variable.

+incdir+dir =item -Idir

Specifies a directory for finding include files.

-f file

Specifies a file containing additional command line arguments.

-y dir

Specifies a module search directory.

SEE ALSO

Verilog::Getopt, SystemC::Coverage

AUTHORS

Wilson Snyder <wsnyder@wsnyder.org>