coperto - Online nel Cloud

PROGRAMMA:

NOME

Coperto - Analizzatore di copertura del codice Verilog

SINTASSI

coperto [opzioni_globali] Punto [Opzioni]
coperto [opzioni_globali] unire [Opzioni] database_esistente database_da_unire+
coperto [opzioni_globali] rapporto [Opzioni] file_database
coperto [opzioni_globali] classifica [Opzioni] database_in_classifica database_in_classifica+
coperto [opzioni_globali] escludere [Opzioni] id_esclusione+ file_database

DESCRIZIONE

Coperto è uno strumento di analisi della copertura del codice Verilog che può essere utile per determinare come
bene, una suite di test diagnostici copre il progetto in esame. Letture coperte in
File di progettazione Verilog e un file di dump in formato VCD, LXT2 o FST da un'esecuzione diagnostica e
genera un file di database chiamato file Coverage Description Database (CDD), utilizzando il
comando punteggio. Il comando del punteggio di Covered può essere utilizzato in alternativa per generare un file CDD
e un modulo Verilog per l'utilizzo di Covered come modulo VPI in un banco di prova che può ottenere
informazioni sulla copertura in parallelo con la simulazione (vedi UTILIZZO COPERTO AS A VPI MODULO). Il
il file CDD risultante può essere unito ad altri file CDD dallo stesso design per creare
copertura accumulata, utilizzando il comando di unione. Una volta creato un file CDD, l'utente può
utilizzare Covered per generare vari rapporti di copertura leggibili dall'uomo in un formato ASCII o utilizzare
La GUI di Covered per esaminare in modo interattivo i risultati della copertura, utilizzando il comando report. Se
vengono trovati punti di copertura scoperti che l'utente vuole escludere dalla copertura, questo può
essere gestito con il comando di esclusione della riga di comando o all'interno della GUI. Quando più
I file CDD sono creati dallo stesso design, l'utente può ottenere una classifica di copertura di
quei file CDD per determinare un ordine ideale per i test di regressione e capire
quali file CDD possono essere esclusi dalle regressioni a causa della loro incapacità di colpire nuovi
punti di copertura. Inoltre, come parte del comando punteggio di Covered, race condition
le possibilità si trovano nei file di progettazione e possono essere ignorate, contrassegnate come avvertenze
o contrassegnati come errori. Specificando le condizioni di gara come errori, è possibile utilizzare anche Covered
come controllore delle condizioni di gara.

GLOBAL VERSIONI

Queste opzioni sono poste immediatamente dopo la parola chiave coperto nella riga di comando. Essi
può essere utilizzato per qualsiasi comando (ad eccezione di -v ed -h) e hanno lo stesso effetto in
ogni caso.

-B Offuscare. Offusca tutti i nomi sensibili al design prima dell'output in
formato leggibile dall'utente. Questa opzione è utile quando si condivide l'output con il
sviluppatori di Covered per scopi di debug.

-D Debug. Visualizza informazioni utili per il debug dei problemi dello strumento. Nota: questo
l'opzione è ora disponibile solo quando coperto è compilato con --enable-debug
opzione di configurazione.

-h Aiuto. Visualizza queste informazioni sull'utilizzo.

-P [Nome del file]
Modalità di profilazione. Attiva il profiler del codice sorgente interno che produrrà a
rapporto di profilazione del comando di esecuzione a uno specificato Nome del file o, se no
Nome del file è presente, in un file chiamato coperto.prof. Questa opzione è disponibile solo
se l' --abilita-profilazione l'opzione di configurazione è stata specificata quando coperto era
costruito.

-Q Modalità silenziosa. Fa sì che tutte le uscite vengano soppresse.

-T Modalità concisa. Fa sì che tutte le uscite vengano soppresse ad eccezione dell'avviso
messaggi e le informazioni di intestazione coperte.

-v Versione. Visualizza la versione coperta corrente.

COMANDI

Punto Analizza i file Verilog e i file dump VCD/LXT2/FST per creare il file di database utilizzato per
fusione e segnalazione.

unire Unisce due o più file di database in uno.

rapporto Genera rapporti di copertura leggibili dall'uomo dal file di database o avvia la copertura
interfaccia grafica del rapporto.

