5 \frametitle{Some final words}
7 \item Still a lot to do: translate larger subset of Haskell
8 \item Real world prototype designs can already 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 signatures and Types}
27 type Word = SizedInt D12
28 type Instruction = ( Opcode, Word, RangedWord D9
34 , (s :>: (s :-: D1)) ~ True )) =>
35 a -> RangedWord (s :-: D1) -> RangedWord (s :-: D1) ->
43 \frametitle{Supported Functionality}
46 \item Higher Order Functions
47 \item Fixed-Size Vectors (Simulation)
48 \item Ranged and Sized Integers (Simulation)
49 \item Custom Datatypes
52 \item Pattern Matching
59 \frametitle{Unsupported Functionality}
62 \item Lists (Dynamic Length)
63 \item Standard Haskell Types: Integer, Char, etc.
66 \item And much much more...