{
\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}
{
\frametitle{Multiply-accumulate}
\begin{columns}
- \begin{column}{5cm}
+ \begin{column}{4cm}
\begin{block}{}
\vspace{-0.5cm}
\begin{verbatim}
\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}
\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}
\item Each recursion step, \texttt{f} is evaluated once.
}
-\subsection{\clash}
+\subsection{\texorpdfstring{\clash{}}{CLasH}}
\frame{
\begin{center}
\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}
\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: