SMS: Multilevel Synthesis