Hardware-software partitioning: a case for constraint satisfaction | IEEE Journals & Magazine | IEEE Xplore