A technique for dynamic high-level exploration during behavioral-partitioning for multi-device architectures | IEEE Conference Publication | IEEE Xplore