Skip to Main content Skip to Navigation
Conference papers

Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms

Abstract : Design Space Exploration of data-flow Systems-on-Chip either focuses on classical shared bus or on complex network-on-chip (NoC) architectures. A lack of research work exists that targets segmented bus architectures. These offer performance improvements (latency, power consumption) with respect to a shared bus, while employing much simpler communication structures and algorithms than a NoC. Despite the lack in the research work, segmented buses are popular in multi-processor systems and in FPGA interconnects. This paper fills this lack with two contributions. First, we propose a Satisfiability Modulo Theory (SMT) formulation. Secondly, we provide a technique to reduce the design-space explosion problem that is portable to other formulations (e.g., ILP, MILP) and to problems where the scheduling on units (e.g., bus, CPU) is multiplexed in time. We integrated these contributions in a state-of-the-art design tool that we employ for evaluation purposes with a set of streaming applications and a MPSoC platform. The resulting framework can study the performance of fixed interconnects as well as determine the optimal architecture among a set of candidates. Our reduction technique improves considerably the scalability of DSE. For our testbench, we reduce the SMT solver run-time from 20 up to 589 times.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Renaud Pacalet Connect in order to contact the contributor
Submitted on : Friday, October 2, 2020 - 3:01:53 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


Files produced by the author(s)


  • HAL Id : hal-02894654, version 2


Amna Gharbi, Andrea Enrici, Bogdan Uscumlic, Ludovic Apvrille, Renaud Pacalet. Efficient and Exact Design Space Exploration for Heterogeneous and Multi-Bus Platforms. Euromicro DSD 2020, Aug 2020, Portorož, Slovenia. ⟨hal-02894654v2⟩



Record views


Files downloads