classifica Genera un report che specifica un ordine ideale per eseguire regressioni e specifica
File CDD che non aggiungono nuove informazioni sulla copertura (e possono quindi essere esclusi
da regressioni, se lo si desidera).

escludere
Consente uno o più punti di copertura (identificati con ID di esclusione in un rapporto
generato con l'opzione -x) per avere la loro proprietà di esclusione attivata (include to
escludere o escludere da includere) e, se la proprietà di esclusione è impostata su escludere,
consentire facoltativamente di associare un motivo per l'esclusione e memorizzarlo in
il file CDD specificato.

PUNTO COMANDO

Le seguenti opzioni sono valide per il comando punteggio:

-A ovulo Fa in modo che le asserzioni OVL vengano utilizzate per la copertura delle asserzioni. Questa bandiera deve essere data
al comando score se nel report sono necessarie metriche di copertura dell'asserzione
comando.

-cdd banca dati
Uguale all'opzione -o. Utile quando il file CDD in fase di valutazione è un input per lo spartito
comando.

-Cli [Nome del file]
Fa in modo che il debugger della riga di comando venga utilizzato durante l'assegnazione del punteggio del file di dump VCD/LXT2/FST.
If Nome del file è specificato, questo file contiene informazioni salvate in una chiamata precedente
per savehist sulla CLI e fa sì che la cronologia contenuta in questo file venga riprodotta
prima del prompt dei comandi della CLI. Se Nome del file non è specificato, verrà visualizzato il prompt della CLI
essere immediatamente disponibile all'inizio della simulazione. Questa opzione è disponibile solo
quando coperto è configurato con il --enable-debug opzione.

-conservatore
Se viene specificata questa opzione, tutti i blocchi logici che contengono codice che potrebbe causare
discrepanze di copertura che portano a risultati di copertura potenzialmente imprecisi sono
rimosso dalla considerazione della copertura. Vedere la Guida per l'utente per ulteriori informazioni su cosa
tipo di codice può portare a imprecisioni di copertura.

-dumpvar [Nome del file]
Se questa opzione viene specificata senza le opzioni -vcd o -lxt, il disegno viene analizzato,
viene creato un file CDD e viene chiamato un file del modulo Verilog di primo livello Nome del file (se questo
valore è specificato) o "covered_dump.v" (se Nome del file non è specificato) viene creato.
Questo file viene utilizzato nella compilazione del simulatore per creare un file dump che sia
ottimizzato per ottenere la copertura per il file CDD specificato. Se il -vcd o
-lxt sono specificate le opzioni, questa opzione non ha effetto. Vedere la Guida per l'utente per
maggiori informazioni su come utilizzare questa opzione.

-D definire_nome
Definisce il nome specificato su 1.

-D nome_definito=valore
Definisce il nome specificato sul valore specificato.

-e nome_blocco
Nome del modulo, attività, funzione o blocco di inizio/fine denominato per non assegnare il punteggio. Causa tutto
anche i sottoblocchi nell'albero Verilog sotto questo blocco non devono essere valutati.

-ea Esclude sempre tutti i blocchi dall'essere considerati per la copertura.

-ec Esclude tutti gli incarichi continuativi dall'essere presi in considerazione per la copertura.

-uovo Esclude tutti i blocchi iniziali dall'essere considerati per la copertura.

-ef Esclude tutti i blocchi finali dall'essere considerati per la copertura.

-ep [Nome]
Esclude tutto il codice trovato tra '// copertura disattivata' e '// copertura attiva' pragma
incorporato nel design. Se Nome è specificato, la parola chiave nel pragma sarà
essere cambiato con quel nome invece della "copertura" predefinita, consentendo all'utente di
modificare l'aspetto del pragma se è in conflitto con altri strumenti.

-F nome_modulo=[in_expr,]out_expr
Indica al parser dove trovare l'FSM situato nel modulo nome_modulo quale
ha un'espressione di stato di input chiamata in_espr e l'espressione dello stato di uscita è chiamata
out_espr. Se in_espr non è specificato, out_espr viene utilizzato sia come input che come
espressione dello stato di uscita.

-f Nome del file
Nome del file contenente argomenti aggiuntivi da analizzare.

-prima Nome del file
Nome del file di dump FST con cui segnare il design. Se -vcd, -lxt o questa opzione non lo sono
utilizzato, Covered creerà solo un file CDD iniziale dal design e non lo farà
tentare di segnare il design.

