gedekt - Online in de cloud

PROGRAMMA:

NAAM

Gedekt - Verilog Code Coverage Analyzer

SYNTAXIS

bedekt [global_options] partituur [opties]
bedekt [global_options] samensmelten [opties] bestaande_database database_to_merge+
bedekt [global_options] verslag [opties] database_bestand
bedekt [global_options] rangschikken [opties] database_naar_rank database_naar_rank+
bedekt [global_options] uitsluiten [opties] uitsluiting_id+ database_bestand

PRODUCTBESCHRIJVING

Overdekte is een Verilog-tool voor het analyseren van codedekking die nuttig kan zijn om te bepalen hoe
Welnu, een diagnostische testsuite dekt het ontwerp dat wordt getest. Overdekte leest in de
Verilog-ontwerpbestanden en een VCD-, LXT2- of FST-geformatteerde dumpfile van een diagnostische run en
genereert een databasebestand genaamd een Coverage Description Database (CDD)-bestand, met behulp van de
opdracht scoren. Het scorecommando van Covered kan ook worden gebruikt om een ​​CDD-bestand te genereren
en een Verilog-module voor het gebruik van Covered als VPI-module in een testbench die kan verkrijgen
dekkingsinformatie parallel met simulatie (zie GEBRUIK MAKEND VAN BEHANDELD AS A VPI MODULE). De
het resulterende CDD-bestand kan worden samengevoegd met andere CDD-bestanden van hetzelfde ontwerp om te maken
geaccumuleerde dekking, met behulp van de opdracht samenvoegen. Zodra een CDD-bestand is gemaakt, kan de gebruiker:
gebruik Covered om verschillende door mensen leesbare dekkingsrapporten in ASCII-indeling te genereren of gebruik
Covered's GUI om interactief naar dekkingsresultaten te kijken, met behulp van de rapportopdracht. Indien
onbedekte dekkingspunten worden gevonden die de gebruiker wil uitsluiten van dekking, dit kan
worden afgehandeld met ofwel de opdrachtregel sluit de opdracht uit of binnen de GUI. Wanneer meerdere
CDD-bestanden zijn gemaakt op basis van hetzelfde ontwerp, de gebruiker kan een dekkingsclassificatie verkrijgen van
die CDD-bestanden om een ​​ideale volgorde voor regressietesten te bepalen en om te begrijpen
welke CDD-bestanden kunnen worden uitgesloten van regressies vanwege hun onvermogen om nieuw te raken
dekking punten. Bovendien, als onderdeel van Covered's scorecommando, raceconditie
mogelijkheden zijn te vinden in de ontwerpbestanden en kunnen ofwel worden genegeerd, gemarkeerd als waarschuwingen
of gemarkeerd als fouten. Door racecondities als fouten op te geven, kan Covered ook worden gebruikt
als een race condition checker.

GLOBAL OPTIES

Deze opties worden direct na 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 oplossen van problemen met hulpprogramma's. Opmerking: dit
optie is nu alleen beschikbaar wanneer gedekt is gebouwd met de --enable-debug
configuratie optie.

-h Helpen. Geef deze gebruiksinformatie weer.

-P [bestandsnaam]
Profileringsmodus. Schakelt interne broncodeprofiler in die een
profileringsrapport van het run-commando naar ofwel de opgegeven bestandsnaam of, zo nee
bestandsnaam aanwezig is, naar een bestand genaamd gedekt.prof. Deze optie is alleen beschikbaar
indien de --enable-profilering configuratieoptie is opgegeven toen Gedekt 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 waarschuwing
berichten en de informatie over de gedekte koptekst.

-v Versie. Toon huidige Gedekte versie.

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 door mensen leesbare dekkingsrapporten uit databasebestand of start de dekking
rapport 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 -x optie) 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 in
het opgegeven CDD-bestand.

SCORE COMMAND

De volgende opties zijn geldig voor het scorecommando:

-A ovl Zorgt ervoor dat OVL-beweringen worden gebruikt voor dekking van beweringen. Deze vlag moet worden gegeven
naar het scorecommando als metrische gegevens over de dekking van beweringen in het rapport nodig zijn
opdracht.

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

