Resumen

La complejidad cada vez mayor del diseño de los sistemas digitales modernos hace necesario desarrollar metodologías de nivel de sistema electrónico (ESL) con automatización y optimización en el nivel de abstracción superior. El modo en que se modela la concurrencia en la especificación de la aplicación desempeña un papel importante en los marcos de diseño ESL. Los modelos de especificación concurrente más avanzados no son adecuados para modelar el comportamiento concurrente a nivel de tarea para el flujo de diseño de síntesis de hardware. Basándonos en el modelo de colección concurrente (CnC), que proporciona la máxima libertad de reprogramación de tareas, proponemos el modelo de datos a nivel de tarea (TLDM), dirigido a la optimización a nivel de tarea en la síntesis de hardware para aplicaciones de procesamiento de datos. Los modelos poliédricos se integran en TLDM para la expresión concisa de instancias de tareas, accesos a matrices y dependencias. Se muestran ejemplos para ilustrar las ventajas de nuestra especificación TLDM en comparación con otras especificaciones de concurrencia ampliamente utilizadas.

• Materias:Redes Inalámbricas Modelo computacional Teoría de códigos Sistemas de comunicación Procesamiento de datos
• Subjects:Wireless Networks Computational Model Code theory Communication systems Data processing
• Palabras claves:tarea, flujo de diseño de síntesis de hardware, marcos de diseño esl, modelos de especificación concurrentes, aplicaciones de procesamiento de datos, nivel de abstracción superior, modelo de datos de nivel, sistemas digitales modernos, tldm, nivel
• Keywords:task, hardware synthesis design flow, esl design frameworks, concurrent specification models, data processing applications, higher abstraction level, level data model, modern digital systems, tldm, level