Design Space Exploration for Hardware/Software Codesign of Multiprocessor Systems