reducer.lhs

   1 \section{Real Hardware Designs}
   2 \frame{
   3 \frametitle{Is \clash{} usable?}
   4 \pause
   5 \begin{itemize}
   6   \item It can be used for more than toy examples\pause
   7   \item We designed a matrix reduction circuit\pause
   8   \item We simulated it in Haskell\pause
   9   \item Simulation results in VHDL match\pause
  10   \item Synthesis completes without errors or warnings
  11 \end{itemize}
  12 }