gedekt - Online in de cloud

PROGRAMMA:

NAAM

Overdekt - Verilog Code Coverage Analyzer

SYNTAXIS

bedekt [globale_opties] partituur [opties]
bedekt [globale_opties] samensmelten [opties] bestaande_database database_naar_merge+
bedekt [globale_opties] verslag [opties] database_bestand
bedekt [globale_opties] rangschikken [opties] database_naar_rang database_naar_rang+
bedekt [globale_opties] uitsluiten [opties] uitsluiting_id+ database_bestand

PRODUCTBESCHRIJVING

Overdekte is een analysetool voor codedekking van Verilog die handig kan zijn om te bepalen hoe
welnu, een diagnostische testsuite dekt het te testen ontwerp. Overdekte leest in de
Verilog-ontwerpbestanden en een VCD-, LXT2- of FST-geformatteerd dumpbestand van een diagnostische run en
genereert een databasebestand met de naam Coverage Description Database (CDD)-bestand, met behulp van de
score commando. Het scorecommando van Covered kan ook worden gebruikt om een ​​CDD-bestand te genereren
en een Verilog-module voor het gebruik van Covered als een VPI-module in een testbank die kan worden verkregen
dekkingsinformatie parallel met simulatie (zie GEBRUIK MAKEND VAN BEHANDELD AS A VPI MODULE). De
resulterende CDD-bestand kan worden samengevoegd met andere CDD-bestanden van hetzelfde ontwerp om te maken
geaccumuleerde dekking, met behulp van de samenvoegopdracht. Zodra een CDD-bestand is gemaakt, kan de gebruiker
gebruik Covered om verschillende door mensen leesbare dekkingsrapporten te genereren in een ASCII-indeling of gebruik
Covered's GUI om interactief naar dekkingsresultaten te kijken, met behulp van de rapportopdracht. Als
Als er onbedekte dekkingspunten worden gevonden die de gebruiker wil uitsluiten van dekking, kan dit
worden afgehandeld met de opdrachtregel exclude-opdracht of binnen de GUI. Wanneer meerdere
CDD-bestanden zijn gemaakt op basis van hetzelfde ontwerp, de gebruiker kan een dekkingsclassificatie krijgen van
die CDD-bestanden om een ​​ideale volgorde voor regressietesten te bepalen en te begrijpen
welke CDD-bestanden kunnen worden uitgesloten van regressies vanwege hun onvermogen om nieuw te raken
dekkingspunten. Bovendien, als onderdeel van het scorecommando van Covered, raceconditie
mogelijkheden zijn te vinden in de ontwerpbestanden en kunnen worden genegeerd of gemarkeerd als waarschuwingen
of gemarkeerd als fouten. Door racecondities als fouten te specificeren, kan Covered ook worden gebruikt
als een raceconditie-checker.

GLOBAL OPTIES

Deze opties worden direct achter het trefwoord geplaatst bedekt in de opdrachtregel. Zij
kan voor elk commando worden gebruikt (met uitzondering van -v en -h) en hebben hetzelfde effect in
elk geval.

-B Verduisteren. Verbergt alle ontwerpgevoelige namen voordat ze worden uitgevoerd
door de gebruiker leesbaar formaat. Deze optie is handig bij het delen van uitvoer met de
ontwikkelaars van Covered voor foutopsporingsdoeleinden.

-D Debuggen. Informatie weergeven die nuttig is voor het opsporen van problemen met hulpprogramma's. Let op: dit
optie is nu alleen beschikbaar wanneer gedekt is gebouwd met de --enable-debug
configuratie optie.

-h Hulp. Geef deze gebruiksinformatie weer.

-P [bestandsnaam]
Profileringsmodus. Schakelt de interne broncodeprofiler in die een
profileringsrapport van de run-opdracht naar het opgegeven bestandsnaam of, zo nee
bestandsnaam aanwezig is, naar een bestand met de naam gedekt.prof. Deze optie is alleen beschikbaar
indien de --profilering inschakelen configuratieoptie is opgegeven toen Covered was
gebouwd.

-Q Stille modus. Zorgt ervoor dat alle uitvoer wordt onderdrukt.

