X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=christiaan%2Freductioncircuit.lhs;h=a41dbf6dfb46fb89d4bf4047b90a23192659cf84;hb=a32353a119937722388b8a78e73ab6e269484bca;hp=a4f55f68bea1383d702e07144c09deb06f590ae0;hpb=68dfe53b5995913363ac3fa0240e789e6774cf8a;p=matthijs%2Fmaster-project%2Ffinal-presentation.git diff --git a/christiaan/reductioncircuit.lhs b/christiaan/reductioncircuit.lhs index a4f55f6..a41dbf6 100644 --- a/christiaan/reductioncircuit.lhs +++ b/christiaan/reductioncircuit.lhs @@ -1,21 +1,21 @@ -\section{Restrictions} +\subsection{Restrictions} %include talk.fmt \frame{ \frametitle{Too Restrictive?} \begin{itemize} - \item Is CλasH too restrictive given the fact that a designer can currently not define his own vector transformations, or recursive functions for that matter? + \item Is \clash{} too restrictive given the fact that a designer can currently not define his own vector transformations, or recursive functions for that matter? \end{itemize} } \frame{ \frametitle{Too Restrictive?} \begin{itemize} - \item There is certainly room to increase expressivity. But we can already describe non-trivial design in CλasH. + \item There is certainly room to increase expressivity. But we can already describe non-trivial design in \clash{}. \item Example: Reduction circuit \end{itemize} } -\section{Reduction circuit} +\subsection{Reduction circuit} \frame{ \frametitle{Reduction Circuit} @@ -95,7 +95,7 @@ fifo :: (State (Fifo {..})) (inp, shift) = \item Map all vectors to RAMs: \begin{itemize} \item Store length separately, extra logic - \item What happens if size exceeds size of 1 blockRAM? + \item What happens if size of the vector exceeds size of the size of the RAM? \end{itemize} \item Translate to (shift/circular) Buffers \begin{itemize}