8 / 24 · Verificação
Verificação: preservar um resultado concluído
Separe a entrega no estado DONE da aceitação da próxima solicitação.
As aulas podem ser lidas gratuitamente. Inscreva-se para salvar o progresso.
O acumulador de quatro entradas está em DONE com acc=24 e output-valid=1. Output-ready vale zero na próxima borda de subida, e uma nova solicitação é apresentada. Nossa FSM simples não aceita novas solicitações em DONE.
Qual é o estado correto após essa borda?
Valid sem ready não é uma transferência. Mantenha DONE, acc=24 e valid=1 e não aceite a nova solicitação. A aceitação simultânea exigiria outra regra de admissão e armazenamento suficiente.
✓ Verificação concluída