-T Korte modus. Zorgt ervoor dat alle uitvoer wordt onderdrukt, met uitzondering van waarschuwingen
berichten en de Covered header-informatie.

-v Versie. Geef de huidige gedekte versie weer.

COMMANDO'S

partituur Parseert Verilog-bestanden en VCD/LXT2/FST-dumpbestanden om een ​​databasebestand te maken dat wordt gebruikt voor
samenvoegen en rapporteren.

samensmelten Voegt twee of meer databasebestanden samen tot één.

verslag Genereert voor mensen leesbare dekkingsrapporten uit het databasebestand of start de dekking
rapporteer GUI.

rangschikken Genereert een rapport dat een ideale volgorde specificeert om regressies uit te voeren en specificeert
CDD-bestanden die geen nieuwe dekkingsinformatie toevoegen (en daarom kunnen worden uitgesloten
van regressies, indien gewenst).

uitsluiten
Staat een of meer dekkingspunten toe (geïdentificeerd met uitsluitings-ID's in een rapport
gegenereerd met de optie -x) om hun uitsluitingseigenschap te laten wisselen (include to
uitsluiten of uitsluiten om op te nemen) en, als de eigenschap uitsluiting is ingesteld op uitsluiten,
optioneel toestaan ​​dat een reden voor de uitsluiting eraan wordt gekoppeld en opgeslagen
het opgegeven CDD-bestand.

SCORE COMMAND

De volgende opties zijn geldig voor het scorecommando:

-A OK Zorgt ervoor dat OVL-verklaringen worden gebruikt voor verklaringsdekking. Deze vlag moet worden gegeven
aan het scorecommando als statistieken over de dekking van beweringen nodig zijn in het rapport
opdracht.

-cdd databank
Hetzelfde als de -o optie. Handig wanneer het CDD-bestand dat wordt gescoord een invoer voor de partituur is
opdracht.

-cli [bestandsnaam]
Zorgt ervoor dat de opdrachtregelfoutopsporing wordt gebruikt tijdens het scoren van VCD/LXT2/FST-dumpfiles.
If bestandsnaam is opgegeven, bevat dit bestand informatie die is opgeslagen in een vorige oproep
om hem op de CLI op te slaan en ervoor te zorgen dat de geschiedenis in dit bestand opnieuw wordt afgespeeld
voorafgaand aan de CLI-opdrachtprompt. Als bestandsnaam niet is opgegeven, zal de CLI-prompt
onmiddellijk beschikbaar zijn bij het begin van de simulatie. Deze optie is alleen beschikbaar
wanneer Covered is geconfigureerd met de --enable-debug optie.

-conservatief
Als deze optie is opgegeven, worden alle logische blokken die code bevatten die kunnen leiden tot
dekkingsverschillen die kunnen leiden tot mogelijk onnauwkeurige dekkingsresultaten
verwijderd uit dekkingsoverweging. Zie de Gebruikershandleiding voor meer informatie over wat
type code kan leiden tot onnauwkeurigheden in de dekking.

-dumpvars [bestandsnaam]
Als deze optie wordt opgegeven zonder de opties -vcd of -lxt, wordt het ontwerp geparseerd,
er wordt een CDD-bestand gemaakt en een Verilog-modulebestand op het hoogste niveau genoemd bestandsnaam (als dit
waarde is opgegeven) of "covered_dump.v" (als bestandsnaam is niet gespecificeerd) wordt gemaakt.
Dit bestand wordt gebruikt bij het compileren van de simulator om een ​​dumpbestand te maken
geoptimaliseerd voor het verkrijgen van dekking voor het opgegeven CDD-bestand. Als de -vcd of
-lxt opties zijn opgegeven, deze optie heeft geen effect. Zie de gebruikershandleiding voor
meer informatie over het gebruik van deze optie.

-D definieer_naam
Definieert de opgegeven naam tot 1.

-D definieer_naam=waarde
Definieert de opgegeven naam naar de opgegeven waarde.

-e bloknaam
Naam van module, taak, functie of benoemd begin-/eindblok om niet te scoren. Veroorzaakt alles
subblokken in de Verilog-boom onder dit blok worden ook niet gescoord.

-ea Sluit alle altijd geblokkeerde blokken uit die in aanmerking komen voor dekking.

