NAME
vcoverage - Verilog/SystemC coverage analyzer
SYNOPSIS
vcoverage <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.
DISTRIBUTION
The latest version is available from CPAN and from http://www.veripool.com/.
Copyright 2001-2005 by Wilson Snyder. This package is free software; you can redistribute it and/or modify it under the terms of either the GNU Lesser General Public License or the Perl Artistic License.
AUTHORS
Wilson Snyder <wsnyder@wsnyder.org>