Behavioral partitioning with exploiting function-level parallelism | IEEE Conference Publication | IEEE Xplore