1 \section{Demonstration}
5 Pre-Recorded Video: VHDL Synthesis takes too long\pause
8 \item Simulate the Haskell CPU description
9 \item Translate the Haskell description to VHDL
10 \item Simulate the generated VHDL
17 \frametitle{Generated Schematic}
19 \centerline{\includegraphics<1>[width=10.3cm]{cpucomplete}
20 \includegraphics<2>[width=11.3cm]{cpualu}
21 %\includegraphics<3>[height=6.3cm]{cpuregisters}
28 % \frametitle{How do we use \clash{}?}
31 % \item Import the module: CLasH.Translator
32 % \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
36 % \item Call GHC with the --vhdl flag
37 % \item Use the :vhdl command in GHCi