acoperit - Online în Cloud

PROGRAM:

NUME

Acoperit - Verilog Code Coverage Analyzer

SINTAXĂ

acoperit [global_options] scor [Opțiuni]
acoperit [global_options] îmbina [Opțiuni] baza_de_date_existente database_to_merge+
acoperit [global_options] raportează [Opțiuni] fişier_bază de date
acoperit [global_options] rank [Opțiuni] database_to_rank database_to_rank+
acoperit [global_options] exclude [Opțiuni] exclusion_id+ fişier_bază de date

DESCRIERE

Acoperit este un instrument de analiză a acoperirii codului Verilog care poate fi util pentru a determina cum
Ei bine, o suită de teste de diagnosticare acoperă designul testat. Citește acoperit în
Fișiere de proiectare Verilog și un fișier dump formatat VCD, LXT2 sau FST dintr-o rulare de diagnosticare și
generează un fișier de bază de date numit fișier de bază de date cu descrieri de acoperire (CDD), folosind fișierul
comanda scor. Comanda de scor a Covered poate fi folosită alternativ pentru a genera un fișier CDD
și un modul Verilog pentru utilizarea Covered ca modul VPI într-un banc de testare care poate fi obținut
informațiile de acoperire în paralel cu simularea (vezi UTILIZAREA ACOPERIT AS A VPI MODULUL).
fișierul CDD rezultat poate fi îmbinat cu alte fișiere CDD din același design pentru a crea
acoperire acumulată, folosind comanda merge. Odată ce un fișier CDD este creat, utilizatorul poate
utilizați Covered pentru a genera diverse rapoarte de acoperire care pot fi citite de om într-un format sau utilizare ASCII
GUI Covered pentru a vedea în mod interactiv rezultatele acoperirii, folosind comanda raport. Dacă
sunt găsite puncte de acoperire neacoperite pe care utilizatorul dorește să le excludă din acoperire, acest lucru poate
poate fi gestionat fie cu comanda de excludere din linia de comandă, fie în GUI. Când sunt multiple
Fișierele CDD sunt create din același design, utilizatorul poate obține un clasament al acoperirii
acele fișiere CDD pentru a determina o ordine ideală pentru testarea regresiei, precum și pentru a înțelege
care fișiere CDD pot fi excluse din regresii din cauza incapacității lor de a atinge noi
puncte de acoperire. În plus, ca parte a comenzii de scor al Covered, starea cursei
posibilitățile se găsesc în fișierele de proiectare și pot fi fie ignorate, fie marcate ca avertismente
sau marcate ca erori. Specificând condițiile de cursă ca erori, poate fi folosit și Covered
ca un verificator de condiție de cursă.

GLOBAL OPŢIUNI

Aceste opțiuni sunt plasate imediat după cuvântul cheie acoperit în linia de comandă. ei
poate fi folosit pentru orice comandă (cu excepția lui -v și -h) și au același efect în
fiecare caz.

-B Eclipsa. Întâlnește toate numele sensibile la design înainte de a le trimite
format care poate fi citit de utilizator. Această opțiune este utilă atunci când partajați rezultatul cu
dezvoltatorii de Covered în scopuri de depanare.

-D Depanați. Afișați informații utile pentru problemele instrumentului de depanare. Notă: Aceasta
opțiunea este acum disponibilă numai atunci când acoperirea este construită cu --enable-debug
opțiune de configurare.

-h Ajutor. Afișați aceste informații de utilizare.

-P [nume de fișier]
Modul de profilare. Pornește profilerul intern de cod sursă care va produce a
raport de profilare al comenzii de rulare fie către cel specificat nume de fișier sau, dacă nu
nume de fișier este prezent, într-un fișier numit acoperit.prof. Această opțiune este disponibilă numai
dacă --enable-profiling opțiunea de configurare a fost specificată când a fost acoperit
construit.