-g [nome_modulo=](1|2|3)
Consente all'utente di limitare il parser a una generazione specifica del Verilog
standard per un modulo specifico o l'intero progetto, dove 1=Verilog-1995,
2=Verilog-2001, 3=Verilog di sistema. Se nome_modulo= è specificato, il parser usa il
standard Verilog specificato solo per quel modulo, consentendo al resto del progetto di
utilizzare lo standard globale. Per impostazione predefinita, lo standard globale è impostato sul più recente
versione (3). Questa opzione può essere specificata più di una volta per una data chiamata al
comando punteggio; tuttavia, se l'opzione -g specifica più del valore globale (cioè,
senza il modulo= prefisso), verrà utilizzato solo l'ultimo valore dell'opzione.

-h Visualizza queste informazioni di aiuto.

-I elenco
Directory per trovare i file Verilog inclusi.

-i nome_istanza
Verilog riferimento gerarchico al modulo che si trova in cima all'albero da essere
segnato. Questa opzione è necessaria se il modulo per verificare la copertura non è di livello superiore
modulo nella progettazione. Se non specificato, -t viene utilizzato il valore.

-lxt Nome del file
Nome del dumpfile LXT2 con cui segnare il design. Se -vcd, -fst o questa opzione non lo sono
utilizzato, Covered creerà solo un file CDD iniziale dal design e non lo farà
tentare di segnare il design.

-m messaggio
Consente all'utente di specificare informazioni su questo file CDD. Queste informazioni possono
essere qualsiasi cosa (i messaggi con spazi devono essere racchiusi tra virgolette doppie
segni), ma può includere più facilmente qualcosa sugli argomenti di simulazione
collegare il file CDD alla sua simulazione allo scopo di ricreare il file CDD.

-o banca dati
Nome del database in cui scrivere le informazioni sulla copertura. Se non specificato, l'output
il nome del file del database sarà "cov.cdd".

-p Nome del file
Sostituisce il nome file predefinito utilizzato per memorizzare l'output del preprocessore intermedio.

-P parametro_ambito=valore
Esegue un defparam sul parametro specificato con valore.

-rS Quando i controlli delle condizioni di gara vengono violati, i blocchi logici incriminati vengono rimossi
dalla considerazione della copertura e tutto l'output è soppresso per quanto riguarda la gara
violazione della condizione. Consulta la documentazione per l'utente per ulteriori informazioni su race
controllo delle condizioni d'uso.

-rW Quando i controlli delle condizioni di gara vengono violati, i blocchi logici incriminati vengono rimossi
dalla considerazione della copertura e viene emessa la violazione delle condizioni di gara. Questo è
il comportamento predefinito per la gestione delle race condition. Per ulteriori informazioni, vedere la documentazione per l'utente
informazioni sull'utilizzo del controllo delle condizioni di gara.

-Rif Quando i controlli delle condizioni di gara vengono violati, il motivo viene emesso e il punteggio termina
subito. Consulta la documentazione per l'utente per ulteriori informazioni sulle condizioni di gara
verifica dell'utilizzo.

-ri[=modulo Nome]
If modulo Nome non è specificato, il controllo delle condizioni di gara viene saltato del tutto per
l'intero disegno. Se modulo Nome è specificato, il controllo delle condizioni di gara viene saltato
per il modulo specificato. Consulta la documentazione per l'utente per ulteriori informazioni su race
controllo delle condizioni d'uso.

-rp[=Nome])
Utilizza pragma incorporati per ignorare un determinato codice dal controllo delle condizioni di gara
considerazione (se Nome viene specificato che viene utilizzato come parola chiave pragma). Vedi utente
documentazione per ulteriori informazioni sull'utilizzo del controllo delle condizioni di gara.

-S Emette statistiche di simulazione al termine della simulazione. Questa informazione è
attualmente utile solo per gli sviluppatori di Covered.

-t di livello superiore modulo
Specifica il nome del modulo del modulo più in alto che verrà misurato. Notare che
questo modulo non deve essere il modulo più in alto nel simulatore. Questo campo
è richiesto per tutte le chiamate al comando punteggio.

