Describir: System synthesis with VHDL