diff --git a/bin/verilator b/bin/verilator index adc98903e..aefe28058 100755 --- a/bin/verilator +++ b/bin/verilator @@ -547,7 +547,7 @@ Coverage analysis adds statements at each code flow change point, which are the branches of IF and CASE statements, a super-set of normal Verilog Line Coverage. At each such branch a unique counter is incremented. At the end of a test, the counters along with the filename and line number -corresponding to each counter are written into logs/coverage.pl. +corresponding to each counter are written into logs/coverage.dat. Verilator automatically disables coverage of branches that have a $stop in them, as it is assumed $stop branches contain an error check that should @@ -3816,10 +3816,10 @@ At the end of your test, call VerilatedCov::write passing the name of the coverage data file (typically "logs/coverage.dat"). Run each of your tests in different directories. Each test will create a -logs/coverage.pl file. +logs/coverage.dat file. After running all of your tests, verilator_coverage is executed. -Verilator_coverage reads the logs/coverage.pl file(s), and creates an +Verilator_coverage reads the logs/coverage.dat file(s), and creates an annotated source code listing showing code coverage details. For an example, after running 'make test' in the Verilator distribution, diff --git a/bin/verilator_coverage b/bin/verilator_coverage index a210cb9e8..a073dc7c5 100755 --- a/bin/verilator_coverage +++ b/bin/verilator_coverage @@ -173,7 +173,7 @@ additional points. 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 +To get correct coverage percentages, you may wish to read logs/coverage.dat into Emacs and do a M-x keep-lines to include only those statistics of interest. diff --git a/src/VlcMain.cpp b/src/VlcMain.cpp index 51c8b0147..cadf5c28f 100644 --- a/src/VlcMain.cpp +++ b/src/VlcMain.cpp @@ -144,7 +144,7 @@ int main(int argc, char** argv, char** env) { top.opt.parseOptsList(argc-1, argv+1); if (top.opt.readFiles().empty()) { - top.opt.addReadFile("vlt_coverage.pl"); + top.opt.addReadFile("vlt_coverage.dat"); } {