summary.lhs

   1 %include talk.fmt
   2 \section{Conclusion}
   3
   4 \frame{
   5 \frametitle{Some final words}
   6 \begin{itemize}
   7   \item Still a lot to do: translate larger subset of Haskell
   8   \item Real world prototypes can be made in \clash{}
   9   \item \clash{} is another great example of how to bring functional expressivity to hardware designs
  10 \end{itemize}
  11 }
  12
  13 \frame{
  14 \vspace{6em}
  15 \begin{figure}
  16 \Huge{Thank you for listening}
  17 \end{figure}
  18 \vspace{5em}
  19 \centerline{\clash{} Clone URL:}
  20 \centerline{\url{git://github.com/christiaanb/clash.git}}
  21 }
  22
  23 \frame
  24 {
  25 \frametitle{Complete signature for registerBank}
  26 \begin{code}
  27 registerBank ::
  28   ( NaturalT s
  29   , PositiveT (s :+: D1)
  30   , ((s :+: D1) :>: s) ~ True )) =>
  31   (RegState s a) -> a -> RangedWord s ->
  32   RangedWord s -> Bit -> ((RegState s a), a )
  33 \end{code}
  34 }
  35
  36 \frame{
  37 \begin{figure}
  38 \centerline{\includegraphics[width=12cm]{polyaluhardware}}
  39 \label{img:mealymachine}
  40 \end{figure}
  41 }
  42
  43 \frame{
  44 \begin{figure}
  45 \centerline{\includegraphics[width=12cm]{polyaluhardware-reg}}
  46 \label{img:mealymachine}
  47 \end{figure}
  48 }
  49
  50 \frame{
  51 \begin{figure}
  52 \centerline{\includegraphics[width=12cm]{polyaluhardware-add}}
  53 \label{img:mealymachine}
  54 \end{figure}
  55 }