-Q Mod silențios. Face ca toate ieșirile să fie suprimate.

-T Modul concis. Face ca toate ieșirile să fie suprimate, cu excepția avertismentului
mesaje și informațiile din antetul acoperite.

-v Versiune. Afișează versiunea acoperită curentă.

COMANDE

scor Analizează fișierele Verilog și fișierele dump VCD/LXT2/FST pentru a crea fișierele de bază de date utilizate pentru
fuzionarea și raportarea.

îmbina Îmbină două sau mai multe fișiere de bază de date într-unul singur.

raportează Generează rapoarte de acoperire care pot fi citite de om din fișierul bazei de date sau pornește acoperirea
GUI de raportare.

rank Generează un raport care specifică o ordine ideală pentru rularea regresiilor și specifică
Fișierele CDD care nu adaugă informații noi de acoperire (și, prin urmare, pot fi excluse
din regresii, dacă se dorește).

exclude
Permite unul sau mai multe puncte de acoperire (identificate cu ID-uri de excludere într-un raport
generate cu opțiunea -x) pentru a avea proprietatea de excludere comutată (include în
exclude sau exclude pentru a include) și, dacă proprietatea de excludere este setată să excludă,
opțional, permiteți ca un motiv pentru excludere să fie asociat cu acesta și stocat în
fișierul CDD specificat.

SCOR COMMAND

Următoarele opțiuni sunt valabile pentru comanda scor:

-A Bine Determină utilizarea aserțiilor OVL pentru acoperirea aserțiilor. Acest steag trebuie dat
la comanda scor dacă în raport sunt necesare valori de acoperire a afirmațiilor
comanda.

-cdd Baza de date
La fel ca și opțiunea -o. Util atunci când fișierul CDD este marcat este o intrare în scor
comanda.

-cli [nume de fișier]
Determină utilizarea depanatorului din linia de comandă în timpul scorării fișierului de descărcare VCD/LXT2/FST.
If nume de fișier este specificat, acest fișier conține informații salvate într-un apel anterior
pentru a salva istoricul pe CLI și determină reluarea istoricului conținut în acest fișier
înainte de promptul de comandă CLI. Dacă nume de fișier nu este specificat, promptul CLI va fi
să fie disponibil imediat la începutul simulării. Această opțiune este disponibilă numai
când Covered este configurat cu --enable-debug opțiune.

-conservator
Dacă această opțiune este specificată, orice blocuri logice care conțin cod care ar putea provoca
discrepanțele de acoperire care conduc la rezultate de acoperire potențial inexacte sunt
eliminat din considerarea de acoperire. Consultați Ghidul utilizatorului pentru mai multe informații despre ce
tipul de cod poate duce la inexactități de acoperire.

-dumpvars [nume de fișier]
Dacă această opțiune este specificată fără opțiunile -vcd sau -lxt, designul este analizat,
se creează un fișier CDD și se numește un fișier de modul Verilog de nivel superior nume de fișier (daca asta
este specificată valoarea) sau „covered_dump.v” (dacă nume de fișier nu este specificat) este creat.
Acest fișier este utilizat în compilarea simulatorului pentru a crea un fișier dump care este
optimizat pentru a obține acoperire pentru fișierul CDD specificat. Dacă fie -vcd fie
Sunt specificate opțiunile -lxt, această opțiune nu are efect. Consultați Ghidul utilizatorului pentru
mai multe informații despre cum să utilizați această opțiune.

-D define_name
Definește numele specificat la 1.

-D define_name=valoare
Definește numele specificat la valoarea specificată.

-e nume_bloc
Numele modulului, sarcinii, funcției sau blocului de început/sfârșit numit pentru a nu se înscrie. Cauzele toate
subblocurile din arborele Verilog sub acest bloc nu vor fi, de asemenea, punctate.

-ea Exclude toate blocurile întotdeauna de la a fi luate în considerare pentru acoperire.