-top_ts tempi
Questa opzione è valida solo quando sono state specificate le opzioni -vpi o -dumpvars.
Questa opzione consente all'utente di specificare una scala temporale per il modulo Verilog generato
creato con l'opzione -vpi/-dumpvars. Se questa opzione non è specificata, no
la tempistica verrà creata per il modulo generato. Il valore di tempi is
specificato come segue:

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

Se è necessario uno spazio bianco tra i vari valori, posizionare l'intero contenuto di
tempi tra virgolette.

-ts numero
Quando si verifica il punteggio, questa opzione consente all'utente di vedere fino a che punto è arrivato il simulatore
progredito emettendo il timestep corrente nell'output standard. Il valore di
numero specifica quanti passaggi temporali possono essere simulati prima dell'output
il timestep corrente (risulta in meno chiamate al flusso di output).

-T (min|tip|max)
Specifica quale valore utilizzare quando si incontra un'espressione di ritardo nel modulo:
min:tipo:max. Se questa opzione non è specificata, per impostazione predefinita viene utilizzato 'typ' select.

-v Nome del file
Nome del file Verilog specifico da valutare.

-vcd Nome del file
Nome del file di dump VCD con cui segnare il design. Se -lxt, -fst o questa opzione non lo sono
utilizzato, Covered creerà solo un file CDD iniziale dal design e non lo farà
tentare di segnare il design.

-vpi [Nome del file]
Se questa opzione è specificata senza le opzioni -vcd, -lxt o -fst, il design è
analizzato, viene creato un file CDD e viene chiamato un file del modulo Verilog di primo livello Nome del file
(se questo valore è specificato) o "covered_vpi.v" (se Nome del file non è specificato) è
creato insieme a un file di tabella PLI chiamato Nome del file.ta b o "coperto_vpi.v.ta b".
Entrambi questi file vengono utilizzati nella compilazione del simulatore per utilizzare Covered as
un modulo VPI. Se sono specificate le opzioni -vcd, -lxt o -fst, questa opzione
non ha effetto.

-Wignore
Sopprime l'output degli avvisi durante l'analisi e la simulazione del codice.

-y elenco
Directory per trovare file Verilog non specificati.

+liext+.estensione[+.estensione]*+
Estensioni dei file Verilog per consentire il punteggio.

MERGE COMANDO

Le seguenti opzioni sono valide per il comando di unione:

-d Nome del file
Directory in cui cercare i file CDD da includere. Questa opzione è usata insieme
con la -est opzione che specifica l'estensione del file da utilizzare per determinare
quali file nella directory sono file CDD.

-R (prima di tutto|ultimo|contro tutti i|nuovi|vecchio)
Specifica come gestire la risoluzione del motivo di esclusione. Se due o più file CDD
fusione hanno motivi di esclusione specificati per lo stesso punto di copertura, il
il motivo dell'esclusione deve essere risolto (a meno che non sia lo stesso valore di stringa). Se
questa opzione non è specificata e viene trovato un conflitto, Covered interattivamente
richiedere input per ogni esclusione su come gestirla. Se questa opzione è
specificato, indica a Covered come gestire tutti i conflitti di motivi di esclusione. Il
i valori sono i seguenti:.br

prima di tutto - Viene utilizzato il file CDD che conteneva il primo motivo di esclusione.

ultimo - Viene utilizzato il file CDD che conteneva l'ultimo motivo di esclusione.

contro tutti i - Vengono utilizzati tutti i motivi di esclusione (concatenati).

nuovi - Utilizza il motivo di esclusione più recente specificato.

vecchio - Utilizza il motivo di esclusione più vecchio specificato.

-est estensione
Utilizzato in combinazione con il -d opzione. se no -est le opzioni sono specificate sul
riga di comando, viene utilizzato il valore predefinito di '.cdd'. Nota che un punto (.) dovrebbe
essere specificato.

-f Nome del file
Nome del file contenente argomenti aggiuntivi da analizzare.

-h Visualizza queste informazioni di aiuto.

-m messaggio
Consente all'utente di specificare informazioni su questo file CDD. Queste informazioni possono
essere qualsiasi cosa (i messaggi con spazi devono essere racchiusi tra virgolette doppie
segni).

-o Nome del file
File per l'output del nuovo database. Se questo argomento non è specificato, il
database_esistente viene utilizzato come nome del database di output.

