verilator_coverage - Online în cloud

PROGRAM:

NUME

verilator_coverage - Analizor de acoperire Verilator

REZUMAT

verilator_coverage --help
verilator_coverage --version

verilator_coverage --annotate

verilator_coverage -write merged.dat -read ...

Verilator_coverage procesează rapoartele de acoperire Verilator.

Cu --anotate, citește fișierul de date specificat și generează cod sursă adnotat cu
valorile de acoperire adnotate. Dacă există mai multe puncte de acoperire pe aceeași linie,
vor fi inserate linii suplimentare pentru a raporta punctele suplimentare.

Argumentele suplimentare Verilog-standard specifică căile de căutare necesare pentru a găsi
codul sursă pe care a fost efectuată analiza de acoperire.

Pentru a obține procente corecte de acoperire, poate doriți să citiți logs/coverage.pl în Emacs și
faceți un Mx keep-line pentru a include doar acele statistici de interes.

Pentru condițiile Verilog care nu ar trebui să apară niciodată, ar trebui să adăugați o instrucțiune $stop. Acest
va elimina acoperirea la următoarea construcție.

ARGUMENTE

nume de fișier
Specificați fișierul de date de intrare, poate fi repetat pentru a citi mai multe intrări. Dacă nu există niciun fișier de date
specificat, implicit coverage.dat este citit.

--adnota directorul de ieșire
Specifică numele directorului care ar trebui să fie fișierele sursă cu date de acoperire adnotate
scris la.

--adnotare-toate
Specifică toate fișierele care trebuie afișate. În mod implicit, numai acele fișiere sursă care au
acoperire redusă sunt scrise în directorul de ieșire.

--anotate-min conta
Specifică numărul minim de apariții care ar trebui semnalat dacă punctul de acoperire
nu include un prag specificat. Implicit la 10.

--Ajutor
Afișează acest mesaj și versiunea programului și iese.

--rang
Tipăriți un raport experimental care listează importanța relativă a fiecărui test în acoperire
toate punctele de acoperire. Raportul arată „Acoperit”, care indică numărul de
punctele pe care le acoperă testul; se consideră că un test acoperă un punct dacă are o găleată
număr de cel puțin 1. Coloana „rank” are un număr mai mare t indică testul este mai mare
important, iar rangul 0 înseamnă că testul nu trebuie rulat pentru a acoperi punctele.
„RankPts” indică numărul de puncte de acoperire la care va contribui acest test în general
acoperire dacă toate testele sunt efectuate în ordinea de la cel mai înalt la cel mai mic rang.

--deconectați
Când utilizați --write pentru a combina datele de acoperire, deconectați toate fișierele de intrare după ieșire
a fost creat.

--versiune
Afișează versiunea programului și iese.

--scrie nume de fișier
Specifică rezultatele de acoperire agregate, însumate pentru toate fișierele, ar trebui să fie
scris la numele de fișier dat. Acest lucru este util în scripturi pentru a combina multe secvențiale
rulează într-un fișier principal de acoperire.

VERILOG ARGUMENTE

Următoarele argumente sunt compatibile cu GCC, VCS și majoritatea programelor Verilog.

+libext+ext+ext...
Definește extensiile pentru fișierele Verilog.

+definiți+a fost+valoare =articolul -Da fost=valoare
Definește variabila dată.

+incdir+dir =articolul -Idir
Specifică un director pentru găsirea fișierelor includ.

-f fişier
Specifică un fișier care conține argumente suplimentare pentru linia de comandă.

-y dir
Specifică un director de căutare pentru modul.

DISTRIBUTION

Cea mai recentă versiune este disponibilă de lahttp://www.veripool.org/>.

Copyright 2003-2015 de Wilson Snyder. Verilator este un software gratuit; îl poți redistribui
și/sau modificați elementele interne ale Verilatorului în conformitate cu termenii GNU Lesser General
Licența publică versiunea 3 sau licența artistică Perl versiunea 2.0.

AUTORI

Wilson Snyder[e-mail protejat]>

Utilizați verilator_coverage online folosind serviciile onworks.net