Describir: High-Level Synthesis for Embedded Systems