Tesis doctoral de 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 metodologías de sintesis existentes requieren generar el grafo de estados correspondiente al stg. Posteriormente generan el circuito utilizando este grafo de estados. Estas metodologías estan limitadas, ya que descripciones de sistemas muy concurrentes pueden generar un numero exponencial de estados. este trabajo presenta una metodología 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.
Datos académicos de la tesis doctoral «Structural methods for the synthesis of asynchronous circuits from signal transition graphs.«
- Título de la tesis: Structural methods for the synthesis of asynchronous circuits from signal transition graphs.
- Autor: Enrique Pastor Llorens
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Jordi Cortadella Fortuny
- Tribunal
- Presidente del tribunal: Mateo Valero Cortés
- Jordi Carrabina Bordoll (vocal)
- Luciano Lavagno (vocal)
- Colom Piazuelo José Manuel (vocal)