System-Level Exploration for Pareto-Optimal Configurations in Parameterized Systems-on-a-Chip