Initial import

diff --git a/.latexmkrc b/.latexmkrc
new file mode 100644 (file)
index 0000000..f6d4634
--- /dev/null
+++ b/.latexmkrc
@@ -0,0 +1,8 @@
+# Includes the default latexmk settings in the caes group
+
+my $caes_latexmkrc=`kpsewhich caes_latexmkrc 2>/dev/null`;
+$caes_latexmkrc =~ s/\n//;
+process_rc_file($caes_latexmkrc);
+
+# Add your own settings below
+$pdflatex = 'xelatex -shell-escape -synctex=1 -output-driver="xdvipdfmx -q -E" %O %S';

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..e52a905
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,48 @@
+FILE           = clash-haskell09
+LHS2TEX = lhs2TeX -v --poly --haskell
+LATEXMK = latexmk
+RM                     = rm -f
+RSVG    = rsvg-convert --format=pdf
+
+LHSRCS = \
+       introduction.lhs \
+       PolyAlu.lhs \
+       reducer.lhs \
+       howdoesitwork.lhs \
+       demo.lhs \
+       summery.lhs
+
+LHFORMATS = \
+       talk.fmt
+       
+TEXSRCS = \
+  preamble.tex
+
+SVGFIGURES = \
+  mealymachine.svg
+
+default: clash-haskell09
+
+clash-haskell09: texs figs $(TEXSRCS) $(LHFORMATS)
+       $(LHS2TEX) $(FILE).lhs > $(FILE).tex; \
+       $(LATEXMK) $(FILE); \
+       open $(FILE).pdf; \
+       $(RM) $(LHSRCS:.lhs=.tex)
+
+texs : $(LHSRCS:.lhs=.tex) 
+%.tex : %.lhs
+       $(LHS2TEX) $< > $@
+
+figs : $(SVGFIGURES:.svg=.pdf)
+%.pdf : %.svg
+       $(RSVG) $< > $@
+
+clean:
+               latexmk -CA clash-haskell09
+               $(RM) $(SVGFIGURES:.svg=.pdf)
+               $(RM) $(FILE).tex
+               $(RM) $(FILE).ptb
+               $(RM) $(FILE).synctex.gz
+               $(RM) $(FILE).nav
+               $(RM) $(FILE).snm
+               $(RM) *.hi *.o *.aux
\ No newline at end of file