REPORT COMANDO

Le seguenti opzioni sono valide con il comando report:

-b Se viene riportato un output verbose della logica combinatoria e l'espressione è un vettore
operazione, questa opzione emette le informazioni sulla copertura su base bit per bit.

-c If -v è specificato, visualizza solo le metriche coperte. L'impostazione predefinita è mostrare scoperto
solo informazioni.

-d (s|d|v)
Livello di dettaglio da fornire nelle informazioni del rapporto di copertura (s = riepilogo, d =
dettagliato, v = verboso). L'impostazione predefinita è riepilogo.

-e Emette tutti i punti di copertura esclusi nel file di report insieme a quelli specificati
motivi di esclusione se il -d d or -d v le opzioni sono specificate.

-f Nome del file
Nome del file contenente argomenti aggiuntivi da analizzare.

-h Visualizza queste informazioni di aiuto.

-i Fornisce informazioni sulla copertura per le istanze anziché per il modulo.

-m [l] [t] [c] [f] [r] [a] [m]
Tipo/i di metriche da segnalare. l=linea, t=toggle, c=logica combinata, f=stato FSM
e transizione di stato, r=condizioni di gara, a=asserzione, m=memoria. L'impostazione predefinita è ltcf.

-o Nome del file
File a cui inviare le informazioni del rapporto. L'impostazione predefinita è l'output standard.

-s Impedisce l'output di moduli/istanze che non contengono informazioni sulla copertura
alla relazione. Utilizzato per aiutare a eliminare le informazioni potenzialmente prive di significato dal
rapporto.

-v Deprecato. Sostituito da '-dd' o '-d v'.

-vista Avvia l'interfaccia GUI per i rapporti interattivi sulla copertura.

