Resumen

Se presenta un enfoque de diseño automatizado para sistemas multiprocesador en FPGAs que personaliza arquitecturas para programas paralelos al resolver simultáneamente los problemas de asignación de tareas, asignación de recursos y programación. Esta última considera los efectos de la programación preemptiva de prioridad fija para garantizar los requisitos de tiempo real, abarcando así un amplio espectro de aplicaciones integradas. Al ser inherentemente un problema de optimización combinatoria, el espacio de diseño se modela utilizando ecuaciones lineales que capturan parámetros de diseño de alto nivel. Luego se presenta una comparación de dos métodos para resolver las instancias resultantes del problema. El objetivo es estudiar qué tan bien se pueden aprovechar los avances recientes en satisfacción proposicional (SAT) y, por lo tanto, la Programación de Conjuntos de Respuestas (ASP) para automatizar el diseño de sistemas multiprocesador flexibles. La Programación Lineal Entera (ILP) se toma como referencia, donde se sintetizan arquitecturas para el procesamiento de señales de banda base IEEE 802.11

• Materias:Elementos lógicos Sistema de archivos Multinúcleo heterogéneo Flexibilidad del montium Gestión de memoria
• Subjects:Logic elements File system Heterogeneous multicore Montium flexibility Memory management
• Palabras claves:Enfoque de diseño automatizado; Sistemas multiprocesador; FPGAs; Asignación de tareas; Asignación de recursos; Programación
• Keywords:Automated design approach; Multiprocessor systems; FPGAs; Task mapping; Resource allocation; Scheduling