diff --git a/PolyAlu.lhs b/PolyAlu.lhs
new file mode 100644 (file)
index 0000000..eb97ac3
--- /dev/null
+++ b/PolyAlu.lhs
@@ -0,0 +1,115 @@
+%include talk.fmt
+%if style == newcode
+\begin{code}
+{-# LANGUAGE  TypeOperators, TypeFamilies, FlexibleContexts #-}
+module PolyCPU where
+
+import qualified Prelude as P
+\end{code}
+%endif
+
+\section{Polymorphic, Higher-Order CPU}
+\subsection{Introduction}
+\frame
+{
+\frametitle{Small Use Case}
+\begin{itemize}
+  \item Small Polymorphic, Higher-Order CPU
+  \item Each function is turned into a hardware component
+  \item Use of state will be simple
+\end{itemize}
+}
+
+\frame
+{
+\frametitle{Imports}
+\begin{code}
+import {-"{\color<2>[rgb]{1,0,0}"-}CLasH.HardwareTypes{-"}"-}
+import {-"{\color<3>[rgb]{1,0,0}"-}CLasH.Translator.Annotations{-"}"-}
+\end{code}
+}
+
+\subsection{Type Definitions}
+\frame
+{
+First we define some ALU types:
+\begin{code}
+type Op s a         =   a -> {-"{\color<2>[rgb]{1,0,0}"-}Vector s a{-"}"-} -> a
+type Opcode         =   Bit
+\end{code}
+And some Register types:
+\begin{code}
+type RegBank s a    =   {-"{\color<2>[rgb]{1,0,0}"-}Vector (s :+: D1){-"}"-} a
+type RegState s a   =   State (RegBank s a)
+\end{code}
+And a simple Word type:
+\begin{code}
+type Word           =   {-"{\color<3>[rgb]{1,0,0}"-}SizedInt D12{-"}"-}
+\end{code}
+}
+\subsection{Frameworks for Operations}
+\frame
+{
+We make a primitive operation:
+\begin{code}
+primOp :: {-"{\color<2>[rgb]{1,0,0}"-}(a -> a -> a){-"}"-} -> Op s a
+primOp f a b = a `f` a
+\end{code}
+We make a vector operation:
+\begin{code}
+vectOp :: {-"{\color<2>[rgb]{1,0,0}"-}(a -> a -> a){-"}"-} -> Op s a
+vectOp f a b = {-"{\color<2>[rgb]{1,0,0}"-}foldl{-"}"-} f a b
+\end{code}
+}
+\subsection{Polymorphic, Higher-Order ALU}
+\frame
+{
+We define a polymorphic ALU:
+\begin{code}
+alu :: 
+  Op s a -> 
+  Op s a -> 
+  Opcode -> a -> Vector s a -> a
+alu op1 op2 {-"{\color<2>[rgb]{1,0,0}"-}Low{-"}"-}    a b = op1 a b
+alu op1 op2 {-"{\color<2>[rgb]{1,0,0}"-}High{-"}"-}   a b = op2 a b
+\end{code}
+}
+\subsection{Register bank}
+\frame
+{
+Make a simple register bank:
+\begin{code}
+registerBank :: 
+  CXT((NaturalT s ,PositiveT (s :+: D1),((s :+: D1) :>: s) ~ True )) =>
+  (RegState s a) -> a -> {-"{\color<2>[rgb]{1,0,0}"-}RangedWord s{-"}"-} ->
+  {-"{\color<2>[rgb]{1,0,0}"-}RangedWord s{-"}"-} -> Bit -> ((RegState s a), a )
+  
+registerBank (State mem) data_in rdaddr wraddr wrenable = 
+  ((State mem'), data_out)
+  where
+    data_out  =   mem!rdaddr
+    mem'          {-"{\color<3>[rgb]{1,0,0}"-}| wrenable == Low{-"}"-}  = mem
+                  {-"{\color<3>[rgb]{1,0,0}"-}| otherwise{-"}"-}        = replace mem wraddr data_in
+\end{code}
+}
+\subsection{Simple CPU: ALU \& Register Bank}
+\frame
+{
+Combining ALU and register bank:
+\begin{code}
+{-"{\color<2>[rgb]{1,0,0}"-}ANN(actual_cpu TopEntity){-"}"-}
+actual_cpu :: 
+  (Opcode, Word, Vector D4 Word, 
+  RangedWord D9, 
+  RangedWord D9, Bit) -> 
+  RegState D9 Word ->
+  (RegState D9 Word, Word)
+
+actual_cpu (opc, a ,b, rdaddr, wraddr, wren) ram = (ram', alu_out)
+  where
+    alu_out = alu simpleOp vectorOp opc ram_out b
+    (ram',ram_out)  = registerBank ram a rdaddr wraddr wren
+    simpleOp =  primOp  (+)
+    vectorOp =  vectOp  (+)
+\end{code}
+}

diff --git a/clash-haskell09.lhs b/clash-haskell09.lhs
new file mode 100644 (file)
index 0000000..30c4cf3
--- /dev/null
+++ b/clash-haskell09.lhs
@@ -0,0 +1,27 @@
+\documentclass[hyperref={unicode}]{beamer}
+%include talk.fmt
+\include{preamble}
+
+\title{\clash{}}
+\subtitle{From Haskell To Hardware}
+\author{Christiaan Baaij \& Matthijs Kooijman}
+\institute[University of Twente]
+{
+  Computer Architecture for Embedded Systems \\
+  Faculty of EEMCS \\
+  University of Twente\\
+}
+\date{\today}
+
+\begin{document}
+
+\frame{\titlepage}
+
+\include{introduction}
+\include{PolyAlu}
+\include{reducer}
+\include{howdoesitwork}
+\include{demo}
+\include{summery}
+
+\end{document}
\ No newline at end of file

diff --git a/demo.lhs b/demo.lhs
new file mode 100644 (file)
index 0000000..a887877
--- /dev/null
+++ b/demo.lhs
@@ -0,0 +1,25 @@
+\section{Demonstration}
+
+\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}
+Use customized GHC:
+\begin{itemize}
+  \item Call GHC with the --vhdl flag
+  \item Use the :vhdl command in GHCi
+\end{itemize}
+}
+
+\frame{
+\frametitle{Real Demo}
+\begin{itemize}
+  \item We will simulate the small CPU from earlier
+  \item Translate the CPU code to VHDL
+  \item Simulate the generated VHDL
+  \item Synthesize the VHDL to get a hardware schematic
+\end{itemize}
+}
\ No newline at end of file

diff --git a/howdoesitwork.lhs b/howdoesitwork.lhs
new file mode 100644 (file)
index 0000000..39137bd
--- /dev/null
+++ b/howdoesitwork.lhs
@@ -0,0 +1,15 @@
+%include talk.fmt
+\section{How do you make Hardware from Haskell?}
+\frame
+{
+  \frametitle{So how do you make Hardware from Haskell?}
+  \large{In three simple steps} \pause
+  \begin{itemize}
+    \item No Effort:\\
+    GHC API Parses, Typechecks and Desugars Haskell \pause
+    \item Hard.. sort of: \\
+    Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form \pause
+    \item Easy: \\
+    Translate Normalized Core to synthesizable VHDL
+  \end{itemize}
+}
\ No newline at end of file

diff --git a/introduction.lhs b/introduction.lhs
new file mode 100644 (file)
index 0000000..d959f8d
--- /dev/null
+++ b/introduction.lhs
@@ -0,0 +1,59 @@
+%include talk.fmt
+\section{Introduction}
+\subsection{What will you see}
+\frame
+{
+  \frametitle{What will we see?}
+  \begin{itemize}
+    \item Small tour: what can we describe in \clash{}
+    \item Quick real demo
+  \end{itemize}
+}
+
+\subsection{What is \texorpdfstring{\clash{}}{CLasH}}
+\frame
+{
+  \frametitle{What is \clash{}?}
+  \begin{itemize}
+    \item \clash{}: CAES Language for Hardware Descriptions
+    \item Rapid prototyping language
+    \item Subset of Haskell can be translated to Hardware (VHDL)
+    \item Structural Description of a Mealy Machine
+  \end{itemize}
+}
+\subsection{Mealy Machine}
+\frame
+{
+\frametitle{Mealy Machine}
+  \begin{figure}
+  \centerline{\includegraphics[width=\textwidth]{mealymachine}}
+  \label{img:mealymachine}
+  \end{figure}
+}
+
+\frame
+{
+\frametitle{Haskell Description}
+\begin{code}
+mealyMachine :: 
+  InputSignals ->
+  {-"{\color<2->[rgb]{1,0,0}"-}State{-"}"-} ->
+  (State, OutputSignals)
+mealyMachine inputs {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} = ({-"{\color<3->[rgb]{0,0,1}"-}new_state{-"}"-}, output)
+  where
+    {-"{\color<3->[rgb]{0,0,1}"-}new_state{-"}"-}   =   logic     {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-}   input
+    outputs                                         =   logic     {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-}   input
+\end{code}
+}
+\subsection{Simulation}
+\frame
+{
+\frametitle{Simulating a Mealy Machine}
+\begin{code}
+run func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} [] = []
+run func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} (i:input) = o:out
+  where
+    ({-"{\color<3->[rgb]{0,0,1}"-}state'{-"}"-}, o) = func {-"{\color<2->[rgb]{1,0,0}"-}state{-"}"-} i
+    out         = run func {-"{\color<3->[rgb]{0,0,1}"-}state'{-"}"-} input
+\end{code}
+}
\ No newline at end of file

diff --git a/mealymachine.svg b/mealymachine.svg
new file mode 100644 (file)
index 0000000..0606504
--- /dev/null
+++ b/mealymachine.svg
@@ -0,0 +1,270 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   version="1.2"
+   width="349.68433"
+   height="198.21248"
+   id="svg2"
+   inkscape:version="0.46"
+   sodipodi:docname="mealymachine.svg"
+   inkscape:output_extension="org.inkscape.output.svg.inkscape"
+   sodipodi:version="0.32">
+  <metadata
+     id="metadata45">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <sodipodi:namedview
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1"
+     objecttolerance="10"
+     gridtolerance="10"
+     guidetolerance="10"
+     inkscape:pageopacity="0"
+     inkscape:pageshadow="2"
+     inkscape:window-width="1280"
+     inkscape:window-height="976"
+     id="namedview43"
+     showgrid="false"
+     inkscape:zoom="1.1906415"
+     inkscape:cx="58.518313"
+     inkscape:cy="99.106239"
+     inkscape:window-x="0"
+     inkscape:window-y="22"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="layer1" />
+  <defs
+     id="defs4">
+    <inkscape:perspective
+       sodipodi:type="inkscape:persp3d"
+       inkscape:vp_x="0 : 99.106239 : 1"
+       inkscape:vp_y="0 : 1000 : 0"
+       inkscape:vp_z="349.68433 : 99.106239 : 1"
+       inkscape:persp3d-origin="174.84216 : 66.070826 : 1"
+       id="perspective47" />
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow2Lstart"
+       style="overflow:visible">
+      <path
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         transform="matrix(1.1,0,0,1.1,1.1,0)"
+         id="path3653"
+         style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+    </marker>
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow2Lend"
+       style="overflow:visible">
+      <path
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+         id="path3656"
+         style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+    </marker>
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow1Lend"
+       style="overflow:visible">
+      <path
+         d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+         transform="matrix(-0.8,0,0,-0.8,-10,0)"
+         id="path3638"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" />
+    </marker>
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow2Mstart"
+       style="overflow:visible">
+      <path
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         transform="scale(0.6,0.6)"
+         id="path3659"
+         style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+    </marker>
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow2Mend"
+       style="overflow:visible">
+      <path
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         transform="scale(-0.6,-0.6)"
+         id="path3662"
+         style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+    </marker>
+    <marker
+       refX="0"
+       refY="0"
+       orient="auto"
+       id="Arrow2Lend-6"
+       style="overflow:visible">
+      <path
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+         id="path3656-0"
+         style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+    </marker>
+  </defs>
+  <g
+     transform="translate(-240.54796,-232.04137)"
+     id="layer1">
+    <path
+       d="m 499.34095,257.92691 32.88047,0"
+       id="path3910"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" />
+    <text
+       x="248.02895"
+       y="262.5231"
+       id="text3712-5-7"
+       xml:space="preserve"
+       style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"><tspan
+         x="248.02895"
+         y="262.5231"
+         id="tspan3714-2-3"
+         style="font-size:16px">Inputs</tspan></text>
+    <text
+       x="535.7948"
+       y="262.5231"
+       id="text3712-99-0-7"
+       xml:space="preserve"
+       style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"><tspan
+         x="535.7948"
+         y="262.5231"
+         id="tspan3714-7-3-2"
+         style="font-size:16px">Outputs</tspan></text>
+    <path
+       d="m 291.80511,257.92691 36.06245,0"
+       id="path3910-4"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" />
+    <text
+       x="64.700272"
+       y="-38.140511"
+       transform="translate(269.8848,231.7207)"
+       id="text5424"
+       xml:space="preserve"
+       style="font-size:40px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"><tspan
+         x="64.700272"
+         y="-38.140511"
+         id="tspan5426" /></text>
+    <path
+       d="m 229.45615,97.623991 32.88047,0 0,69.296469 -32.88047,0"
+       transform="translate(269.8848,231.7207)"
+       id="path7752"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)" />
+    <path
+       d="m 57.982757,166.92046 -36.062447,0 0,-69.296469 36.062447,0"
+       transform="translate(269.8848,231.7207)"
+       id="path7948"
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)" />
+    <text
+       x="240.32921"
+       y="316.76682"
+       id="text3712-5-7-1"
+       xml:space="preserve"
+       style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"><tspan
+         x="240.32921"
+         y="316.76682"
+         id="tspan8173"
+         style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;font-family:Palatino;-inkscape-font-specification:Palatino" /></text>
+    <text
+       x="240.32921"
+       y="327.37341"
+       id="text3712-5-7-3"
+       xml:space="preserve"
+       style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"><tspan
+         x="240.32921"
+         y="327.37341"
+         id="tspan3714-2-3-7"
+         style="font-size:16px">Present</tspan></text>
+    <text
+       x="248.05577"
+       y="340.65839"
+       id="text3712-5-7-3-7"
+       xml:space="preserve"
+       style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"><tspan
+         x="248.05577"
+         y="340.65839"
+         id="tspan3714-2-3-7-5"
+         style="font-size:16px">State</tspan></text>
+    <g
+       id="g2433">
+      <rect
+         style="fill:#f0f0f0;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 1;stroke-dashoffset:0"
+         id="rect3716"
+         y="232.54137"
+         x="328.92822"
+         ry="5"
+         rx="5"
+         height="121.6148"
+         width="170.00002" />
+      <text
+         id="text2417"
+         y="285.46301"
+         x="413.71338"
+         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"
+         xml:space="preserve"><tspan
+           style="text-align:center;text-anchor:middle"
+           y="285.46301"
+           x="413.71338"
+           id="tspan2419"
+           sodipodi:role="line">Combinatorial</tspan><tspan
+           style="text-align:center;text-anchor:middle"
+           id="tspan2421"
+           y="310.46301"
+           x="413.71338"
+           sodipodi:role="line">Logic</tspan></text>
+    </g>
+    <g
+       id="g2439">
+      <rect
+         style="fill:#f0f0f0;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2, 1;stroke-dashoffset:0"
+         id="rect3716-8"
+         y="367.25348"
+         x="328.78696"
+         ry="4.3373775"
+         rx="5.0083094"
+         height="62.500351"
+         width="170.28253" />
+      <text
+         id="text2423"
+         y="392.66382"
+         x="413.95752"
+         style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"
+         xml:space="preserve"><tspan
+           style="text-align:center;text-anchor:middle"
+           id="tspan2427"
+           y="392.66382"
+           x="413.95752"
+           sodipodi:role="line">Memory</tspan><tspan
+           id="tspan2431"
+           style="text-align:center;text-anchor:middle"
+           y="417.66382"
+           x="413.95752"
+           sodipodi:role="line">Elements</tspan></text>
+    </g>
+  </g>
+</svg>

