Design Space Exploration Methodologies for IP-based System-on-a-chip