SAGA: synthesis technique for guaranteed throughput NoC architectures | IEEE Conference Publication | IEEE Xplore