X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git;a=blobdiff_plain;f=reducer.lhs;h=061f9dbc85da8df260ad574aae2970c988862cab;hp=09013d17dd60a4bace43f83060e43c639cbf4b4f;hb=HEAD;hpb=bf7c294bcfb5b4528e4daf0bdddd18ab59adc86c diff --git a/reducer.lhs b/reducer.lhs index 09013d1..061f9db 100644 --- a/reducer.lhs +++ b/reducer.lhs @@ -1,12 +1,31 @@ \section{Real Hardware Designs} \frame{ -\frametitle{Is \clash{} usable?} +\frametitle{More than just toys} \pause +\begin{columns}[l] +\column{0.5\textwidth} +\begin{figure} +\includegraphics<2->[width=5.5cm]{reducer} +\end{figure} +\column{0.5\textwidth} \begin{itemize} - \item It can be used for more than toy examples\pause - \item We designed a matrix reduction circuit\pause - \item We simulated it in Haskell\pause - \item Simulation results in VHDL match\pause - \item Synthesis completes without errors or warnings + \item We implemented a reduction circuit in \clash{}\pause + \item Simulated in Haskell. VHDL simulation results match\pause + \item Synthesis completes without errors or warnings\pause + \item Around half speed of handcoded and optimized VHDL \end{itemize} -} \ No newline at end of file +\end{columns} +}\note[itemize]{ +\item Toys like the poly cpu one are good to give a quick demo +\item But we used \clash{} to design 'real' hardware +\item Reduction circuit sums the numbers in a row, of different length +\item It uses a pipelined adder: multiple rows in pipeline, rows longer than pipeline +\item We hope you see this is not a trivial problem +\item Nice speed considering we don't optimize for it (only single example!) +} + +% \begin{frame}[plain] +% \begin{centering} +% \includegraphics[height=\paperheight]{reducerschematic.png} +% \end{centering} +% \end{frame}