Automated Design Space Exploration in High-Level Physical Synthesis