Coperto Strumento di analisi della copertura del codice Verilog gratuito e open source
Scarica ora

Coperto Classifica e riepilogo

Coperto Tag

Leggere creare analizzare Leggi il file di Verilog. Analisi dei file di Verilog. Genera CDD.

Coperto Descrizione

Strumento di analisi della copertura del codice Verilog gratuito e open source Letture coperte nei file di progettazione di Verilog e un DumpFile formattato VCD o LXT da una corsa di diagnostica e genera un file di database denominato file Descrizione del database (CDD), utilizzando il comando Punteggio. Il comando del punteggio di coperto può essere utilizzato in alternativa per generare un file CDD e un modulo Verilog per l'utilizzo coperto come modulo VPI in un processo di test in grado di ottenere informazioni sulla copertura in parallelo con la simulazione. Il file CDD risultante può essere unico con altri file CDD dalla stessa progettazione per creare una copertura accumulata, utilizzando il comando Merge. Una volta creato un file CDD, l'utente può utilizzare coperto per generare vari report di copertura leggibili dall'uomo in un formato ASCII o utilizzare la GUI di copertura per guardare in modo interattivo i risultati della copertura, utilizzando il comando del report. Inoltre, come parte del comando del punteggio coperto, le possibilità di condizione della gara si trovano nei file di progettazione e possono essere contrassegnate come errori, ignorato contrassegnato come avvertimenti. Specificando le condizioni di razza come errori, coperto può essere utilizzato anche come controllo con condizioni di gara. In caso di controllo Attualmente supporta Verilog-1995, Verilog-2001 (ad eccezione dei blocchi di configurazione Attualmente), e alcuni costrutti di Systemvilog. Le metriche che vengono generate includono quanto segue: · Copertura della linea · Copertura a levetta · Copertura della memoria · Copertura della logica combinatoria · Copertura dello stato FSM e copertura di transizione dello stato · Assertion (funzionale) Copertura Novità in questa versione: · Aggiunta di supporto per $ Random e $ Urandom System chiamate a copertura inlineata. · Include tutte le correzioni apportate alla versione stabile 0.7.5. · Aggiunta di supporto per $ Value $ PlusArgs System chiamate in copertura inlineata. · Problema di fissaggio con generato se dichiarazioni. · Aggiunta documentazione utente per il flusso di copertura inlineto e le opzioni di punteggio. · Problema di fissaggio con codice generato che interrompisce le istruzioni di assegnazione separate da virgola. · La semplificazione del codice eseguita e il miglioramento delle prestazioni con il modo in cui le dichiarazioni sono state gestite internamente. · Rimuovere le chiamate non necessarie alle funzioni di simulazione quando si utilizza la copertura del codice inlineata (questo ha aggiunto una penalità di prestazione). · Migliore prestazioni del generatore di codice inlineto per il dimensionamento dei segnali generati. · Problemi di indicizzazione della memoria fissa relativi alla copertura della memoria. · Aggiunto supporto per la funzione statica e gli operatori ternari statici per la copertura del codice in linea. · Aggiunto il codice per differenziare le funzioni utilizzate staticamente e non per fare la cosa giusta per l'accumulo di copertura del codice in linea. · Aggiunto script vcd_diff che controlla l'uscita DumpFile da file di progettazione non innata e inlineati per verificare che il generatore di codice inlineato non modifica il risultato. Questo controllo è ora una parte di tutte le rune di regressione indiata. · Realizzato diversi miglioramenti delle prestazioni al lettore di file VCD. Il lettore è ora più veloce del 10-20%. · Aggiunto il supporto per i regressioni di verilatore vengono eseguiti e portati un paio di diagnostica al formato di verifica. · Aggiunta di assegno per assicurarsi che un file CDD senza impostazione della modalità inloggi che legge un file VCD contenente i dati di copertura inlineati emette un errore all'utente ed esce con grazia. · Aggiunta l'opzione Punteggio di profondità -Inline-COMB-PROFONDITÀ per consentire all'utente di specificare una profondità di copertura combinatoria meno profonda da generare - migliorare la simulazione e le prestazioni di copertura in linea. · Per i verifica del verificatore, i pragmas inseriti intorno ai segnali di espressione logica combinatoria intermediali per escluderli dall'essere in esecuzione in file VCD. Ciò migliora la simulazione e le prestazioni della copertura per le esecuzioni del verificatore (altri simulatori che hanno un VPI che rimuovono automaticamente questi segnali dalla generazione di callback di modifica). · Esecuzione del codice Sostituzione di alcuni codice effettivo con valori di espressione intermedia pre-calcolati per ulteriori miglioramenti delle prestazioni di simulazione. · Aggiunta l'opzione "E" per -inline-metriche che consente di attivare / disattivare la copertura degli eventi in modo indipendente di un'altra copertura logica combinatoria. Ciò consente ulteriori miglioramenti delle prestazioni di simulazione e copertura (specialmente per le esecuzioni del verificatore). · Aggiunta ottimizzazione che causa la generazione di codice di codice per i file di asserzione quando non è richiesta la copertura di asserzione. · Le regressioni complete ora vengono eseguite in modo pulito con tutte le modifiche del codice.

Coperto Software correlato