A scheduling algorithm for synthesis of bus-partitioned architectures | IEEE Conference Publication | IEEE Xplore