Mi duda está particularmente en las transiciones entre los estados "Espero INTA IRQ1" y "Espero INTA IRQ0". Entiendo que la semántica de los mismos es: acabo de recibir un pedido de interrupción de el controlador N (0 o 1) y espero por la aceptación del mismo por parte de la CPU (reflejado en INTA = 1).
La solución a la que llego tiene las transiciones entre dichos estados al revés ya que lo pienso de la siguiente forma:
Si estoy en (por ejemplo) "Espero INTA IRQ1" y recibo un pedido de interrupción por parte del IRQ0 (IRQ0=1) y a su vez una aceptación de la previa interrupción pedida (INTA = 1) debería moverme al estado "Espero INTA IRQ0" avisando que el pedido previo fue aceptado (salida IA1=1) y avisando a la CPU del actual pedido de interrupción (salida INTR=1).
Gracias por cualquier información!