2 \section{Presentation Matthijs}
8 \begin{block}{Applying the $sqrt$ function to 4}<1>
11 \begin{block}{A mathematical square function}<2->
15 \begin{block}{A square function in Haskell}<3->
16 \texttt{square x = x * x}
22 \item Functionele taal -$>$ Wiskunde-achtig
23 \item Functies staan centraal
24 \item Next sheet: sqrt example
27 \item Stop er argumenten in (toepassen)
28 \item Krijg een resultaat terug
30 \item Next sheet: f(x) = x*x example
33 \item \emph{Hoe} werkt de functie (definitie)
35 \item Next sheet: square in Haskell
43 \begin{block}{Pythagoras' theorem}
48 $ c = \sqrt{a^2 + b^2} $
52 \includegraphics[width=3cm]{figures/Pythagoras}
57 % TODO: Alignment is weird due to mixing columns and non-columns
58 \begin{block}{Calculating $c$ in Haskell}
59 \texttt{pyth a b = sqrt ((square a) + (square b))}
65 \item Functies kunnen door andere functies gebruikt worden
66 \item Next sheet: Pyth function
67 \item Complexere functie
68 \item Next sheet: Pyth in Haskell
74 \texttt{pyth a b = sqrt ((square a) + (square b))}
78 \includegraphics[width=9.5cm]{figures/archs/Pyth}
84 \item Next sheet: Pyth hardware
85 \item Argumenten -$>$ input poorten
86 \item Toepassing -$>$ component
87 \item Resultaat -$>$ output poort
88 \item (Combinatorische) hardware is continu
95 \begin{block}{Pure functions}
98 \begin{block}{Impure functions}
105 \item Next sheet: Purity
106 \item Wiskundige en functionele functies zijn (meestal) puur.
107 \item Zelfde argumenten -$>$ zelfde resultaten
108 \item Geen bijwerkingen.
115 TODO: Impure (stateful) example.
123 \subsection{\texorpdfstring{\clash{}}{CLasH}}
130 CAES Language for Synchronous Hardware
136 \item Next sheet: \clash
137 \item Hardware beschrijven in Haskell: \clash
138 \item Nog niet gezien: keuzes, pattern matching, polymorfisme, hogere orde
140 \item Dit was de taal -$>$ compiler nodig
145 \begin{block}{Compiler pipeline}
146 $\xrightarrow{Haskell}{GHC frontend}
147 \xrightarrow{Core}{Normalization}
148 \xrightarrow{Core}{Backend}
155 \item Next sheet: \clash\ pipeline
156 \item GHC: bestaande compiler
157 \item Core: simpele functionale taal, niet minder expressief (vergelijk:
158 taal zonder synoniemen)
159 \item VHDL: Complexe HDL, gebruiken alleen netlist onderdelen.
160 \item Normalisatie: Nog simpeler maken.
163 \subsection{Normalization}
166 \frametitle{Netlists}
171 \includegraphics[width=9.5cm]{figures/archs/Square}
174 \begin{block}{Remember \texttt{square}}
182 \item Next sheet: Square netlist
183 \item Core hetzelfde als Haskell -$>$ gebruik Haskell syntax voor Core
184 \item Netlist is componenten (vierkantjes) en verbindingen (lijntjes)
185 \item Component heeft poorten, poorten moeten een naam hebben
186 \item Resultaat van square heeft geen naam -$>$ geen normaalvorm
191 \frametitle{Transformation}
200 func = let res = E in res
209 \begin{block}{Apply to square}
216 square x = let res = x * x in res
222 \item Next sheet: transformation example
223 \item Transformatie nodig om output poort een naam te geven
224 \item Next sheet: Apply to square
225 \item Toepassen op square, res heeft nu een naam.
230 \frametitle{Normalization system}
233 \includegraphics[width=9.5cm]{figures/norm/Normalizing}
239 \item Systeem van transformaties
240 \item Volgorde ongedefinieerd: Doe maar wat, tot het net meer kan.
241 \item Next sheet: Graafnotatie
242 \item Lijnen zijn transformaties
243 \item Keuzes (meerdere uitgaande lijnen)
244 \item Alles komt onderin uit
249 \frametitle{Normalization system}
252 \includegraphics[width=8cm]{figures/norm/Incorrect}
258 \item Meerdere normaalvormen
260 \item Systeem werkt nu \emph{meestal}
261 \item verbeteringen en bewijzen nodig
266 \frametitle{Normalization system}
269 \item Easy to work with
270 \item Allows analysis
277 \item Goede scheiding
278 \item Makkelijk implementeren
279 \item Wiskundige beschrijving -$>$ bewijzen
280 \item Huidige systeem is nog incompleet
288 \frametitle{But now?}
290 \item \clash\ has a solid base
291 \item Lots of work left
298 \item \clash\ is helemaal nieuw werk
299 \item Tekortkomingen: Haskell is niet ideaal, state beschrijvingen zijn
300 niet compact, transformaties zijn nog niet (bewezen compleet).
301 \item Meer testen nodig,
311 % vim: set filetype=tex sw=2 sts=2 expandtab: