X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=demo.lhs;fp=demo.lhs;h=740a38ee705ddc7a656c91bd26483c41f1653d6a;hb=d0420235340ee715db69a023bf0f6ad75d573735;hp=0000000000000000000000000000000000000000;hpb=dfa8e8c67fe722269e1b61016bffa4c9ad5bc0b6;p=matthijs%2Fmaster-project%2Ffinal-presentation.git

diff --git a/demo.lhs b/demo.lhs
new file mode 100644
index 0000000..740a38e
--- /dev/null
+++ b/demo.lhs
@@ -0,0 +1,39 @@
+\section{Demonstration}
+
+\frame{
+\frametitle{Demo}
+Pre-Recorded Video: VHDL Synthesis takes too long\pause
+\vspace{3em}
+\begin{itemize}
+  \item Simulate the Haskell CPU description
+  \item Translate the Haskell description to VHDL
+  \item Simulate the generated VHDL
+\end{itemize}
+}\note[itemize]{
+\item Will show video
+}
+
+\frame{
+\frametitle{Generated Schematic}
+\begin{figure}
+\centerline{\includegraphics<1>[width=10.3cm]{cpucomplete}
+\includegraphics<2>[width=11.3cm]{cpualu}
+%\includegraphics<3>[height=6.3cm]{cpuregisters}
+}
+\end{figure}
+}
+
+% 
+% \frame{
+% \frametitle{How do we use \clash{}?}
+% As a library:
+% \begin{itemize}
+%   \item Import the module: CLasH.Translator
+%   \item And call \emph{makeVHDLAnnotations ghc\_lib\_dir [files\_to\_translate]}
+% \end{itemize}
+% Customized GHC:
+% \begin{itemize}
+%   \item Call GHC with the --vhdl flag
+%   \item Use the :vhdl command in GHCi
+% \end{itemize}
+% }