CAD for Model-Based Design Synthesis