A Framework for Design Space Exploration of Parameterized VLSI Systems