demo.lhs

   1 \section{Demonstration}
   2
   3 \frame{
   4 \frametitle{Demo}
   5 Pre-Recorded Video: VHDL Synthesis takes too long\pause
   6 \vspace{3em}
   7 \begin{itemize}
   8   \item Simulate the Haskell CPU description
   9   \item Translate the Haskell description to VHDL
  10   \item Simulate the generated VHDL
  11 \end{itemize}
  12 }\note[itemize]{
  13 \item Will show video
  14 }
  15
  16 \frame{
  17 \frametitle{Generated Schematic}
  18 \begin{figure}
  19 \centerline{\includegraphics<1>[width=10.3cm]{cpucomplete}
  20 \includegraphics<2>[width=11.3cm]{cpualu}
  21 %\includegraphics<3>[height=6.3cm]{cpuregisters}
  22 }
  23 \end{figure}
  24 }
  25
  26 %
  27 % \frame{
  28 % \frametitle{How do we use \clash{}?}
  29 % As a library:
  30 % \begin{itemize}
  31 %   \item Import the module: CLasH.Translator
  32 %   \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
  33 % \end{itemize}
  34 % Customized GHC:
  35 % \begin{itemize}
  36 %   \item Call GHC with the --vhdl flag
  37 %   \item Use the :vhdl command in GHCi
  38 % \end{itemize}
  39 % }