-ec Sluit alle doorlopende opdrachten uit die in aanmerking komen voor dekking.

-ei Sluit alle initiële blokken uit die in aanmerking komen voor dekking.

-als Sluit alle laatste blokken uit die in aanmerking komen voor dekking.

-ep [naam]
Sluit alle code uit die wordt gevonden tussen pragma's '// dekking uit' en '// dekking aan'
ingebed in het ontwerp. Als naam is gespecificeerd, zal het trefwoord in het pragma
worden gewijzigd in die naam in plaats van de standaard "dekking", waardoor de gebruiker dit kan
verander het uiterlijk van het pragma als het in strijd is met andere tools.

-F modulenaam=[in_expr,]uit_expr
Geeft aan de parser aan waar de FSM zich in de module bevindt module naam welke
heeft een invoerstatusuitdrukking genaamd in_uitdr en uitvoerstatusuitdrukking aangeroepen
uit_expr. Indien in_uitdr is niet gespecificeerd, uit_expr wordt gebruikt als zowel de invoer als
uitdrukking van de uitvoerstatus.

-f bestandsnaam
Naam van het bestand met aanvullende argumenten om te parseren.

-vst bestandsnaam
Naam van het FST-dumpbestand om het ontwerp mee te scoren. Als -vcd, -lxt of deze optie dat niet is
gebruikt, maakt Covered alleen een initieel CDD-bestand van het ontwerp en niet
probeer het ontwerp te scoren.

-g [modulenaam=](1|2|3)
Hiermee kan de gebruiker de parser beperken tot een specifieke generatie van de Verilog
standaard voor een specifieke module of het gehele ontwerp, waarbij 1=Verilog-1995,
2=Verilog-2001, 3=SysteemVerilog. Als modulenaam= is opgegeven, gebruikt de parser de
gespecificeerde Verilog-standaard alleen voor die module, waardoor de rest van het ontwerp dat ook kan
gebruik de wereldwijde standaard. Standaard is de globale standaard ingesteld op de meest recente
versie (3). Deze optie kan meerdere keren worden opgegeven voor een bepaalde oproep naar de
score commando; als de optie -g echter meer dan de globale waarde specificeert (bijv.
zonder de moduul= prefix), wordt alleen de laatste optiewaarde gebruikt.

-h Geeft deze helpinformatie weer.

-I directory
Directory om opgenomen Verilog-bestanden te vinden.

-i instantienaam
Verilog hiërarchische verwijzing naar de module die bovenaan de boom staat
scoorde. Deze optie is nodig als de module om de dekking te verifiëren niet het hoogste niveau is
modules in het ontwerp. Indien niet gespecificeerd, -t waarde wordt gebruikt.

-lxt bestandsnaam
Naam van LXT2-dumpfile om ontwerp mee te scoren. Als -vcd, -fst of deze optie dat niet is
gebruikt, maakt Covered alleen een initieel CDD-bestand van het ontwerp en niet
probeer het ontwerp te scoren.

-m Bericht
Hiermee kan de gebruiker informatie over dit CDD-bestand specificeren. Deze informatie kan
iets zijn (berichten met witruimte moeten tussen dubbele aanhalingstekens staan
punten), maar kan iets bevatten over de simulatieargumenten om gemakkelijker te maken
koppel het CDD-bestand aan de simulatie om het CDD-bestand opnieuw te maken.

-o databank
Naam van de database waarnaar dekkingsinformatie moet worden geschreven. Indien niet gespecificeerd, de output
database bestandsnaam zal "cov.cdd" zijn.

-p bestandsnaam
Negeert de standaard bestandsnaam die wordt gebruikt om tussenliggende preprocessoruitvoer op te slaan.

-P parameter_scope=waarde
Voert een defparam uit op de opgegeven parameter met waarde.

-rs Wanneer race condition checks worden geschonden, worden de overtredende logische blokken verwijderd
van dekkingsoverweging en alle uitvoer wordt onderdrukt met betrekking tot de race
voorwaarde overtreding. Zie gebruikersdocumentatie voor meer informatie over ras
conditie controlerend gebruik.