-w (numero)
Specifica la larghezza massima della linea (in caratteri) che può essere utilizzata per l'output di Verilog
informazione. Se questa opzione non è specificata, tutto il codice Verilog nel report lo farà
mantengono la stessa formattazione specificata nel codice Verilog originale. Se questo
l'opzione è specificata, il codice Verilog verrà formattato per utilizzare la maggior parte dell'attuale
linea possibile, avvolgendo il testo quando la linea raggiunge la larghezza massima della linea. Il
la larghezza massima della riga predefinitaè115 caratteri (questo valoreèutilizzato se nessun numeroè
specificato con l'opzione -w). Se viene specificato un numero con l'opzione -w, questo
valore viene utilizzato per la larghezza massima della linea.

-x Emette gli ID di esclusione di tutti i punti di copertura scoperti ed esclusi entro
parentesi prima dell'output dettagliato associato del punto di copertura. Il
Gli ID di esclusione possono essere utilizzati per escludere/includere punti di copertura tramite l'esclusione
comando.

RANGO COMANDO

Le seguenti opzioni sono valide con il comando rank:

-d Nome del file
Directory in cui cercare i file CDD da includere. Questa opzione è usata insieme
con la -est opzione che specifica l'estensione del file da utilizzare per determinare
quali file nella directory sono file CDD.

-profondità numero
Specifica il numero minimo di file CDD necessari per raggiungere ogni punto di copertura. Il
valore di numero dovrebbe essere maggiore di zero. Il valore predefinito è 1.

-est estensione
Utilizzato in combinazione con il -d opzione. se no -est le opzioni sono specificate sul
riga di comando, viene utilizzato il valore predefinito di '.cdd'. Nota che un punto (.) dovrebbe
essere specificato.

-f Nome del file
Nome del file contenente argomenti aggiuntivi da analizzare.

-h Visualizza le informazioni della guida per il comando rank.

-solo-nomi
Se specificato, emette solo i nomi di file CDD necessari che devono essere eseguiti nel
ordine che devono essere eseguiti. Se questa opzione non è impostata, un output in stile report è
fornito di ulteriori informazioni. Questa opzione è pensata per essere utile negli script
che vogliono che solo i nomi dei file CDD vengano eseguiti come output.

-o Nome del file
Nome del file a cui inviare le informazioni sulla classifica. L'impostazione predefinita è l'output standard.

-richiesto-cdd Nome del file
Nome di CDD che dovrebbe essere considerato un CDD richiesto per classificare (cioè, non può essere
escluso per qualsiasi motivo).

-elenco-richiesto Nome del file
Nome di un file che contiene un elenco di CDD che dovrebbero essere considerati CDD obbligatori
classificare. I nomi dei file devono essere separati da spazi o caratteri di nuova riga
all'interno del file.

-v Fa sì che l'output dettagliato venga visualizzato quando viene eseguito il comando rank. emette
informazioni diagnostiche su ciascuna delle diverse fasi dell'algoritmo di classificazione
incluso runtime, numero di file CDD inclusi/esclusi e numero di copertura
punti colpiti da CDD classificati durante ogni fase. Questa informazione è destinata ad essere
utile per chi è interessato all'algoritmo di ranking e alle sue prestazioni.

-asserzione-del-peso numero
Specifica una ponderazione relativa per la copertura delle asserzioni utilizzata per classificare non univoco
punti di copertura. Il valore di numero è relativo ai valori utilizzati nel
-peso-toggle, -memoria-peso, pettine-peso, -peso-fsm ed -linea-peso classifica
opzioni di comando.

pettine-peso numero
Specifica una ponderazione relativa per la copertura della logica combinatoria utilizzata per classificare
punti di copertura non univoci. Il valore di numero è relativo ai valori utilizzati in
, il -peso-toggle, -memoria-peso, -asserzione-del-peso, -peso-fsm ed -linea-peso
rango opzioni di comando.

-peso-fsm numero
Specifica una ponderazione relativa per lo stato FSM e la copertura di transizione di stato utilizzata per
classificare i punti di copertura non unici. Il valore di numero è relativo ai valori
Utilizzata nella -peso-toggle, -memoria-peso, pettine-peso, -asserzione-del-peso ed
-linea-peso rango opzioni di comando.

-linea-peso numero
Specifica una ponderazione relativa per la copertura della linea utilizzata per classificare la copertura non univoca
punti. Il valore di numero è relativo ai valori utilizzati nel -peso-toggle,
-memoria-peso, pettine-peso, -peso-fsm ed -asserzione-del-peso rango opzioni di comando.

-memoria-peso numero
Specifica una ponderazione relativa per la copertura di memoria utilizzata per classificare la copertura non univoca
punti. Il valore di numero è relativo ai valori utilizzati nel -peso-toggle,
-linea-peso, pettine-peso, -peso-fsm ed -asserzione-del-peso rango opzioni di comando.

-peso-toggle numero
Specifica una ponderazione relativa per la copertura alternata utilizzata per classificare la copertura non univoca
punti. Il valore di numero è relativo ai valori utilizzati nel -memoria-peso,
-linea-peso, pettine-peso, -peso-fsm ed -asserzione-del-peso rango opzioni di comando.

ESCLUDERE COMANDO

Le seguenti opzioni sono valide con il comando exclude:

-f Nome del file
Specifica il nome di un file che contiene più opzioni per il comando di esclusione.
Questa opzione può essere specificata tutte le volte necessarie per una singola chiamata al
comando di esclusione.

-h Genera informazioni sull'utilizzo per il comando di esclusione.

-m Consente di associare un messaggio di esclusione a qualsiasi punto di copertura in corso
dallo stato incluso allo stato escluso. Per ogni punto di copertura che soddisfa
questo requisito, all'utente verrà richiesto di inserire un motivo. Il motivo potrebbe essere
qualsiasi lunghezza e qualsiasi numero di righe; tuttavia, tutti i caratteri di formattazione (ad es.
newline, tab, spazi extra, ecc.) verranno rimossi e sostituiti con un singolo
spazio quando viene successivamente visualizzato. Per terminare l'inserimento di un messaggio, premi un invio,
inserisci un singolo carattere punto (.) e premi nuovamente Invio. Il periodo finale
carattere non farà parte del messaggio di esclusione.

-p Fa in modo che tutti i punti di copertura specificati stampino il loro stato di esclusione corrente e
motivo di esclusione (se esiste per il punto di copertura escluso) a standard
produzione. Se questa opzione è specificata, il -m opzione verrà ignorata.

UTILIZZO COPERTO AS A VPI MODULO

Oltre a utilizzare il comando punteggio di Covered per analizzare un file VCD, LXT2 o FST da astrarre
informazioni sulla copertura, Covered può essere utilizzato anche come modulo VPI all'interno di un simulatore per
estrarre queste informazioni. I vantaggi dell'utilizzo di Covered come VPI rispetto a un lettore di file dump
include il seguente. Innanzitutto, i file VCD possono essere estremamente grandi, soprattutto per molto tempo
simulazioni, utilizzando prezioso spazio su disco. Secondo, se stai usando un simulatore che
scarica i file in un formato diverso da VCD, LXT2 o FST e vuoi convertire questi dump
tipi di file a una di queste versioni, il costo dello spazio su disco e del tempo può rendere la creazione
dumpfile che Covered richiede indesiderabili. Inoltre, utilizzando Covered come VPI
modulo rallenterà la velocità di simulazione, è molto probabile che il tempo totale speso
simulare il tuo design e assegnare un punteggio al design in un solo passaggio sarà più breve rispetto a farlo in
due passaggi. Di conseguenza, l'utilità di configurazione di Covered può generare librerie pronte per VPI per
i seguenti simulatori gratuiti e commerciali (Icarus Verilog, CVER e VCS).

Per creare automaticamente i file di libreria pronti per VPI durante la generazione di Covered dall'origine,
è sufficiente specificare uno o più dei seguenti quando si esegue l'utility "configure" nel
base Directory coperta: --with-iv= , --con-vcs=
percorso>, --with-cver= . Dopo che Covered è stato configurato, digita semplicemente
'make' e 'make install'. Questo installerà i file della libreria pronti per VPI nel
directory di installazione libexec (per impostazione predefinita questo percorso sarà /usr/local/libexec).

Prima di essere pronto per compilare il progetto, devi prima creare un file CDD, un livello superiore
File Verilog e un file di tabella PLI (l'ultimo file è necessario solo per il compilatore VCS).
Questo viene fatto specificando il -vpi (Nome del file) opzione al comando punteggio di Covered. se no
nome file è specificato dopo -vpi, i file coperti_vpi.v e coperti_vpi.ta b saranno
creato insieme al file di copertura generato. Nota che questo passaggio deve essere solo
eseguita una volta a meno che i file di disegno non cambino. Ora sei pronto per compilare il
simulatore.

Se stai compilando una simulazione Icarus Verilog, aggiungi semplicemente '-m
/usr/local/libexec/covered.vpi covered_vpi.v' alla riga di comando 'iverilog'. Una volta
la compilazione è completa, esegui il file eseguibile generato come faresti normalmente.

Se stai compilando una simulazione CVER, aggiungi semplicemente
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap covered_vpi.v' al
riga di comando 'cver'.

Se stai compilando una simulazione VCS, aggiungi semplicemente '+vpi -load
/usr/local/libexec/covered.vcs.so:covered_register covered_vpi.v' in 'vcs'
riga di comando. Una volta completata la compilazione, esegui il file eseguibile generato come preferisci
normalmente lo farebbe.

Se stai compilando una simulazione NC-Verilog, passa al comando irun di NC-Verilog per caricare
l'oggetto condiviso coperto: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
e abilita tutti gli accessi con '-access +rwc'. Puoi codificare la chiamata $covered_sim in
il tuo RTL o puoi eseguirlo dinamicamente usando la CLI, aggiungendo -input input.tcl
passare a irun. Dove il file input.tcl è simile al seguente e tb.dut è il
istanza di copertura:
call -systf {$covered_sim} {"scored.cdd"} tb.dut
eseguire il

Ci sono due plusarg che possono essere passati all'eseguibile generato quando viene eseguito che
Coperto analizzerà. Il '+coperto_cdd= L'opzione ' farà sì che Covered emetta il
contenuto del disegno segnato nel file CDD specificato da . Ciò consente più corse
del simulatore per generare diversi file CDD senza bisogno di una ricompilazione per
verificarsi. L'opzione '+covered_debug' farà sì che Covered scarichi molto output eccessivo
sul suo stato di runtime interno durante la simulazione. Questo output verrà generato solo
se Covered è stato configurato con l'opzione --enable-debug. Questa opzione plusarg non dovrebbe
essere utilizzato da utenti regolari in quanto è principalmente destinato ad aiutare gli sviluppatori di Covered in
debug.

AUTORI

Trevor Williams[email protected]>

Utilizzo coperto online utilizzando i servizi onworks.net