22 / 37 · Verificação
Verificação: N=1 e largura
Separe largura mínima e estados válidos.
As aulas podem ser lidas gratuitamente. Inscreva-se para salvar o progresso.
Permita N=1 e confira declaração e terminal.
N=1 com CW=(N<=1)?1:$clog2(N) e LAST=N-1: como age borda habilitada após reset?
Há ao menos um bit de armazenamento, mas só estado 0 é permitido. LAST=0 termina em toda borda habilitada.
✓ Verificação concluída