Stav dette: A Functional HDL in ReFLect