copertura di verifica

D

dBUGGER

Guest
Ciao a tutti,
Appena qualcuno può darmi un'idea su come sapere che un progetto è stato verificato a fondo?Supponiamo che faccio un po 'di progettazione e quindi controllare le prestazioni di scrittura di un banco di prova con alcuni vettori di test e verifica O / p.Ora posso dire che ho verificato accuratamente il disegno?Else quali sono i passi necessari per assicurare lo stesso.Grazie.

Con i migliori saluti,

 
La copertura di due. Il primo è la copertura di codice, se si utilizzano alcuni strumenti di copertura, si dovrebbe vedere come:
copertura delle condizioni, copertura del codice, la copertura Brach, la copertura alternare e altro ancora.quando si verifica, si dovrebbe raggiungere il 100% di questi, gli strumenti manuali vi dirà che è importante.La seconda è la funzione di copertura, questo è più importante della copertura del codice, e che raggiungono una copertura al 100% è impossibile.che è la funzione di copertura del chip è stato progettato.

 
salve,
misurare prima la copertura del codice, dopo la copertura di linea / copertura delle condizioni / converage FSM è abbastanza alta, quindi misurare la copertura fucntion.

 
Ci sono un sacco di strumenti di copertura.Sostanzialmente, tre tipi di copertura, la linea di copertura, copertura delle condizioni e la copertura ramo.Tu non avrebbe mai potuto raggiungere tutti della combinazione dei rami.

Al fine di assicurare il vostro disegno è funzionale a destra.Che cosa si dovrebbe per definizione è ciò che è "funzionale a destra".Persona che lavora a persona per il vostro tipo di sistema e Guy marketing per definire un orientamento di base accettare, e quindi funzionale accettare l'orientamento.contiene l'elenco di più importante da meno importante, quindi verificare che uno per uno.

Dipende ...Quanto impegno sarà di spesa.Quante ore l'uomo sono disponibili molti.Se si prova Applo per ogni ramo e condizione, forse non lo sarà mai sulla luna ...

 
In primo luogo la copertura codice deve essere al 100%
poi per converage funzione, ma è difficile per accedere a 100 converage funzione%, quindi prima di iniziare la verifica, è necessario disporre di un sistema di verifica,
normalmente si dovrebbe verificare tutto quello che la funzione principale, quindi eseguire alcuni vettore casuale

 
Salve.copertura di codice è classica ed i suoi strumenti sono maturi.D'altra parte, la copertura funzionale è il problema più doloroso che i fornitori EDA ora speriamo di fare un passo avanti e portare un po 'nuovo
metodo per risolverlo.EDA diversi strumenti di verifica target a obiettivi diversi e ha detto che i loro strumenti sono migliori, è possibile fare riferimento a questi strumenti per vedere il loro buon aspetto.E per tenerla alta copertura funzionale, un sacco di lavoro tanglesome deve essere fatto.
auguriamo che questo è utile per voi.

 
copertura di codice è meno importante funzione di copertura

 
La copertura di monitoraggio è sicuramente un metodo per vedere se hai raggiunto un certo livello di verifica.Ma che non è completa

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Sorriso" border="0" />

.Ci sono alcune condizioni che non si possono realizzare in ambiente di simulazione normale.Se si sta sviluppando un ASIC, provare a fare un prototipazione FPGA.Questo ti aiuterà nella gestione corre più di casi di test.

 
La copertura precisati, di copertura delle condizioni e la copertura ramo, da tutti voi, nella parte di verifica, grazie per questo, ma quali sono le differenze tra questi tre coperture e come fare la parte di verifica riguardano?
Questo onewould essere vr \ ery help ful.
Grazie a tutti.
Raghu

 
differenza tra questi la copertura sono --

Dichiarazione di copertura: indica quante volte ogni istruzione è stata eseguita. Questa misura segnala se ogni istruzione viene eseguita o no.E 'noto anche come copertura di linea.

Branch Coverage: mostra qual caso o se gli altri rami sono stati giustiziati. Questa copertura, chiamata anche la copertura decisione, segnala se un banco di prova ha esplorato sia vera e falsa i risultati delle espressioni booleane in strutture di controllo.

Condizione Copertura: mostra come anche una espressione booleana viene esercitato. Copertura delle condizioni misure sub-espressioni che si verificano in una espressione booleana in modo indipendente gli uni dagli altri e le relazioni del risultato vero e falso di ciascuna di esse.

Path mostra Copertura quali rotte attraverso costrutti sequenziali ramificazione sono state esercitate

Triggering mostra di copertura se ogni processo è stato innescato unica nel suo elenco di sensibilità

Toggle Copertura mostra che i bit dei segnali nella progettazione hanno toggled

 
copertura di codice è un bene per l'uso!
Ma ricordate: u mai in grado di dimostrare il vostro progetto è nella sua struttura interamente giusto!

 
Mi ricordo che questo è un ebook di copertura veirfication che si possono scaricare in questo Websit.è possibile fare riferimento esso.

 
Credo che la copertura funzionale è la creatia più importante per capire se il tuo disegno è verificato thoroghly

 
Tutti i programmi, includign disegni HDL, hanno almeno una riga ridondanti e un bug.dunque, a volte l'applicazione di questa teoria, si può ridurre tutto il disegno di una linea di codice che non funziona.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Molto Felice" border="0" />
 
in primo luogo, la funzione di copertura è la più importante, quindi, il codice di copertura, infine, l'analisi in tempo statico usando Militello o altri strumenti.PrimeTime non hanno bisogno di testbentch!

 
Prototpe la necessità di eseguire tutti i bench funzionale?

 
Penso che se tutte le funzioni richieste dalla specifica sono

stata verificata, allora possiamo dire che il processo di verifica è stata completata.

con i migliori salutidBUGGER ha scritto:

Ciao a tutti,

Appena qualcuno può darmi un'idea su come sapere che un progetto è stato verificato a fondo?
Supponiamo che faccio un po 'di progettazione e quindi controllare le prestazioni di scrittura di un banco di prova con alcuni vettori di test e verifica O / p.
Ora posso dire che ho verificato accuratamente il disegno?
Else quali sono i passi necessari per assicurare lo stesso.
Grazie.Con i migliori saluti,
 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top