-klik [bestandsnaam]
Zorgt ervoor dat de opdrachtregel debugger wordt gebruikt tijdens het scoren van VCD/LXT2/FST dumpfiles.
If bestandsnaam is opgegeven, bevat dit bestand informatie die is opgeslagen in een eerdere oproep
om op de CLI op te slaan en ervoor te zorgen dat de geschiedenis in dit bestand opnieuw wordt afgespeeld
voorafgaand aan de CLI-opdrachtprompt. Indien bestandsnaam niet is opgegeven, zal de CLI-prompt
direct beschikbaar zijn bij de start van de simulatie. Deze optie is alleen beschikbaar
wanneer Gedekt is geconfigureerd met de --enable-debug optie.

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

-dumpvars [bestandsnaam]
Als deze optie is opgegeven zonder de opties -vcd of -lxt, wordt het ontwerp ontleed,
er wordt een CDD-bestand gemaakt en een Verilog-modulebestand op het hoogste niveau met de naam bestandsnaam (als dit
waarde is opgegeven) of "covered_dump.v" (if bestandsnaam is niet gespecificeerd) is gemaakt.
Dit bestand wordt gebruikt in de compilatie van de simulator om een ​​dumpbestand te maken dat is
geoptimaliseerd voor het verkrijgen van dekking voor het opgegeven CDD-bestand. Als ofwel de -vcd of
-lxt opties zijn opgegeven, heeft deze optie 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_name=waarde
Definieert de opgegeven naam voor de opgegeven waarde.

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

-ea Sluit alle altijd-blokkades uit om in aanmerking te komen voor dekking.

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

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

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

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

-F module_name=[in_expr,]out_expr
Geeft aan de parser aan waar de FSM in module te vinden is module naam welke
heeft een input state expressie genaamd in_uitdr en output staat expressie genaamd
uit_expr. Indien in_uitdr is niet gespecificeerd, uit_expr wordt gebruikt als zowel de invoer als
output staat expressie.

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

-vst bestandsnaam
Naam van FST-dumpbestand om ontwerp mee te scoren. Als -vcd, -lxt of deze optie niet is
gebruikt, zal Covered alleen een eerste CDD-bestand van het ontwerp maken 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. Indien modulenaam= is opgegeven, gebruikt de parser de
gespecificeerde Verilog-standaard alleen voor die module, waardoor de rest van het ontwerp
gebruik de wereldwijde standaard. Standaard is de wereldwijde standaard ingesteld op de meest recente
versie (3). Deze optie kan meer dan één keer worden opgegeven voor een bepaalde oproep naar de
score commando; als de optie -g echter meer specificeert dan de globale waarde (dwz
zonder de moduul= prefix), wordt alleen de laatste optiewaarde gebruikt.

-h Geeft deze Help-informatie 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 van het hoogste niveau is
module 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 niet is
gebruikt, zal Covered alleen een eerste CDD-bestand van het ontwerp maken en niet
probeer het ontwerp te scoren.

-m bericht
Hiermee kan de gebruiker informatie over dit CDD-bestand opgeven. Deze informatie kan
alles zijn (berichten met witruimte moeten worden omgeven door dubbele aanhalingstekens
cijfers), maar kan iets over de simulatieargumenten bevatten om gemakkelijker
koppel het CDD-bestand aan de simulatie ervan om het CDD-bestand opnieuw te maken.

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

-p bestandsnaam
Overschrijft de standaard bestandsnaam die wordt gebruikt om tussenliggende preprocessor-uitvoer op te slaan.

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

-rs Wanneer controles van racecondities worden geschonden, worden de overtredende logische blokken verwijderd
van dekkingsoverweging en alle output wordt onderdrukt met betrekking tot de race
voorwaarde overtreding. Zie gebruikersdocumentatie voor meer informatie over race
conditie controle gebruik.

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

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

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

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

-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 aanroepen van 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 tijdschaal specificeren voor de gegenereerde Verilog-module
gemaakt met de optie -vpi/-dumpvars. Als deze optie niet is opgegeven, nee
tijdschaal zal worden 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
Als er wordt gescoord, kan de gebruiker met deze optie zien hoe ver de simulator is
vorderde door de huidige tijdstap uit te voeren naar standaarduitvoer. De waarde van
aantal specificeert hoeveel tijdstappen mogen worden gesimuleerd voordat ze worden uitgevoerd
de huidige tijdstap (resulteert in minder oproepen naar de uitvoerstroom).

-T (min|typ|max)
Specificeert welke waarde moet worden gebruikt bij het tegenkomen van een vertragingsexpressie in het formulier:
min:typ: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, zal Covered alleen een eerste CDD-bestand van het ontwerp maken en niet
probeer het ontwerp te scoren.

