8 / 24 · Verifica
Verifica: conservare un risultato completato
Separa la consegna nello stato DONE dall'accettazione della richiesta successiva.
Le lezioni sono gratuite. Iscriviti per salvare i progressi.
L'accumulatore a quattro ingressi è in DONE con acc=24 e output-valid=1. Output-ready è zero al fronte di salita successivo e viene presentata una nuova richiesta. La nostra FSM semplice non accetta nuove richieste in DONE.
Qual è lo stato corretto dopo questo fronte?
Valid senza ready non costituisce un trasferimento. Mantieni DONE, acc=24 e valid=1 e non accettare la nuova richiesta. L'accettazione simultanea richiederebbe una regola di ammissione diversa e spazio di memorizzazione sufficiente.
✓ Verifica completata