-ec Exclude toate misiunile continue de la a fi luate în considerare pentru acoperire.

-ei Exclude toate blocurile inițiale de la a fi luate în considerare pentru acoperire.

-dacă Exclude toate blocurile finale de la a fi luate în considerare pentru acoperire.

-ep [nume]
Exclude tot codul găsit între pragma „// acoperire dezactivată” și „// acoperire activată”.
încorporate în design. Dacă nume este specificat, cuvântul cheie din pragma va
să fie schimbat cu acel nume în loc de „acoperire” implicită, permițând utilizatorului
schimbați aspectul pragma dacă aceasta intră în conflict cu orice alte instrumente.

-F module_name=[in_expr,]out_expr
Indică parserului unde să găsească FSM-ul situat în modul nume_modul care
are o expresie de stare de intrare numită în_expr și expresia de stare de ieșire numită
out_expr. Dacă în_expr nu este specificat, out_expr este folosit atât ca intrare cât și
expresia stării de ieșire.

-f nume de fișier
Numele fișierului care conține argumente suplimentare de analizat.

-fst nume de fișier
Numele fișierului de descărcare FST cu care să punctați designul. Dacă -vcd, -lxt sau această opțiune nu este
utilizat, Covered va crea doar un fișier CDD inițial din design și nu va crea
încercați să punctați designul.

-g [nume_modul=](1|2|3)
Permite utilizatorului să limiteze analizatorul la o anumită generație a Verilog
standard pentru un anumit modul sau întregul design, unde 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Dacă module_name= este specificat, analizatorul folosește
a specificat standardul Verilog numai pentru modulul respectiv, permițând restului designului
utilizați standardul global. În mod implicit, standardul global este setat la cel mai recent
versiunea (3). Această opțiune poate fi specificată de mai multe ori pentru un anumit apel către
comanda scor; totuși, dacă opțiunea -g specifică mai mult decât valoarea globală (adică,
fara modul= prefix), va fi folosită doar ultima valoare a opțiunii.

-h Afișează aceste informații de ajutor.

-I director
Director pentru a găsi fișierele Verilog incluse.

-i nume_instanță
Referință ierarhică Verilog la modulul care se află în partea de sus a arborelui care urmează să fie
marcat. Această opțiune este necesară dacă modulul pentru verificarea acoperirii nu este de nivel superior
modul în proiectare. Dacă nu este specificat, -t valoarea este utilizată.

-lxt nume de fișier
Numele fișierului de descărcare LXT2 cu care să punctați designul. Dacă -vcd, -fst sau această opțiune nu este
utilizat, Covered va crea doar un fișier CDD inițial din design și nu va crea
încercați să punctați designul.

-m mesaj
Permite utilizatorului să specifice informații despre acest fișier CDD. Aceste informații pot
fie orice (mesajele cu spații albe ar trebui să fie înconjurate de ghilimele duble
note), dar poate include ceva despre argumentele de simulare mai ușor
legați fișierul CDD la simularea acestuia în scopul recreării fișierului CDD.

-o Baza de date
Numele bazei de date în care să scrieți informațiile de acoperire. Dacă nu este specificat, rezultatul
numele fișierului bazei de date va fi „cov.cdd”.

-p nume de fișier
Ignoră numele de fișier implicit folosit pentru a stoca rezultatul intermediar al preprocesorului.

-P parameter_scope=valoare
Efectuează un defparam pe parametrul specificat cu valoare.

-rS Atunci când verificările condițiilor de cursă sunt încălcate, blocurile logice care încalcă probleme sunt eliminate
din considerarea acoperirii și toate rezultatele sunt suprimate în ceea ce privește cursa
încălcarea condiției. Consultați documentația utilizatorului pentru mai multe informații despre cursă
verificarea stării de utilizare.