-vpi [bestandsnaam]
Als deze optie is opgegeven zonder de opties -vcd, -lxt of -fst, is het ontwerp
ontleed, 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 met de naam bestandsnaam.ta b of "covered_vpi.v.ta b".
Beide bestanden worden gebruikt bij het samenstellen van de simulator om Covered as . te gebruiken
een VPI-module. Als de opties -vcd, -lxt of -fst zijn opgegeven, is deze optie
heeft geen effect.

-Wignore
Onderdruk de uitvoer van waarschuwingen tijdens het ontleden en simuleren van codes.

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

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

MERGE COMMAND

De volgende opties zijn geldig voor de samenvoegopdracht:

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

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

eerste - CDD-bestand dat de eerste reden van uitsluiting bevatte, wordt gebruikt.

laatste - CDD-bestand dat de laatste reden van uitsluiting bevatte, wordt gebruikt.

allen - Alle uitsluitingsredenen worden gebruikt (aaneengeschakeld).

nieuwe - Gebruik de nieuwste opgegeven reden voor uitsluiting.

oud - Gebruik de oudste opgegeven reden voor uitsluiting.

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

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

-h Geeft deze Help-informatie weer.

-m bericht
Hiermee kan de gebruiker informatie over dit CDD-bestand opgeven. Deze informatie kan
alles zijn (berichten met witruimte moeten worden omgeven door dubbele aanhalingstekens
merken).

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

VERSLAG COMMAND

De volgende opties zijn geldig met het rapportcommando:

-b Als de uitgebreide uitvoer van combinatorische logica wordt gerapporteerd en de uitdrukking een vector is
bewerking, geeft deze optie de dekkingsinformatie bitsgewijze uit.

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

-d (s|d|v)
Niveau van detail dat moet worden verstrekt in informatie over dekkingsrapporten (s = samenvatting, d =
gedetailleerd, v = uitgebreid). Standaard is samenvatting.

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

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

-h Geeft deze Help-informatie weer.

-i Biedt dekkingsinformatie voor instanties in plaats van module.

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

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

-s Onderdrukt de uitvoer van modules/instanties die geen dekkingsinformatie bevatten
naar het rapport. Wordt gebruikt om mogelijk 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 regelbreedte (in tekens) die kan worden gebruikt om Verilog . uit te voeren
informatie. Als deze optie niet is gespecificeerd, zal alle Verilog-code in het rapport:
behoud dezelfde opmaak als gespecificeerd in de originele Verilog-code. Als dit
optie is opgegeven, wordt de Verilog-code geformatteerd om zoveel mogelijk van de huidige
regel mogelijk, waarbij tekst wordt teruggelopen wanneer de regel de maximale regelbreedte bereikt. De
standaard maximale regelbreedte is 115 tekens (deze waarde wordt gebruikt als er geen nummer is
opgegeven met de -w optie). Als een nummer is opgegeven met de -w optie, is dit
waarde wordt gebruikt voor de maximale lijnbreedte.

-x Voert de uitsluitings-ID's uit van alle ongedekte en uitgesloten dekkingspunten binnen
haakjes 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 rank commando:

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

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

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

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

-h Toont help-informatie voor het rang-commando.

-alleen-namen
Indien opgegeven, worden alleen de benodigde CDD-bestandsnamen uitgevoerd die moeten worden uitgevoerd in de
volgorde waarin ze moeten worden uitgevoerd. Als deze optie niet is ingesteld, is 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 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)
om welke reden dan ook uitgesloten).

-vereist-lijst bestandsnaam
Naam van een bestand dat een lijst bevat met CDD's die als verplichte CDD's moeten worden beschouwd
rangschikken. De bestandsnamen moeten worden gescheiden door witruimte- of nieuweregeltekens
binnen het bestand.

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

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

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

-gewicht-fsm aantal
Specificeert een relatieve weging voor FSM-status en statusovergangsdekking die wordt gebruikt om:
rangschik niet-unieke dekkingspunten. De waarde van aantal is relatief aan de waarden
Gebruikt in de -gewicht-schakelaar, -gewicht-geheugen, -gewicht-kam, -gewicht-bewering 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-schakelaar,
-gewicht-geheugen, -gewicht-kam, -gewicht-fsm en -gewicht-bewering 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-schakelaar,
-gewichtslijn, -gewicht-kam, -gewicht-fsm en -gewicht-bewering rang commando opties.

-gewicht-schakelaar aantal
Specificeert een relatieve weging voor toggle-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, -gewicht-kam, -gewicht-fsm en -gewicht-bewering rang commando opties.

