Maximum-throughput mapping of SDFGs on multi-core SoC platforms