-rW Wanneer race condition checks worden geschonden, worden de overtredende logische blokken verwijderd
van dekkingsoverweging en de schending van de raceconditie wordt uitgevoerd. Dit is
het standaardgedrag voor het afhandelen van racecondities. Zie gebruikersdocumentatie voor meer
informatie over het gebruik van het controleren van de raceconditie.

-met betrekking tot Wanneer raceconditiecontroles worden geschonden, wordt de reden weergegeven en eindigt de score
onmiddellijk. Zie de gebruikersdocumentatie voor meer informatie over racecondities
gebruik controleren.

-rI[=module naam]
If module naam niet is opgegeven, wordt de controle van de raceconditie helemaal overgeslagen
het gehele ontwerp. Als module naam is opgegeven, wordt de controle van de raceconditie overgeslagen
voor de opgegeven module. Zie gebruikersdocumentatie voor meer informatie over ras
conditie controlerend gebruik.

-rP[=naam])
Gebruikt ingebedde pragma's voor het negeren van bepaalde code van het controleren van de raceconditie
overweging (evt naam wordt opgegeven, wordt het gebruikt als het pragma-sleutelwoord). Zie gebruiker
documentatie voor meer informatie over het gebruik van het controleren van racecondities.

-S Voert simulatiestatistieken uit nadat de simulatie is voltooid. Deze informatie is
momenteel alleen nuttig voor de ontwikkelaars van Covered.

-t hoogste niveau module
Specificeert de modulenaam van de bovenste module die zal worden gemeten. Let daar op
deze module hoeft niet de bovenste module in de simulator te zijn. Dit veld
is vereist voor alle oproepen naar het scorecommando.

-top_ts tijdschaal
Deze optie is alleen geldig als de opties -vpi of -dumpvars zijn opgegeven.
Met deze optie kan de gebruiker een tijdschema opgeven voor de gegenereerde Verilog-module
gemaakt met de optie -vpi/-dumpvars. Als deze optie niet is opgegeven, nee
Er wordt een tijdschaal gemaakt voor de gegenereerde module. De waarde van tijdschaal is
gespecificeerd als volgt:

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

Als er witruimte nodig is tussen de verschillende waarden, plaats dan de volledige inhoud van
tijdschaal tussen dubbele aanhalingstekens.

-ts aantal
Wanneer er gescoord wordt, kan de gebruiker met deze optie zien hoe ver de simulator is
gevorderd door de huidige tijdstap uit te voeren naar standaarduitvoer. De waarde van
aantal geeft aan hoeveel tijdstappen mogen worden gesimuleerd voordat ze worden uitgevoerd
de huidige tijdstap (resulteert in minder oproepen naar uitvoerstroom).

-T (min|typ|max)
Specificeert welke waarde moet worden gebruikt bij het tegenkomen van een vertragingsuitdrukking in de vorm:
min:soort:max. Als deze optie niet is opgegeven, wordt standaard 'typ' select gebruikt.

-v bestandsnaam
Naam van specifiek Verilog-bestand om te scoren.

-vcd bestandsnaam
Naam van het VCD-dumpbestand om het ontwerp mee te scoren. Als -lxt, -fst of deze optie niet is
gebruikt, maakt Covered alleen een initieel CDD-bestand van het ontwerp en niet
probeer het ontwerp te scoren.

-vpi [bestandsnaam]
Als deze optie wordt opgegeven zonder de opties -vcd, -lxt of -fst, is het ontwerp
geparseerd, wordt een CDD-bestand gemaakt en een Verilog-modulebestand op het hoogste niveau met de naam bestandsnaam
(als deze waarde is opgegeven) of "covered_vpi.v" (if bestandsnaam is niet gespecificeerd) is
gemaakt samen met een PLI-tabelbestand genaamd bestandsnaam.ta b of "covered_vpi.v.ta b".
Beide bestanden worden gebruikt bij de compilatie van de simulator om Covered as te gebruiken
een VPI-module. Als de opties -vcd, -lxt of -fst zijn opgegeven, wordt deze optie
heeft geen effect.

-Wignore
Onderdruk de uitvoer van waarschuwingen tijdens codeparsing en simulatie.

-y directory
Directory om niet-gespecificeerde Verilog-bestanden te vinden.

+libext+.verlenging[+.verlenging]*+
Extensies van Verilog-bestanden om scoren mogelijk te maken.

