Functional hardware description languages have been around for a while,
but never saw adoption on a large scale. Even though advanced features
like higher order functions and polymorphism could enable very natural
-parameterization of hardware descriptions, the conventional hardware
+parametrization of hardware descriptions, the conventional hardware
description languages \VHDL\ and Verilog are still most widely used.
Cλash is a new functional hardware description language using Haskell's
A prototype compiler for Cλash has been implemented that can generate
an equivalent \VHDL\ description (using mostly structural \VHDL). The
-prototype uses the frontend (parser, typechecker, desugarer) of the
-existing \GHC\ Haskell compiler. This frontend generates a \emph{Core}
+prototype uses the front-end (parser, type-checker, desugarer) of the
+existing \GHC\ Haskell compiler. This front-end generates a \emph{Core}
version of the description, which is a very small typed functional
language. A normalizing system of transformations brings this Core
version into a normal form that has any complex parts (higher order