Deakstadieđáhus: A Functional HDL in ReFLect