MERGE COMMAND

De volgende opties zijn geldig voor het samenvoegcommando:

-d bestandsnaam
Directory om te zoeken naar CDD-bestanden om op te nemen. Deze optie wordt in combinatie gebruikt
met de -ext optie die de bestandsextensie specificeert die moet worden gebruikt voor het bepalen
welke bestanden in de directory CDD-bestanden zijn.

-er (eerste|laatste|allen|nieuwe|oud)
Specificeert hoe om te gaan met het oplossen van uitsluitingsredenen. Als twee of meer CDD-bestanden
worden samengevoegd, uitsluitingsredenen hebben gespecificeerd voor hetzelfde dekkingspunt, de
uitsluitingsreden moet worden opgelost (tenzij het dezelfde tekenreekswaarde is). Als
deze optie is niet gespecificeerd en er wordt een conflict gevonden, Covered zal interactief
vraag om invoer voor elke uitsluiting over hoe ermee om te gaan. Als deze optie is
opgegeven, vertelt het Covered hoe alle conflicten met uitsluitingsredenen moeten worden afgehandeld. De
waarden zijn als volgt:.br

eerste - CDD-bestand met de eerste uitsluitingsreden wordt gebruikt.

laatste - CDD-bestand met de laatste uitsluitingsreden wordt gebruikt.

allen - Alle uitsluitingsredenen worden gebruikt (aaneengeschakeld).

nieuwe - Gebruik de nieuwste opgegeven uitsluitingsreden.

oud - Gebruik de oudste opgegeven uitsluitingsreden.

-ext uitbreiding
Gebruikt in combinatie met de -d optie. Als Nee -ext opties staan ​​vermeld op de
opdrachtregel wordt de standaardwaarde '.cdd' gebruikt. Merk op dat een punt (.) moet
wees duidelijk.

-f bestandsnaam
Naam van het bestand met aanvullende argumenten om te parseren.

-h Geeft deze helpinformatie weer.

-m Bericht
Hiermee kan de gebruiker informatie over dit CDD-bestand specificeren. Deze informatie kan
iets zijn (berichten met witruimte moeten tussen dubbele aanhalingstekens staan
merken).

-o bestandsnaam
Bestand om nieuwe database naar uit te voeren. Als dit argument niet is opgegeven, wordt het
bestaande_database wordt gebruikt als de naam van de uitvoerdatabase.

VERSLAG COMMAND

De volgende opties zijn geldig met het rapportcommando:

-b Als uitgebreide uitvoer van combinatielogica wordt gerapporteerd en de uitdrukking een vector is
operatie, voert deze optie de dekkingsinformatie bitsgewijze uit.

-c If -v is opgegeven, geeft alleen gedekte statistieken weer. Standaard is om onbedekt weer te geven
alleen informatie.

-d (s|d|v)
Detailniveau dat moet worden verstrekt in dekkingsrapportinformatie (s = samenvatting, d =
gedetailleerd, v = uitgebreid). Standaard is samenvatting.

-e Voert alle uitgesloten dekkingspunten uit naar het rapportbestand, samen met de opgegeven punten
uitsluitingsgronden als de -d d or -d v opties zijn opgegeven.

-f bestandsnaam
Naam van het bestand met aanvullende argumenten om te parseren.

-h Geeft deze helpinformatie weer.

-i Biedt dekkingsinformatie voor instanties in plaats van module.

-m [l][t][c][f][r][a][m]
Type(n) statistieken om te rapporteren. l=lijn, t=toggle, c=combinatielogica, f=FSM-status
en toestandsovergang, r=racecondities, a=assertie, m=geheugen. Standaard is ltcf.

-o bestandsnaam
Bestand om rapportinformatie naar uit te voeren. Standaard is standaarduitvoer.

-s Onderdrukt dat modules/exemplaren die geen dekkingsinformatie bevatten, niet worden uitgevoerd
naar het rapport. Wordt gebruikt om potentieel betekenisloze informatie uit de
melden.

-v Verouderd. Vervangen door '-dd' of '-d v'.

-uitzicht Start de GUI-interface voor interactieve dekkingsrapportage.

