Resumen de Structural methods for the synthesis of asynchronous circuits from signal transition graphs
Enrique Pastor Llorens 
Este trabajo se centra en la sintesis eficiente de circuitos asincronos. Los circuitos se generan desde descripciones de su comportamiento basadas en eventos -los signal transition graphs (stgs). Las metodologias de sintesis existentes requieren generar el grafo de estados correspondiente al stg. Posteriormente generan el circuito utilizando este grafo de estados. Estas metodologias estan limitadas, ya que descripciones de sistemas muy concurrentes pueden generar un numero exponencial de estados. Este trabajo presenta una metodologia de sintesis para stgs que no requiere la generacion de los estados, sino que unicamente utilizan directamente la estructura del stg. Se han propuesto algoritmos polinomicos para verificar la consistencia del stg, la codificacion de sus estados y el desarrollo del proceso de sintesis y minimizacion garantizando la correccion del circuito generado.
