Tenemos este diagrama ASM, que debo convertir en un nivel de transferencia de registro.
Ya he hecho algunos ejemplos similares y generalmente comenzaré con la definición de la lógica del siguiente estado, en lugar de la lógica de salida y el registro de la ruta de datos.
Con este ejemplo, tengo problemas para definir la lógica del siguiente estado. Si hago una tabla de transiciones de estado, también necesito tomar start, ayb en consideración. Como tenemos 4 estados, necesitamos 4 bits para ese + un bit para el inicio, uno para b! = 0 y uno para un > segundo. Eso es simplemente demasiadas combinaciones para escribir en papel. Supongo que quizás haya una solución más simple para esto.
¿Qué hace el estado A preparado? Estoy confundido por el diagrama.