-w (aantal)
Specificeert de maximale lijnbreedte (in tekens) die kan worden gebruikt om Verilog uit te voeren
informatie. Als deze optie niet is opgegeven, zal alle Verilog-code in het rapport dat wel doen
behoud dezelfde opmaak als gespecificeerd in de originele Verilog-code. Als dit
optie is opgegeven, wordt Verilog-code geformatteerd om zoveel mogelijk van de huidige te gebruiken
lijn mogelijk, waarbij tekst wordt omwikkeld wanneer de lijn de maximale lijndikte bereikt. De
standaard maximale regelbreedte is 115 tekens (deze waarde wordt gebruikt als er geen nummer is
opgegeven met de optie -w). Als een nummer is opgegeven met de optie -w, wordt dit
waarde wordt gebruikt voor de maximale lijndikte.

-x Voert de uitsluitings-ID's uit van alle niet-gedekte en uitgesloten dekkingspunten binnen
haakje voor de bijbehorende uitgebreide uitvoer van het dekkingspunt. De
uitsluitings-ID's kunnen worden gebruikt om dekkingspunten uit te sluiten/op te nemen via de uitsluiting
opdracht.

RANK COMMAND

De volgende opties zijn geldig met het rangcommando:

-d bestandsnaam
Directory om te zoeken naar CDD-bestanden om op te nemen. Deze optie wordt in combinatie gebruikt
met de -ext optie die de bestandsextensie specificeert die moet worden gebruikt voor het bepalen
welke bestanden in de directory CDD-bestanden zijn.

-diepte aantal
Specificeert het minimum aantal benodigde CDD-bestanden om elk dekkingspunt te bereiken. De
waarde van aantal moet groter zijn dan nul. Standaard is 1.

-ext uitbreiding
Gebruikt in combinatie met de -d optie. Als Nee -ext opties staan ​​vermeld op de
opdrachtregel wordt de standaardwaarde '.cdd' gebruikt. Merk op dat een punt (.) moet
wees duidelijk.

-f bestandsnaam
Naam van het bestand met aanvullende argumenten om te parseren.

-h Toont helpinformatie voor het rangcommando.

-namen-alleen
Voert, indien opgegeven, alleen de benodigde CDD-bestandsnamen uit die moeten worden uitgevoerd in het
volgorde waarin ze moeten worden uitgevoerd. Als deze optie niet is ingesteld, is er een uitvoer in rapportstijl
voorzien van aanvullende informatie. Deze optie is bedoeld om handig te zijn in scripts
die alleen willen dat CDD-bestandsnamen als uitvoer worden uitgevoerd.

-o bestandsnaam
Naam van het bestand om rangschikkingsinformatie naar uit te voeren. Standaard is standaarduitvoer.

-vereist-cdd bestandsnaam
Naam van CDD die moet worden beschouwd als een vereiste CDD om te rangschikken (dat wil zeggen, het kan niet zijn
uitgesloten om welke reden dan ook).

-verplichte-lijst bestandsnaam
Naam van een bestand dat een lijst met CDD's bevat die als vereiste CDD's moeten worden beschouwd
rangschikken. De bestandsnamen moeten worden gescheiden door spaties of tekens voor een nieuwe regel
binnen het dossier.

-v Zorgt ervoor dat uitgebreide uitvoer wordt weergegeven wanneer de opdracht rang wordt uitgevoerd. Het voert uit
diagnostische informatie over elk van de verschillende fasen van het rangschikkingsalgoritme
inclusief looptijd, aantal opgenomen/uitgesloten CDD-bestanden en aantal dekkingen
punten geraakt door gerangschikte CDD's tijdens elke fase. Deze informatie is bedoeld om te zijn
handig voor diegenen die geïnteresseerd zijn in het ranking-algoritme en de prestaties ervan.

- gewichtstoename aantal
Specificeert een relatieve weging voor de dekking van beweringen die wordt gebruikt om niet-uniek te rangschikken
dekkingspunten. De waarde van aantal is relatief ten opzichte van de waarden die worden gebruikt in de
-gewicht-toggle, -gewicht-geheugen, -gewichtskam, -gewicht-fsm en -gewichtslijn rangschikken
commando opties.

