Describir: A Functional HDL in ReFLect