-rW Atunci când verificările condițiilor de cursă sunt încălcate, blocurile logice care încalcă probleme sunt eliminate
din considerarea acoperirii și încălcarea condiției de cursă este scoasă. Aceasta este
comportamentul implicit pentru gestionarea condiției de cursă. Consultați documentația utilizatorului pentru mai multe
informații despre utilizarea verificării stării de cursă.

-re Când verificările condițiilor de cursă sunt încălcate, motivul este scos și punctajul se termină
imediat. Consultați documentația utilizatorului pentru mai multe informații despre starea cursei
verificarea folosirii.

-rI[=modul nume]
If modul nume nu este specificat, verificarea condiției de cursă este omisă cu totul pentru
întregul design. Dacă modul nume este specificat, verificarea condiției de cursă este omisă
pentru modulul specificat. Consultați documentația utilizatorului pentru mai multe informații despre cursă
verificarea stării de utilizare.

-rP[=nume])
Utilizează pragma încorporate pentru ignorarea anumitor coduri din verificarea stării de cursă
considerație (dacă nume este specificat că este folosit ca cuvânt cheie pragma). Vezi utilizator
documentație pentru mai multe informații despre utilizarea verificării condițiilor de cursă.

-S Emite statistici de simulare după finalizarea simularii. Această informație este
momentan util doar pentru dezvoltatorii de Covered.

-t nivel superior modul
Specifică numele modulului celui mai sus, care va fi măsurat. Rețineți că
acest modul nu trebuie să fie cel mai de sus modul din simulator. Acest câmp
este necesar pentru toate apelurile la comanda scor.

-top_ts interval de timp
Această opțiune este valabilă numai atunci când au fost specificate opțiunile -vpi sau -dumpvars.
Această opțiune permite utilizatorului să specifice un interval de timp pentru modulul Verilog generat
creat cu opțiunea -vpi/-dumpvars. Dacă această opțiune nu este specificată, nu
intervalul de timp va fi creat pentru modulul generat. Valoarea a interval de timp is
specificat după cum urmează:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Dacă sunt necesare spații albe între diferitele valori, plasați întregul conținut al
interval de timp între ghilimele duble.

-ts număr
Când are loc scorul, această opțiune permite utilizatorului să vadă cât de departe are simulatorul
progresat prin ieșirea pasului de timp curent la ieșirea standard. Valoarea a
număr specifică câți pași de timp pot fi simulați înainte de ieșire
intervalul de timp curent (rezultă în mai puține apeluri către fluxul de ieșire).

-T (min|tip|max)
Specifică ce valoare să folosești atunci când întâlnești o expresie de întârziere sub forma:
min:tip:max. Dacă această opțiune nu este specificată, selectarea „typ” este utilizată în mod implicit.

-v nume de fișier
Numele fișierului Verilog specific de punctat.

-vcd nume de fișier
Numele fișierului de descărcare VCD cu care să punctați designul. Dacă -lxt, -fst sau această opțiune nu este
utilizat, Covered va crea doar un fișier CDD inițial din design și nu va crea
încercați să punctați designul.

-vpi [nume de fișier]
Dacă această opțiune este specificată fără opțiunile -vcd, -lxt sau -fst, designul este
analizat, se creează un fișier CDD și se numește un fișier de modul Verilog de nivel superior nume de fișier
(dacă este specificată această valoare) sau „covered_vpi.v” (dacă nume de fișier nu este specificat) este
creat împreună cu un fișier de tabel PLI numit nume de fișier.ta b sau „covered_vpi.v.ta b”.
Ambele fișiere sunt utilizate în compilarea simulatorului pentru a utiliza Covered ca
un modul VPI. Dacă sunt specificate opțiunile -vcd, -lxt sau -fst, această opțiune
nu are niciun efect.

-Wignore
Suprimați ieșirea avertismentelor în timpul parsării și simulării codului.

-y director
Director pentru a găsi fișiere Verilog nespecificate.

