Tabu search with intensification strategy for functional partitioning in hardware-software codesign | IEEE Conference Publication | IEEE Xplore