UITSLUITEN COMMAND

De volgende opties zijn geldig met de opdracht uitsluiten:

-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 opdracht uitsluiten.

-m Hiermee kan een uitsluitingsbericht worden gekoppeld aan eventuele dekkingspunten die gaan
van de opgenomen staat naar de uitgesloten staat. Voor elk dekkingspunt dat voldoet aan
deze vereiste, wordt de gebruiker gevraagd een reden in te voeren. De reden kan zijn:
elke lengte en elk aantal lijnen; alle opmaaktekens (dwz
nieuwe regels, tabbladen, extra spaties, enz.) worden verwijderd en vervangen door een enkele
ruimte wanneer deze later wordt weergegeven. Om de invoer van een bericht te beëindigen, drukt u op Return,
voer een enkel punt (.) teken in en druk nogmaals op Return. De laatste periode
karakter zal geen deel uitmaken van het uitsluitingsbericht.

-p Zorgt ervoor dat alle gespecificeerde dekkingspunten hun huidige uitsluitingsstatus afdrukken en
reden van uitsluiting (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 om te abstraheren
dekkingsinformatie, Covered kan ook worden gebruikt als een VPI-module binnen een simulator om
deze informatie eruit halen. De voordelen van het gebruik van Covered als VPI ten opzichte van een dumpfile-lezer
omvatten het volgende. Ten eerste kunnen VCD-bestanden extreem groot zijn, vooral voor lange
simulaties, waardoor kostbare 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, kunnen de kosten van schijfruimte en tijd het maken van
dumpfiles die Covered vereist ongewenst. Bovendien, hoewel u Covered als VPI gebruikt
module uw simulatiesnelheid vertraagt, is het zeer waarschijnlijk dat de totale tijd besteed aan
het simuleren van uw ontwerp en het scoren van het ontwerp in één stap zal korter zijn dan dit te doen in
twee stappen. Als resultaat kan het configuratieprogramma 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 bij het uitvoeren van het "configure" hulpprogramma in de
base Overdekte directory: --with-iv= , --with-vcs=
pad>, --with-cver= . Nadat Covered is geconfigureerd, typt u gewoon
'make' en 'make install'. Hiermee worden de VPI-ready bibliotheekbestanden in de
installatiemap libexec (standaard is dit pad /usr/local/libexec).

Voordat je klaar bent om het ontwerp te compileren, moet je 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 is opgegeven na -vpi, de bestanden gedekt_vpi.v en gedekt_vpi.ta b zullen 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 . te compileren
simulator.

Als u een Icarus Verilog-simulatie aan het compileren bent, voegt u eenvoudig '-m . toe
/usr/local/libexec/covered.vpi covered_vpi.v' naar de 'iverilog'-opdrachtregel. Een keer
compilatie is voltooid, voert u het gegenereerde uitvoerbare bestand uit zoals u dat normaal zou doen.

Als u een CVER-simulatie aan het samenstellen bent, voegt u gewoon
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' naar de
'cver'-opdrachtregel.

Als u een VCS-simulatie aan het compileren bent, voegt u eenvoudig '+vpi -load' toe
/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 het irun-commando van NC-Verilog om
het gedekte gedeelde object: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
en schakel alle toegang in met '-access +rwc'. U kunt de $covered_sim-aanroep hardcoderen naar
uw RTL of u kunt het dynamisch uitvoeren met behulp van de CLI, door het toevoegen van de -input input.tcl
overschakelen naar irun. Waar het input.tcl-bestand er als volgt uitziet en tb.dut de
dekkingsinstantie:
call -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:
Overdekte zal ontleden. De '+covered_cdd= ' optie zorgt ervoor dat Covered de . uitvoert
gescoorde ontwerpinhoud naar het CDD-bestand gespecificeerd door . Dit maakt meerdere runs mogelijk
van de simulator om verschillende CDD-bestanden te genereren zonder dat een hercompilatie nodig is om
voorkomen. De optie '+covered_debug' zorgt ervoor dat Covered veel buitensporige output dumpt
over de interne runtime-status tijdens simulatie. Deze uitvoer wordt alleen gegenereerd
als Covered was geconfigureerd met de optie --enable-debug. Deze plusarg-optie mag niet
worden gebruikt door gewone gebruikers, aangezien het in de eerste plaats bedoeld is om de ontwikkelaars van Covered in te helpen
debuggen.

AUTEURS

Trevor Williamsfase1geo@gmail.com>

Gebruik gedekt online met onworks.net-services