-gewichtskam aantal
Specificeert een relatieve weging voor de dekking van combinatielogica die wordt gebruikt om te rangschikken
niet-unieke dekkingspunten. De waarde van aantal is relatief ten opzichte van de waarden die worden gebruikt in
de -gewicht-toggle, -gewicht-geheugen, - gewichtstoename, -gewicht-fsm en -gewichtslijn
rang commando-opties.

-gewicht-fsm aantal
Specificeert een relatieve weging voor gebruikte FSM-status en statusovergangsdekking
rangschik niet-unieke dekkingspunten. De waarde van aantal is relatief ten opzichte van de waarden
Gebruikt in de -gewicht-toggle, -gewicht-geheugen, -gewichtskam, - gewichtstoename en
-gewichtslijn rang commando-opties.

-gewichtslijn aantal
Specificeert een relatieve weging voor lijndekking die wordt gebruikt om niet-unieke dekking te rangschikken
punten. De waarde van aantal is relatief ten opzichte van de waarden die worden gebruikt in de -gewicht-toggle,
-gewicht-geheugen, -gewichtskam, -gewicht-fsm en - gewichtstoename rang commando-opties.

-gewicht-geheugen aantal
Specificeert een relatieve weging voor geheugendekking die wordt gebruikt om niet-unieke dekking te rangschikken
punten. De waarde van aantal is relatief ten opzichte van de waarden die worden gebruikt in de -gewicht-toggle,
-gewichtslijn, -gewichtskam, -gewicht-fsm en - gewichtstoename rang commando-opties.

-gewicht-toggle aantal
Specificeert een relatieve weging voor schakelende dekking die wordt gebruikt om niet-unieke dekking te rangschikken
punten. De waarde van aantal is relatief ten opzichte van de waarden die worden gebruikt in de -gewicht-geheugen,
-gewichtslijn, -gewichtskam, -gewicht-fsm en - gewichtstoename rang commando-opties.

UITSLUITEN COMMAND

De volgende opties zijn geldig met de opdrachtexclusive:

-f bestandsnaam
Specificeert de naam van een bestand dat meer opties bevat voor de opdracht uitsluiten.
Deze optie kan zo vaak worden opgegeven als nodig is voor een enkele oproep naar de
commando uitsluiten.

-h Genereert gebruiksinformatie voor de opdrachtexclusive.

-m Hiermee kan een uitsluitingsbericht worden gekoppeld aan eventuele dekkingspunten
van de ingesloten staat naar de uitgesloten staat. Voor elk dekkingspunt dat samenkomt
deze vereiste, wordt de gebruiker gevraagd een reden in te voeren. De reden kan zijn
elke lengte en elk aantal regels; alle opmaaktekens (bijv.
nieuwe regels, tabs, extra spaties, enz.) worden verwijderd en vervangen door een enkele
ruimte wanneer het later wordt weergegeven. Om de invoer van een bericht te beëindigen, drukt u op Return,
voer een enkele punt (.) in en druk nogmaals op enter. De laatste periode
karakter maakt geen deel uit van het uitsluitingsbericht.

-p Zorgt ervoor dat alle gespecificeerde dekkingspunten hun huidige uitsluitingsstatus afdrukken en
uitsluitingsreden (indien aanwezig voor het uitgesloten dekkingspunt) naar standaard
uitvoer. Als deze optie is opgegeven, wordt de -m optie wordt genegeerd.

GEBRUIK MAKEND VAN BEHANDELD AS A VPI MODULE

Naast het gebruik van het scorecommando van Covered om een ​​VCD-, LXT2- of FST-bestand te ontleden tot abstract
dekkingsinformatie, Covered kan ook worden gebruikt als een VPI-module binnen een simulator
haal deze informatie eruit. De voordelen van het gebruik van Covered als een VPI ten opzichte van een dumpfile-lezer
omvatten het volgende. Ten eerste kunnen VCD-bestanden extreem groot zijn, vooral als ze lang duren
simulaties, waarbij waardevolle schijfruimte wordt gebruikt. Ten tweede, als u een simulator gebruikt die
dumpt bestanden in een ander formaat dan VCD, LXT2 of FST en u wilt deze dump converteren
bestandstypen naar een van deze versies, de kosten van schijfruimte en tijd kunnen maken
dumpfiles die Covered vereist ongewenst. Bovendien, hoewel Covered als VPI wordt gebruikt
module zal uw simulatiesnelheid vertragen, het is zeer waarschijnlijk dat de totale tijd besteed
het simuleren van uw ontwerp en het scoren van het ontwerp in één stap zal korter zijn dan dit in
twee stappen. Als gevolg hiervan kan het configuratiehulpprogramma van Covered VPI-ready bibliotheken genereren voor
de volgende gratis en commerciële simulatoren (Icarus Verilog, CVER en VCS).

