13 / 37 · Verifica
Verifica del progetto: equivalenza della selezione e osservazione
Distinguere verifiche basate sulla sola tabella da quelle che richiedono osservazione del clock.
Le lezioni sono gratuite. Iscriviti per salvare i progressi.
Leggere le condizioni e disegnare la sequenza temporale
è combinatorio; sampled_y memorizza y al fronte di salitaFronte di salita Passaggio del clock da 0 a 1, distinto dall’intero intervallo di livello CLK=1. Approfondisci. Supponiamo acquisito una volta . Poi s viene portato a 1 fra i fronti.
La domanda riguarda il valore dopo stabilizzazione degli ingressi e ritardo logico, ma prima del prossimo fronte di salita. Equivalenza funzionale e istante di osservazione del registroRegistro Memorizza uno stato di più bit. I registri sincroni del corso acquisiscono gli ingressi specificati al fronte di clock. Approfondisci sono verifiche distinte.
La sequenza seguente usa queste condizioni con a=1, b=0. Nell'intervallo in cui le uscite differiscono spiegate quale segnale rappresenta l'ingresso attuale e quale una precedente acquisizione.
Mostra i dati della forma d’onda
| Segnale | Forma d’onda | Valori del bus |
|---|---|---|
| event | 234 | captured → sel changes → next edge |
| sel | 01. | |
| y | 10. | |
| sampled_y | 1.0 |
Altri problemi di progetto
- Dimostrate con otto combinazioni l'equivalenza di
y=(a & ~s) | (b & s)a un MUXMultiplexer Circuito combinatorio che collega un ingresso all’uscita secondo la selezione. Va specificata la corrispondenza fra bit di selezione e ingressi. Approfondisci a un bit. - Togliendo
sampled_yla formula resta uguale: quale proprietà temporale scompare? - Perché valori RTL ideali non garantiscono il comportamento reale se il cambio di s è troppo vicino al fronte di salita?
Prova tu
Testare un MUX a quattro bit solo con a=b rileva la selezione invertita?
Leggi la spiegazione
No. Dati uguali danno lo stesso risultato con qualsiasi selezione. Provate per esempio a=0101, b=1010 sia con s=0 sia con s=1 per distinguere polarità e trasferimento dei bit.
Nelle condizioni indicate, quanto vale (y, sampled_y) subito prima del prossimo fronte di salita?
Con s=1, y=b=0. Al fronte precedente s=0 e sampled_y aveva acquisito a=1. Solo al prossimo fronte di salita diventa anch’esso 0. Si assume il rispetto di setup e hold.