3 \subsection{What will you see}
6 \frametitle{What will we see?}
8 \item Small tour: what can we describe in \clash{}
14 \subsection{What is \texorpdfstring{\clash{}}{CLasH}}
17 \frametitle{What is \clash{}?}
19 \item \clash{}: CAES Language for Hardware Descriptions
20 \item Rapid prototyping language
21 \item Subset of Haskell can be translated to Hardware (VHDL)
22 \item Structural Description of a Mealy Machine
28 \item \clash{} voor rapid prototyping
29 \item Subset haskell vertaalbaar
30 \item Mealy machine beschrijving
33 \subsection{Mealy Machine}
36 \frametitle{Mealy Machine}
38 \centerline{\includegraphics[width=10cm]{mealymachine}}
39 \label{img:mealymachine}
43 Voor wie het niet meer weet, dit is een mealy machine
48 \frametitle{Haskell Description}
52 {-"{\color<2>[rgb]{1,0,0}"-}State{-"}"-} ->
53 (State, OutputSignals)
54 mealyMachine inputs {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} = ({-"{\color<3>[rgb]{1,0,0}"-}new_state{-"}"-}, output)
56 {-"{\color<3>[rgb]{1,0,0}"-}new_state{-"}"-} = logic {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} input
57 outputs = logic {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} input
60 \subsection{Simulation}
63 \frametitle{Simulating a Mealy Machine}
65 run func {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} [] = []
66 run func {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} (i:input) = o:out
68 ({-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-}, o) = func {-"{\color<2>[rgb]{1,0,0}"-}state{-"}"-} i
69 out = run func {-"{\color<3>[rgb]{1,0,0}"-}state'{-"}"-} input