Resumen de Sintesi d'alt nivell de circuits asincrons
Rosa M Badia 
En este trabajo se presenta una metodologia de sintesis de alto nivel de circuitos asincronos. La sintesis de alto nivel tiene como objetivo generar descripciones estructurales de un circuito a partir de una descripcion de su comportamiento. La sintesis de alto nivel es un tema de investigacion my activo desde la ultima decada, pero nunca se ha aplicado al diseño de circuitos asincronos. Las principales contribuciones de este trabajo son: un modelo de arquitectura asincrona para la sintesis de alto nivel de circuitos asincronos, diversos algoritmos de planificacion y asignacion para realizar sintesis de alto nivel de circuitos asincronos y un ejemplo de diseño en el que se valida la metodologia propuesta. El modelo de arquitectura asincrona propuesta consiste en un sistema multiprocesador en el que el control esta totalmente distribuido. El control se describe con grafos de transiciones de señales (stg). Se presenta una metodologia de planificacion de operaciones para una arquitectura asincrona basada en listas d'eventos. Esta metodologia se concreta en dos algoritmos: els i ellas. Ambos algoritmos tienen complejidad polinomica. Tambien se propone un algoritmo de asociacion de recursos basado en la teoria de grafos. La contribucion mas importante de esta parte del trabajo es la representacion de todos los elementos a asociar en un unico grafo de compatibilitat, de manera que todas las tareas de asociacion se pueden realizar simultaneamente. Tambien se presenta un algoritmo de planificacion de operaciones y asignacion de recursos. Las dos fases se realizan de manera simultanea mediante la tecnica de simulated annealing.
