Describir: Multilevel Synthesis