1 \section{Demonstration}
6 \item Pre-Recored Video: VHDL Synthesis takes too long
7 \item Simulate the CPU description
8 \item Translate the CPU to VHDL
9 \item Simulate the generated VHDL
16 \frametitle{Generated Schematic}
18 \centerline{\includegraphics<1>[width=10.3cm]{cpucomplete}
19 \includegraphics<2>[width=11.3cm]{cpualu}
20 \includegraphics<3>[height=6.3cm]{cpuregisters}}
26 % \frametitle{How do we use \clash{}?}
29 % \item Import the module: CLasH.Translator
30 % \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
34 % \item Call GHC with the --vhdl flag
35 % \item Use the :vhdl command in GHCi