-Standard \acrop{HDL}, like \VHDL~\cite{VHDL2008} and Verilog~\cite{Verilog},
-allow an engineer to describe circuits using a `programming' language. These
-standard languages are very good at describing detailed hardware properties
-such as timing behavior, but are generally cumbersome in expressing
-higher-level abstractions. In an attempt to raise the abstraction level of the
-descriptions, a great number of approaches based on functional languages has
-been proposed \cite{Cardelli1981, muFP,DAISY,FHDL,T-Ruby,Hydra,HML2,Hawk1,
-Lava,ForSyDe1,Wired,reFLect}. The idea of using functional languages for
-hardware descriptions started in the early 1980s \cite{Cardelli1981,muFP,
-DAISY,FHDL}, a time which also saw the birth of the currently popular hardware
-description languages such as \VHDL. Functional languages are especially well
-suited to describe hardware because combinational circuits can be directly
-modeled as mathematical functions. Functional languages are very
-good at describing and composing these mathematical functions.
+Traditional \acrop{HDL}, like \VHDL~\cite{VHDL2008} and
+Verilog~\cite{Verilog}, allowed an engineer to describe circuits using a
+`programming' language. These standard languages are very good at describing
+detailed hardware properties such as timing behavior, but are generally
+cumbersome in expressing higher-level abstractions. In an attempt to raise the
+abstraction level of the descriptions, a great number of approaches based on
+functional languages has been proposed \cite{Cardelli1981,muFP,DAISY,FHDL,
+T-Ruby,Hydra,HML2,Hawk1,Lava,ForSyDe1,Wired,reFLect}. The idea of using
+functional languages for hardware descriptions started in the early 1980s
+\cite{Cardelli1981,muFP,DAISY,FHDL}, a time which also saw the birth of the
+currently popular hardware description languages, such as \VHDL. Functional
+languages are especially well suited to describe hardware because
+combinational circuits can be directly modeled as mathematical functions and
+functional languages are very good at describing and composing these
+mathematical functions.