+libext+.extensie[+.extensie]*+
Extensii ale fișierelor Verilog pentru a permite punctarea.

MERGE COMMAND

Următoarele opțiuni sunt valabile pentru comanda de îmbinare:

-d nume de fișier
Director pentru a căuta fișiere CDD de inclus. Această opțiune este utilizată împreună
cu -ext opțiunea care specifică extensia fișierului de utilizat pentru determinare
care fișiere din director sunt fișiere CDD.

-R (primul|ultimul|toate|nou|vechi)
Specifică modul în care se gestionează rezolvarea motivelor de excludere. Dacă două sau mai multe fișiere CDD
fiind comasate au motive de excludere specificate pentru același punct de acoperire, cel
motivul de excludere trebuie rezolvat (cu excepția cazului în care este aceeași valoare șir). Dacă
această opțiune nu este specificată și se găsește un conflict, acoperit va fi interactiv
solicitați intrare pentru fiecare excludere cu privire la modul de gestionare. Dacă această opțiune este
specificat, îi spune Covered cum să gestioneze toate conflictele din motivele de excludere. The
valorile sunt următoarele:.br

primul - Se utilizează fișierul CDD care conținea primul motiv de excludere.

ultimul - Se utilizează fișierul CDD care conținea ultimul motiv de excludere.

toate - Se folosesc toate motivele de excludere (concatenate).

nou - Utilizați cel mai nou motiv de excludere specificat.

vechi - Folosiți cel mai vechi motiv de excludere specificat.

-ext extensie
Folosit împreună cu -d opțiune. Daca nu -ext opțiunile sunt specificate pe
linia de comandă, este utilizată valoarea implicită „.cdd”. Rețineți că un punct (.) ar trebui
fi specificat.

-f nume de fișier
Numele fișierului care conține argumente suplimentare de analizat.

-h Afișează aceste informații de ajutor.

-m mesaj
Permite utilizatorului să specifice informații despre acest fișier CDD. Aceste informații pot
fie orice (mesajele cu spații albe ar trebui să fie înconjurate de ghilimele duble
semne).

-o nume de fișier
Fișier pentru a scoate noua bază de date. Dacă acest argument nu este specificat,
baza_de_date_existente este folosit ca nume de ieșire a bazei de date.

RAPORT COMMAND

Următoarele opțiuni sunt valide cu comanda raport:

-b Dacă logica combinațională este raportată și expresia este un vector
funcționare, această opțiune scoate informațiile de acoperire pe biți.

-c If -v este specificat, afișează numai valorile acoperite. Implicit este afișarea neacoperită
numai informații.

-d (s|d|v)
Nivelul de detaliu de furnizat în informațiile raportului de acoperire (s = rezumat, d =
detaliat, v = verbos). Implicit este rezumatul.

-e Afișează toate punctele de acoperire excluse în fișierul de raport împreună cu oricare specificat
motive de excludere dacă -d d or -d v sunt specificate optiunile.

-f nume de fișier
Numele fișierului care conține argumente suplimentare de analizat.

-h Afișează aceste informații de ajutor.

-i Oferă informații de acoperire pentru instanțe în loc de modul.

-m [l][t][c][f][r][a][m]
Tip(e) de valori de raportat. l = linie, t = comutare, c = logica combinațională, f = stare FSM
și tranziție de stare, r=condiții de rasă, a=aserțiune, m=memorie. Implicit este ltcf.

-o nume de fișier
Fișier pentru a transmite informațiile raportului către. Ieșirea implicită este standard.

-s Suprimă la ieșire modulele/instanțele care nu conțin informații de acoperire
la raport. Folosit pentru a ajuta la eliminarea informațiilor potențial lipsite de sens din
raport.

-v Depreciat. Înlocuit cu „-dd” sau „-d v”.

-vedere Pornește interfața GUI pentru raportarea interactivă a acoperirii.

