A Methodology and Tool for Automated Transformational High-Level Design Space Exploration