Optimal Hardware/Software Partitioning for Concurrent Specification Using Dynamic Programming