verilator_coverage1
Verilator coverage analyzer
Usage
verilator_coverage --help
verilator_coverage --version
verilator_coverage --annotate
<obj>
verilator_coverage --report
summary,hier
<datafiles> ...
verilator_coverage --report
hier
<datafiles> ...
verilator_coverage -write
merged.dat
<datafiles> ...
verilator_coverage -write-info
merged.info
<datafiles> ...
For documentation
see
<https://verilator.org/guide/latest/exe_verilator_coverage.html>.
Argument summary
<filename> Specify input data filename, default "coverage.dat"--annotate <output_dir> Directory name for source annotation.--annotate-all All files should be shown.--annotate-min <count> Minimum occurrence count for uncovered.--annotate-points Annotates info from each coverage point.--debug Enable debugging with the debug executable.--debugi <level> Set debug level using the debug executable.--filter-type <regex> Keep only records of given coverage type.--help Displays this message and version and exits.--include-reset-arcs Include reset arcs in FSM arc summaries.--levels <depth> Limit displayed hierarchy report depth.--rank Compute relative importance of tests.--report <kind>[,<kind>...] Generate reports: summary, hier, or hierarchy.--unlink With --write, unlink all inputs--version Displays program version and exits.--write <filename> Write aggregate coverage results.--write-info <filename.info> Write lcov .info.+libext+<ext>+<ext>... Extensions for Verilog files.+define+<var>+<value> Defines the given variable.-D<var>=<value> Defines the given variable.+incdir+<dir> Add directory for finding include files.-I<dir> Add directory for finding include files.-y <dir> Specifies module search directory.
Distribution
The latest version is available from <https://verilator.org>.
Copyright 2003-2026 by Wilson Snyder. This program is free software; you can redistribute it and/or modify the Verilator internals under the terms of either the GNU Lesser General Public License Version 3 or the Perl Artistic License Version 2.0.
SPDX-FileCopyrightText: 2003-2026 Wilson Snyder SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
Releases
6 releases since Debian 9 (Stretch); the text changed 5 times.