Necesito diseñar un circuito lógico secuencial a partir de este diagrama de estado usando solo 2 latches D. 
Y este es mi intento:
Si lo pongo en el simulador, simplemente me da un error y no cuenta. Supuse que se supone que es síncrono. Invertí Q1 y Q0 en el diagrama de estado, pero eso no se supone que cambie nada.
Simplemente no sé dónde está el error. Alguien ayuda por favor.