% Draw a dotted line between the middle operations
ncline(a2)(a3) "linestyle(dashed withdots)", "arrows(-)";
\stopuseMPgraphic
- \placeexample[here][ex:AndWord]{Simple architecture that inverts a vector of bits.}
+ \placeexample[][ex:AndWord]{Simple architecture that inverts a vector of bits.}
\startcombination[2*1]
{\typebufferlam{AndWord}}{Haskell description of the architecture.}
{\boxedgraphic{AndWord}}{The architecture described by the Haskell description.}
Or... is this the description of a single accumulating adder, that will add
one element of each input each clock cycle and has a reset value of
- \lam{0}? In
+ {\definedfont[Serif*normalnum]0}? In
that case, we would have described the architecture show in \in{example}[ex:RecursiveSumAlt]
\startuseMPgraphic{RecursiveSumAlt}
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
+ 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.
a number of other functional hardware description languages are briefly
described.
-Chapter two describes the exploratory part of this research: How can we
+Chapter two describes the exploratory part of this research: how can we
describe hardware using a functional language and how can we use functional
concepts for hardware descriptions?