Symbolic Design Space Exploration for Multi-Mode Reconfigurable Systems

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Wildermann S, Reimann F, Ziener D, Teich J
Titel Sammelwerk: Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS'11
Verlag: ACM
Verlagsort: New York, NY, USA
Jahr der Veröffentlichung: 2011
Tagungsband: Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, part of ESWeek'11
Seitenbereich: 129-138


Abstract


In today's complex embedded systems not all applications are running all the time, but depend on the operational mode. By incorporating knowledge about the temporal behavior of such multi-mode systems, it is possible to share hardware by means of partial reconfiguration, and thus, reduce costs and improve performance. In this paper, we specify the temporal behavior of the functionality by applying known models based on state machines. In addition, we introduce an architectural model that allows to express the characteristics of nowadays partially reconfigurable architectures, focusing on FPGAs. We develop a symbolic encoding of this novel system specification, which allows to perform a unified system synthesis for allocation, binding, placement of partially reconfigurable modules, and routing the on-chip communication. The proposed encoding enables the use of sophisticated optimization techniques, coupling a SAT solver with a Multi-objective Evolutionary Algorithm. The proposed methodology is highly applicable for building multi-mode systems on advanced reconfigurable technology. We demonstrate this by experiments on test-cases from the image processing domain applying state-of-the-art technology. The results show the superiority of the presented approach in terms of run-time and quality of the found solutions compared to existing system synthesis approaches. Copyright 2011 ACM.



FAU-Autoren / FAU-Herausgeber

Reimann, Felix
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Wildermann, Stefan Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Ziener, Daniel Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Wildermann, S., Reimann, F., Ziener, D., & Teich, J. (2011). Symbolic Design Space Exploration for Multi-Mode Reconfigurable Systems. In Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, part of ESWeek'11 (pp. 129-138). Taipei, TW: New York, NY, USA: ACM.

MLA:
Wildermann, Stefan, et al. "Symbolic Design Space Exploration for Multi-Mode Reconfigurable Systems." Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'11), Taipei New York, NY, USA: ACM, 2011. 129-138.

BibTeX: 

Zuletzt aktualisiert 2018-19-04 um 02:52