Fix typos
[matthijs/master-project/haskell-symposium-talk.git] / demo.lhs
1 \section{Demonstration}
2
3 \frame{
4 \frametitle{Demo}
5 \begin{itemize}
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
10 \end{itemize}
11 }\note[itemize]{
12 \item Will show video
13 }
14
15 \frame{
16 \frametitle{Generated Schematic}
17 \begin{figure}
18 \centerline{\includegraphics<1>[width=10.3cm]{cpucomplete}
19 \includegraphics<2>[width=11.3cm]{cpualu}
20 \includegraphics<3>[height=6.3cm]{cpuregisters}}
21 \end{figure}
22 }
23
24
25 % \frame{
26 % \frametitle{How do we use \clash{}?}
27 % As a library:
28 % \begin{itemize}
29 %   \item Import the module: CLasH.Translator
30 %   \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
31 % \end{itemize}
32 % Customized GHC:
33 % \begin{itemize}
34 %   \item Call GHC with the --vhdl flag
35 %   \item Use the :vhdl command in GHCi
36 % \end{itemize}
37 % }