5 \frametitle{Some final words}
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
16 \Huge{Thank you for listening}
19 \centerline{\clash{} Clone URL:}
20 \centerline{\url{git://github.com/christiaanb/clash.git}}
25 \frametitle{Complete signature for registerBank}
29 , PositiveT (s :+: D1)
30 , ((s :+: D1) :>: s) ~ True )) =>
31 (RegState s a) -> a -> RangedWord s ->
32 RangedWord s -> Bit -> ((RegState s a), a )
38 \centerline{\includegraphics[width=12cm]{polyaluhardware}}
39 \label{img:mealymachine}
45 \centerline{\includegraphics[width=12cm]{polyaluhardware-reg}}
46 \label{img:mealymachine}
52 \centerline{\includegraphics[width=12cm]{polyaluhardware-add}}
53 \label{img:mealymachine}