Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-Chip

This paper proposes a complete allocation and scheduling framework, where an MPSoC virtual platform is used to accurately derive input parameters, validate abstract models of system com-ponents and assess constraint satisfaction and objective function optimization. The optimizer implements an efcient and exact ap-proach to allocation and scheduling based on problem decompo-sition. The allocation subproblem is solved through Integer Pro-gramming while the scheduling one through Constraint Program-ming. The two solvers can interact by means of no-good genera-tion, thus building an iterative procedure which has been proven to converge to the optimal solution. Experimental results show signi-cant speedups w.r.t. pure IP and CP exact solution strategies as well as high accuracy with respect to cycle accurate functional simula-tion. A case study further demostrates the practical viability of our framework for real-life systems and applications. 1