-w (număr)
Specifică lățimea maximă a liniei (în caractere) care poate fi utilizată pentru a ieși Verilog
informație. Dacă această opțiune nu este specificată, tot codul Verilog din raport va fi
păstrați aceeași formatare ca cea specificată în codul Verilog original. Dacă aceasta
este specificată opțiunea, codul Verilog va fi formatat pentru a utiliza cât mai mult din actualul
linie pe cât posibil, împachetând textul când linia atinge lățimea maximă a liniei. The
lățimea maximă implicită a liniei este de 115 caractere (această valoare este utilizată dacă nu există niciun număr
specificat cu opțiunea -w). Dacă un număr este specificat cu opțiunea -w, aceasta
valoarea este utilizată pentru lățimea maximă a liniei.

-x Afișează ID-urile de excludere ale tuturor punctelor de acoperire neacoperite și excluse din interior
paranteză înaintea ieșirii detaliate asociate a punctului de acoperire. The
ID-urile de excludere pot fi folosite pentru a exclude/include puncte de acoperire prin excludere
comanda.

RANG COMMAND

Următoarele opțiuni sunt valide cu comanda rank:

-d nume de fișier
Director pentru a căuta fișiere CDD de inclus. Această opțiune este utilizată împreună
cu -ext opțiunea care specifică extensia fișierului de utilizat pentru determinare
care fișiere din director sunt fișiere CDD.

-adâncime număr
Specifică numărul minim de fișiere CDD necesare pentru a atinge fiecare punct de acoperire. The
Valoarea număr ar trebui să fie mai mare decât zero. Implicit este 1.

-ext extensie
Folosit împreună cu -d opțiune. Daca nu -ext opțiunile sunt specificate pe
linia de comandă, este utilizată valoarea implicită „.cdd”. Rețineți că un punct (.) ar trebui
fi specificat.

-f nume de fișier
Numele fișierului care conține argumente suplimentare de analizat.

-h Afișează informații de ajutor pentru comanda de rang.

-numai-nume
Dacă este specificat, scoate numai numele de fișiere CDD necesare care trebuie să fie rulate în
pentru ca acestea să fie conduse. Dacă această opțiune nu este setată, este o ieșire în stil raport
furnizate cu informații suplimentare. Această opțiune este menită să fie utilă în scripturi
care doresc doar ca numele fișierelor CDD să ruleze ca ieșire.

-o nume de fișier
Numele fișierului la care se va afișa informațiile de clasare. Ieșirea implicită este standard.

-required-cdd nume de fișier
Numele CDD care ar trebui să fie considerat un CDD obligatoriu pentru clasare (adică, nu poate fi
exclus din orice motiv).

-lista-necesare nume de fișier
Numele unui fișier care conține o listă de CDD-uri care ar trebui considerate CDD-uri necesare
la rang. Numele fișierelor ar trebui să fie separate prin spații albe sau caractere newline
în cadrul dosarului.

-v Determină afișarea unei ieșiri detaliate atunci când este executată comanda rank. Iese
informații de diagnostic despre fiecare dintre diferitele faze ale algoritmului de clasare
inclusiv durata de rulare, numărul de fișiere CDD incluse/excluse și numărul de acoperire
puncte lovite de CDD-urile clasate în timpul fiecărei etape. Această informație este menită să fie
util pentru cei interesați de algoritmul de clasare și performanța acestuia.

-greutate-afirmare număr
Specifică o pondere relativă pentru acoperirea afirmațiilor, utilizată pentru a clasifica non-unice
puncte de acoperire. Valoarea a număr este relativ la valorile utilizate în
-comutator de greutate, -greutate-memorie, -greutate-pieptene, -greutate-fsm și -greutate-linie rank
opțiunile de comandă.

