23 / 24 · Concetto
Misura le prestazioni e rivedi il progetto
Specifica le finestre di osservazione, diagnostica gli stalli e delimita le prove offerte dal modello.
Le lezioni sono gratuite. Iscriviti per salvare i progressi.
Ricontrolla sia i contratti numerici sia quelli temporali
Un calcolo corretto è soltanto una parte del completamento. Verifica ammissione in ingresso, conservazione durante gli stalli, completamento finale del transito e confini del reset. Riporta finestra di osservazione, ingressi accettati, uscite consegnate, stalli di ingresso/uscita e latenze delle transazioni. Gli ingressi presentati ma rifiutati da un buffer pieno non devono contare come lavoro completato.
Supponi che dodici risultati vengano trasferiti tra subito dopo il fronte 0 e subito dopo il fronte 20, una finestra di venti intervalli di clock. Il throughput osservato è 0.6 transazioni per ciclo. Con un periodo di cinque nanosecondi, la finestra è 100 ns e la frequenza è di 120 milioni di transazioni al secondo. Distingui questa frequenza osservata dal massimo strutturale senza stalli di 200 milioni. Una produzione sporadica e frequenti stalli della destinazione richiedono rimedi diversi nonostante frequenze identiche.
Usa i tag per associare la consegna all'accettazione. Tag7 accettato al fronte 4 e consegnato al fronte 11 ha latenza di sette cicli, cioè 35 ns. Supera la latenza senza stalli di tre cicli del progetto finale senza implicare una perdita. Registra un intervallo o una tabella per elemento, non soltanto una media. Le asserzioni di latenza fissa appartengono soltanto a percorsi senza stalli.
| Osservazione | Possibile causa | Prossima verifica |
|---|---|---|
| FIFO spesso piena | Destinazione o stadio successivo lento | Output-ready e valid degli stadi |
| Uscita spesso vuota | Ingressi sporadici o bolle | Ingressi accettati e movimento degli stadi |
| Percorso ready lungo | Molti collegamenti combinatori tra buffer | Temporizzazione dell'implementazione |
| Ordine dei tag errato | Disallineamento dei campi associati | Tag e valid degli stadi |
Buffer più profondi assorbono raffiche ma possono aumentare l'attesa. Occupazione a regime, frequenza di arrivo e tempo di permanenza sono correlati; non applicare ciecamente medie a regime a brevi finestre di avvio, completamento del transito o annullamento.
Rivedi larghezze, interpretazione con segno, riduzione, movimento di valid, sostituzione, annullamento al reset, temporizzazione della memoria e politica delle dipendenze. Il successo Node attesta l'esecuzione del modello intero, non la compilazione HDL o la temporizzazione dopo il piazzamento. Per estensioni come saturazione, codici operazione o risposte di memoria, modifica insieme contratto e verifiche di riferimento. Un'estensione del percorso dati deve conservare memorizzazione, accettazione e interpretazione oltre ad aggiungere un operatore.
Prova tu
Trenta risultati vengono trasferiti durante cinquanta intervalli di clock con periodo di quattro nanosecondi. Trova il throughput osservato per ciclo e per secondo. Trova anche la latenza di tag3 accettato al fronte 8 e consegnato al fronte 15.
Leggi la spiegazione
Il throughput è 0.6 transazioni/ciclo. La finestra di 200 ns dà 150 milioni di transazioni/secondo. La latenza di tag3 è sette cicli, cioè 28 ns. Riporta queste osservazioni separatamente dalle prestazioni massime senza stalli.