A2B: An integrated framework for designing heterogeneous and reconfigurable systems

The constantly growing complexity of heterogeneous systems requires effective methods for supporting the designer both during the development of the application and the implementation of the architecture. Unfortunately, existing tools still require that the designer develops large parts by hand, especially when hardware accelerators and partial dynamic reconfiguration are taken into account. This paper presents A2B, an ongoing project at Politecnico di Milano, about a semi-automatic framework to assist the designer during the development of heterogeneous and reconfigurable applications for both embedded and high-performance systems. It allows to start from a C-based description of the behavioral specification to be implemented and to perform a progressive refinement of both the designed application and the hardware architecture. It offers the possibility to specify decisions either by an interactive environment or by automatic algorithms, hiding most of the implementation details to the designer.

[1]  Antonino Tumeo,et al.  Performance modeling of parallel applications on MPSoCs , 2009, 2009 International Symposium on System-on-Chip.

[2]  Marco D. Santambrogio,et al.  An open-source design and validation platform for reconfigurable systems , 2012, 22nd International Conference on Field Programmable Logic and Applications (FPL).

[3]  Daniel Cordes,et al.  Automatic parallelization of embedded software using hierarchical task graphs and integer linear programming , 2010, 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[4]  Marco D. Santambrogio,et al.  Design methodology for partial dynamic reconfiguration: a new degree of freedom in the HW/SW codesign , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

[5]  Luca Fossati,et al.  Decision-Theoretic Design Space Exploration of Multiprocessor Platforms , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Jürgen Becker,et al.  A Design Methodology for Application Partitioning and Architecture Development of Reconfigurable Multiprocessor Systems-on-Chip , 2010, 2010 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines.

[7]  Christian Haubelt,et al.  Electronic System-Level Synthesis Methodologies , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Nikil D. Dutt,et al.  Integrating Physical Constraints in HW-SW Partitioning for Architectures With Partial Dynamic Reconfiguration , 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[9]  Khaled Benkrid,et al.  IP-XACT extensions for IP interoperability guarantees and software model generation , 2012, 22nd International Conference on Field Programmable Logic and Applications (FPL).

[10]  Marco D. Santambrogio,et al.  On the automatic integration of hardware accelerators into FPGA-based embedded systems , 2012, 22nd International Conference on Field Programmable Logic and Applications (FPL).

[11]  Mitsuhisa Sato,et al.  OpenMP: parallel programming API for shared memory multiprocessors and on-chip multiprocessors , 2002, 15th International Symposium on System Synthesis, 2002..

[12]  Ed F. Deprettere,et al.  A framework for rapid system-level exploration, synthesis, and programming of multimedia MP-SoCs , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[13]  Jason Helge Anderson,et al.  LegUp: An open-source high-level synthesis tool for FPGA-based processor/accelerator systems , 2013, TECS.

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  Benefits and challenges for platform-based design , 2004, Proceedings. 41st Design Automation Conference, 2004..

[15]  Wayne Luk,et al.  HArtes: Hardware-Software Codesign for Heterogeneous Multicore Platforms , 2010, IEEE Micro.

[16]  Pier Luca Lanzi,et al.  Ant Colony Heuristic for Mapping and Scheduling Tasks and Communications on Heterogeneous Embedded Systems , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  Brian Bailey,et al.  ESL Design and Verification: A Prescription for Electronic System Level Methodology , 2007 .

[18]  Bart Kienhuis,et al.  IP-XACT extensions for Reconfigurable Computing , 2011, ASAP 2011 - 22nd IEEE International Conference on Application-specific Systems, Architectures and Processors.