Describir: Design of Reconfigurable Logic Controllers