X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=matthijs%2Fintroduction.lhs;h=583408c12a3763fa6c7f073277ebd19979e12dfc;hb=34baaa870948dbc92f2eeff782a12dc9f4e751c6;hp=369ab79dcb5bb3e8f692691251e19c16ecd101a7;hpb=a8f72535b76928e7374968ae7ae0407d4f82c5c5;p=matthijs%2Fmaster-project%2Ffinal-presentation.git diff --git a/matthijs/introduction.lhs b/matthijs/introduction.lhs index 369ab79..583408c 100644 --- a/matthijs/introduction.lhs +++ b/matthijs/introduction.lhs @@ -114,21 +114,19 @@ { \frametitle{Multiply-accumulate} \begin{columns} - \begin{column}{5cm} - \begin{block}{} + \begin{column}{4cm} \begin{tabular}{lll} Input A & Input B & Output \\ \hline - 1 & 1 & 0 \\ - 1 & 2 & 1 \\ - 1 & 1 & 3 \\ - 2 & 2 & 4 \\ + 1 & 1 & 1 \\ + 1 & 2 & 3 \\ + 1 & 1 & 4 \\ + 2 & 2 & 8 \\ \end{tabular} - \end{block} \end{column} - \begin{column}{5cm} + \begin{column}{6cm} \begin{figure} - TODO: Image of MAC with internal register + \includegraphics[width=7cm]{figures/archs/Mac} \end{figure} \end{column} \end{columns} @@ -149,7 +147,7 @@ { \frametitle{Multiply-accumulate} \begin{columns} - \begin{column}{5cm} + \begin{column}{4cm} \begin{block}{} \vspace{-0.5cm} \begin{verbatim} @@ -159,9 +157,9 @@ in (State sum, sum) \end{verbatim} \end{block} \end{column} - \begin{column}{5cm} + \begin{column}{6cm} \begin{figure} - TODO: Image of MAC with external register + \includegraphics[width=7cm]{figures/archs/MacExternal} \end{figure} \end{column} \end{columns} @@ -182,7 +180,7 @@ in (State sum, sum) \begin{block}{Recursive run function} run f (i:is) s = let - (o, s') = f i s + (s', o) = f i s in o : (run f is s') \end{block} @@ -204,7 +202,7 @@ in (State sum, sum) \item Each recursion step, \texttt{f} is evaluated once. } -\subsection{\clash} +\subsection{\texorpdfstring{\clash{}}{CLasH}} \frame{ \begin{center} @@ -241,7 +239,8 @@ in (State sum, sum) \item Core: simpele functionale taal, niet minder expressief (vergelijk: taal zonder synoniemen) \item VHDL: Complexe HDL, gebruiken alleen netlist onderdelen. - \item Normalisatie: Nog simpeler maken. + \item Normalisatie: Nog simpeler maken (Polymorphisme, hogere orde eruit, + eenduidige vorm). } \subsection{Normalization} @@ -383,13 +382,13 @@ in (State sum, sum) \item Tekortkomingen: Haskell is niet ideaal, state beschrijvingen zijn niet compact, transformaties zijn nog niet (bewezen compleet). \item Meer testen nodig, + \item Met meer testen en meer werk -$>$ taal van de toekomst! } \subsection{Thanks} \frame { - {\Huge Thanks!} - +\vspace{2cm}\centerline{\Huge{Thanks!}} } % vim: set filetype=tex sw=2 sts=2 expandtab: