1 \section{Demonstration}
4 \frametitle{How do we use \clash{}?}
7 \item Import the module: CLasH.Translator
8 \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
12 \item Call GHC with the --vhdl flag
13 \item Use the :vhdl command in GHCi
18 \frametitle{Real Demo}
20 \item We will simulate the small CPU from earlier
21 \item Translate the CPU code to VHDL
22 \item Simulate the generated VHDL
23 \item Synthesize the VHDL to get a hardware schematic