Om automatisch de VPI-ready bibliotheekbestanden te bouwen bij het genereren van Covered vanaf de bron,
specificeer gewoon een of meer van de volgende zaken wanneer u het hulpprogramma "configure" uitvoert in de
basis Overdekte directory: --with-iv= , --met-vcs=
pad>, --met-cver= . Nadat Covered is geconfigureerd, typt u gewoon
'make' en 'make install'. Hiermee worden de VPI-ready bibliotheekbestanden in het
installatie libexec directory (standaard is dit pad /usr/local/libexec).

Voordat u klaar bent om het ontwerp te compileren, moet u eerst een CDD-bestand maken, een top-level
Verilog-bestand en een PLI-tabelbestand (het laatste bestand is alleen nodig voor de VCS-compiler).
Dit wordt gedaan door het specificeren van de -vpi (bestandsnaam) optie voor het scorecommando van Covered. Als Nee
bestandsnaam wordt gespecificeerd na -vpi, zullen de bestanden covered_vpi.v en covered_vpi.ta b zijn
gemaakt samen met het gegenereerde dekkingsbestand. Merk op dat deze stap alleen hoeft te zijn
eenmaal uitgevoerd, tenzij de ontwerpbestanden veranderen. U bent nu klaar om de
simulator.

Als u een Icarus Verilog-simulatie samenstelt, voegt u gewoon '-m toe
/usr/local/libexec/covered.vpi covered_vpi.v' toe aan de opdrachtregel 'iverilog'. Eenmaal
compilatie is voltooid, voert u het gegenereerde uitvoerbare bestand uit zoals u normaal zou doen.

Als u een CVER-simulatie samenstelt, hoeft u alleen maar toe te voegen
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' naar de
'cver'-opdrachtregel.

Als u een VCS-simulatie samenstelt, voegt u gewoon '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' naar de 'vcs'
opdrachtregel. Zodra de compilatie is voltooid, voert u het gegenereerde uitvoerbare bestand uit zoals u
normaal zou.

Als u een NC-Verilog-simulatie aan het compileren bent, schakelt u over naar de irun-opdracht van NC-Verilog om te laden
het gedekte gedeelde object: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
en schakel alle toegang in met '-access +rwc'. U kunt de oproep $covered_sim hardcoderen
uw RTL of u kunt het dynamisch uitvoeren met behulp van de CLI, door de -input input.tcl toe te voegen
overschakelen naar irun. Waar het bestand input.tcl er als volgt uitziet en tb.dut het
dekkingsinstantie:
bel -systf {$covered_sim} {"scored.cdd"} tb.dut
lopen

Er zijn twee plusargs die kunnen worden doorgegeven aan het gegenereerde uitvoerbare bestand wanneer het wordt uitgevoerd
Covered zal ontleden. De '+covered_cdd= ' optie zorgt ervoor dat Covered de
gescoorde ontwerpinhoud naar het CDD-bestand gespecificeerd door . Hierdoor zijn meerdere runs mogelijk
van de simulator om verschillende CDD-bestanden te genereren zonder opnieuw te compileren
voorkomen. De optie '+covered_debug' zal ervoor zorgen dat Covered veel overmatige uitvoer dumpt
over de interne runtimestatus tijdens simulatie. Deze uitvoer wordt alleen gegenereerd
als Covered is geconfigureerd met de optie --enable-debug. Deze plusarg-optie zou dat niet moeten doen
worden gebruikt door reguliere gebruikers, aangezien het in de eerste plaats bedoeld is om de ontwikkelaars van Covered in te helpen
debuggen.

AUTEURS

Trevor Williams[e-mail beveiligd]>

Gebruik gedekt online met behulp van onworks.net-services