X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=reducer.lhs;h=03c688c520ac496f98c8657ca05968c9c96658d0;hb=d514bd151f4bd5bbb5ae6828902a778222de9738;hp=09013d17dd60a4bace43f83060e43c639cbf4b4f;hpb=bf7c294bcfb5b4528e4daf0bdddd18ab59adc86c;p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git diff --git a/reducer.lhs b/reducer.lhs index 09013d1..03c688c 100644 --- a/reducer.lhs +++ b/reducer.lhs @@ -1,12 +1,29 @@ \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 Simulation results in Haskell match VHDL simulation results\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 a (sparse) matrix +\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}