-greutate-pieptene număr
Specifică o ponderare relativă pentru acoperirea logică combinațională utilizată pentru clasare
puncte de acoperire neunice. Valoarea a număr este relativ la valorile utilizate în
il -comutator de greutate, -greutate-memorie, -greutate-afirmare, -greutate-fsm și -greutate-linie
rank opțiunile de comandă.

-greutate-fsm număr
Specifică o ponderare relativă pentru starea FSM și acoperirea de tranziție a stării obișnuite
clasează punctele de acoperire neunice. Valoarea a număr este relativ la valori
Folosit în -comutator de greutate, -greutate-memorie, -greutate-pieptene, -greutate-afirmare și
-greutate-linie rank opțiunile de comandă.

-greutate-linie număr
Specifică o pondere relativă pentru acoperirea liniei, utilizată pentru a clasifica acoperirea non-unica
puncte. Valoarea a număr este relativ la valorile utilizate în -comutator de greutate,
-greutate-memorie, -greutate-pieptene, -greutate-fsm și -greutate-afirmare rank opțiunile de comandă.

-greutate-memorie număr
Specifică o pondere relativă pentru acoperirea memoriei, utilizată pentru a clasifica acoperirea non-unica
puncte. Valoarea a număr este relativ la valorile utilizate în -comutator de greutate,
-greutate-linie, -greutate-pieptene, -greutate-fsm și -greutate-afirmare rank opțiunile de comandă.

-comutator de greutate număr
Specifică o pondere relativă pentru comutarea acoperirii, utilizată pentru a clasifica acoperirea neunică
puncte. Valoarea a număr este relativ la valorile utilizate în -greutate-memorie,
-greutate-linie, -greutate-pieptene, -greutate-fsm și -greutate-afirmare rank opțiunile de comandă.

EXCLUDE COMMAND

Următoarele opțiuni sunt valide cu comanda exclude:

-f nume de fișier
Specifică numele unui fișier care conține mai multe opțiuni pentru comanda de excludere.
Această opțiune poate fi specificată de câte ori este necesar pentru un singur apel către
comanda exclude.

-h Generează informații de utilizare pentru comanda exclude.

-m Permite ca un mesaj de excludere să fie asociat cu orice puncte de acoperire în curs
de la starea inclusă la starea exclusă. Pentru fiecare punct de acoperire care se întâlnește
această cerință, utilizatorului i se va solicita să introducă un motiv. Motivul poate fi
orice lungime și orice număr de linii; totuși, toate caracterele de formatare (de exemplu,
linii noi, file, spații suplimentare etc.) vor fi eliminate și înlocuite cu un singur
spațiu atunci când este afișat ulterior. Pentru a încheia introducerea unui mesaj, apăsați pe revenire,
introduceți un singur punct (.) și apăsați din nou pe return. Perioada finală
caracterul nu va face parte din mesajul de excludere.

-p Face ca toate punctele de acoperire specificate să-și imprime starea de excludere actuală și
motivul excluderii (dacă există unul pentru punctul de acoperire exclus) la standard
ieșire. Dacă această opțiune este specificată, -m opțiunea va fi ignorată.

UTILIZAREA ACOPERIT AS A VPI MODULUL

În plus față de utilizarea comenzii de scor a Covered pentru a analiza un fișier VCD, LXT2 sau FST pentru a rezuma
informații de acoperire, Covered poate fi, de asemenea, utilizat ca un modul VPI într-un simulator pentru
extrage aceste informații. Avantajele utilizării Covered ca VPI față de un cititor dumpfile
includ următoarele. În primul rând, fișierele VCD pot fi extrem de mari, mai ales pentru mult timp
simulări, utilizând spațiu valoros pe disc. În al doilea rând, dacă utilizați un simulator, acesta
aruncă fișiere într-un alt format decât VCD, LXT2 sau FST și doriți să convertiți aceste imagini
tipuri de fișiere la una dintre aceste versiuni, costul spațiului și al timpului pe disc poate face crearea
dumpfile pe care acoperit le necesită nedorite. În plus, deși folosind Covered ca VPI
modulul va încetini viteza de simulare, cel mai probabil este timpul total petrecut
simularea designului dvs. și notarea designului într-un singur pas va fi mai scurtă decât a face acest lucru în
doi pasi. Ca rezultat, utilitarul de configurare al Covered poate genera biblioteci pregătite pentru VPI pentru
următoarele simulatoare gratuite și comerciale (Icarus Verilog, CVER și VCS).

