Hardware-software bipartitioning for dynamically reconfigurable systems