+ In addition to looking at designing a hardware description language, we
+ will also implement a prototype to test ideas. This prototype will
+ translate hardware descriptions written in the Haskell functional language
+ to simple (netlist-like) hardware descriptions in the \VHDL\ language. The
+ reasons for choosing these languages are detailed in section
+ \in{}[sec:prototype:input] and \in{}[sec:prototype:output] respectively.
+
+ \placeintermezzo{}{
+ \startframedtext[width=8cm,background=box,frame=no]
+ \startalignment[center]
+ {\tfa The name Cλash}
+ \stopalignment
+ \blank[medium]
+ The name Cλash more-or-less expands to CAES language for hardware
+ descriptions, where CAES refers to the research chair where this
+ project was undertaken (Computer Architectures for Embedded
+ Systems). The lambda in the name is of course a reference to the
+ lambda abstraction, which is an essential element of most functional
+ languages (and is also prominent in the Haskell logo).