A tool for partitioning and pipelined scheduling of hardware-software systems | IEEE Conference Publication | IEEE Xplore