Síntesis de circuitos digitales basada en la generación de funciones incompletas mediante el paradigma orientado a objetos con inferencia de tipos.

Resumen

El entorno de desarrollo para Arquitecturas Reconfigurables Madeo, sobre el cual se ha desarrollado esta tesis, propone un sistema que permite la interrelación de la implementación física de la arquitectura y el desarrollo de las aplicaciones, de forma que el diseño se valida evaluando la ejecución de las aplicaciones sobre un modelo simulado de la arquitectura reconfigurable. La metodología de la síntesis de las aplicaciones está basada en la transformación de un algoritmo expresado en un lenguaje orientado a objetos en una red de tablas (LUT) que implementan las operaciones de dicho algoritmo. Este tipo de síntesis proporciona al diseñador hardware la posibilidad de implementar eficientemente cualquier función u operación, sin necesidad de tener previamente disponibles bibliotecas de componentes básicos sintetizados. En esta tesis, se han realizado aportaciones en los campos de la síntesis de alto nivel y la síntesis lógica. Éstas proporcionarán a los diseñadores de sistemas hardware la posibilidad de implementar eficientemente algunas aplicaciones que necesiten más precisión que la proporcionada por los métodos clásicos de aproximaciones sucesivas y para aplicaciones que necesiten operadores no incluidos en las bibliotecas del entorno de desarrollo. Por otra parte se han realizado aportaciones al entorno de Madeo para aplicaciones de tratamiento de imágenes y mejoras para la utilización del entorno como herramienta de investigación de técnicas de síntesis de alto nivel de un alto coste computacional.