Optimal hardware/software partitioning for concurrent specification using dynamic programming | IEEE Conference Publication | IEEE Xplore