Model-based High Level Synthesis and Design Space Exploration