diff --git a/preamble.tex b/preamble.tex
new file mode 100644 (file)
index 0000000..8c730fe
--- /dev/null
+++ b/preamble.tex
@@ -0,0 +1,9 @@
+\mode<presentation>
+{
+  \usetheme{Warsaw}
+  \setbeamercovered{transparent}
+}
+
+\usepackage[english]{babel}
+
+\newcommand{\clash}[0]{C$\lambda$asH}
\ No newline at end of file

diff --git a/reducer.lhs b/reducer.lhs
new file mode 100644 (file)
index 0000000..09013d1
--- /dev/null
+++ b/reducer.lhs
@@ -0,0 +1,12 @@
+\section{Real Hardware Designs}
+\frame{
+\frametitle{Is \clash{} usable?}
+\pause
+\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
+\end{itemize}
+}
\ No newline at end of file

diff --git a/summery.lhs b/summery.lhs
new file mode 100644 (file)
index 0000000..2174a0c
--- /dev/null
+++ b/summery.lhs
@@ -0,0 +1,14 @@
+\section{Conclusion}
+
+\frame{
+\frametitle{Some final words}
+\begin{itemize}
+  \item Still a lot to do: make a bigger subset of Haskell translatable
+  \item Real word designs work
+  \item We bring functional expressivity to hardware designs
+\end{itemize}
+}
+
+\frame{
+\centerline{Thank you for listening}
+}
\ No newline at end of file

diff --git a/talk.fmt b/talk.fmt
new file mode 100644 (file)
index 0000000..8d7076a
--- /dev/null
+++ b/talk.fmt
@@ -0,0 +1,18 @@
+%include polycode.fmt
+
+%if style == newcode 
+%format ANN(x) = "{-# ANN " x "#-}"
+%format CXT(x) = "(" x ")"
+%format ^^ = " " 
+%else 
+%format ANN(x) = "\{-\# ANN\ " x " \#-\}"
+%format CXT(x) = "(Some\ context...)" 
+%format ^^ = "\; "
+%format :>:   = "\ensuremath{>}"
+%format :<:   = "\ensuremath{<}"
+%format :==:  = "\ensuremath{\equiv}"
+%format :-:   = "\ensuremath{-}"
+%format :+:   = "\ensuremath{+}"
+%format :*:   = "\ensuremath{*}"
+%format :<=:  = "\ensuremath{\leq}"
+%endif 
\ No newline at end of file