1 \section{Demonstration}
6 \item Simulate the CPU description
7 \item Translate the CPU to VHDL
8 \item Simulate the generated VHDL
15 \frametitle{Generated Schematic}
17 \centerline{\includegraphics<1>[width=10cm]{cpucomplete}
18 \includegraphics<2>[width=10cm]{cpualu}
19 \includegraphics<3>[height=6cm]{cpuregisters}}
25 % \frametitle{How do we use \clash{}?}
28 % \item Import the module: CLasH.Translator
29 % \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
33 % \item Call GHC with the --vhdl flag
34 % \item Use the :vhdl command in GHCi