Considerando os tempos de setup e hold para a entrada de variáveis
Usando timescale no tb
Colocando um pequeno atraso no próximo estado