Pentru a construi automat fișierele de bibliotecă pregătite pentru VPI atunci când se generează Covered din sursă,
pur și simplu specificați una sau mai multe dintre următoarele când rulați utilitarul „configure” în
Director de bază acoperit: --with-iv= , --cu-vcs=
cale>, --cu-cver= . După ce Covered a fost configurat, tastați pur și simplu
„make” și „make install”. Acest lucru va instala fișierele de bibliotecă pregătite pentru VPI în
directorul de instalare libexec (în mod implicit, această cale va fi /usr/local/libexec).

Înainte de a fi gata să compilați designul, trebuie mai întâi să creați un fișier CDD, un nivel superior
Fișier Verilog și un fișier tabel PLI (ultimul fișier este necesar doar pentru compilatorul VCS).
Acest lucru se face prin specificarea -vpi (nume de fișier) la comanda de scor a Covered. Daca nu
nume de fișier este specificat după -vpi, fișierele cover_vpi.v și cover_vpi.ta b vor fi
creat împreună cu fișierul de acoperire generat. Rețineți că acest pas trebuie doar să fie
efectuată o singură dată, cu excepția cazului în care fișierele de proiectare se modifică. Acum sunteți gata să compilați
simulator.

Dacă compilați o simulare Icarus Verilog, adăugați pur și simplu „-m
/usr/local/libexec/covered.vpicover_vpi.v” la linia de comandă „iverilog”. O singura data
compilarea este completă, rulați fișierul executabil generat așa cum ați proceda în mod normal.

Dacă compilați o simulare CVER, adăugați pur și simplu
„+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v” la
linia de comandă „cver”.

Dacă compilați o simulare VCS, adăugați pur și simplu „+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v” la „vcs”
Linie de comanda. Odată ce compilarea este completă, rulați fișierul executabil generat ca dvs
în mod normal ar fi.

Dacă compilați o simulare NC-Verilog, comutați la comanda irun a NC-Verilog pentru a încărca
obiectul partajat acoperit: „-loadvpi /usr/local/libexec/covered.ncv.so:covered_register”
și activați toate accesul cu „-access +rwc”. Puteți codifica apelul $covered_sim în
RTL-ul dvs. sau îl puteți rula dinamic folosind CLI, adăugând -input input.tcl
trece la irun. Unde fișierul input.tcl arată ca următorul și tb.dut este
exemplu de acoperire:
apel -systf {$covered_sim} {"scored.cdd"} tb.dut
alerga

Există două plusargs care pot fi transmise executabilului generat atunci când este rulat
Acoperit va analiza. „+covered_cdd= ' opțiunea va face ca Covered să scoată fișierul
conținutul designului marcat în fișierul CDD specificat de . Acest lucru permite rulări multiple
al simulatorului pentru a genera mai multe fișiere CDD diferite fără a fi nevoie de o recompilare
apar. Opțiunea „+covered_debug” va face ca Covered să elimine o mulțime de ieșiri excesive
despre starea sa internă de rulare în timpul simulării. Această ieșire va fi generată numai
dacă Covered a fost configurat cu opțiunea --enable-debug. Această opțiune plusarg nu ar trebui
să fie folosit de utilizatorii obișnuiți, deoarece este destinat în primul rând să ajute dezvoltatorii de Covered in
depanare.

AUTORI

Trevor Williams[e-mail protejat]>

Utilizați acoperit online folosind serviciile onworks.net