From: Christiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Date: Thu, 25 Feb 2010 13:28:32 +0000 (+0100)
Subject: Add part about the run-function to the section about state
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=b28d9dd4fcf8b751765edd32494b2e41f9ff5578

Add part about the run-function to the section about state
---

diff --git a/4tapfir.svg b/4tapfir.svg
index b6a3f23..3a0ef40 100644
--- a/4tapfir.svg
+++ b/4tapfir.svg
@@ -10,7 +10,7 @@
    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"
-   width="153.05"
+   width="149.05"
    height="184.13002"
    id="svg2"
    version="1.1"
@@ -24,8 +24,8 @@
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
      inkscape:zoom="2"
-     inkscape:cx="129.37703"
-     inkscape:cy="84.413489"
+     inkscape:cx="116.56774"
+     inkscape:cy="72.903496"
      inkscape:document-units="px"
      inkscape:current-layer="layer1"
      showgrid="false"
@@ -102,7 +102,7 @@
         <dc:format>image/svg+xml</dc:format>
         <dc:type
            rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
-        <dc:title></dc:title>
+        <dc:title />
       </cc:Work>
     </rdf:RDF>
   </metadata>
@@ -110,14 +110,14 @@
      inkscape:label="Layer 1"
      inkscape:groupmode="layer"
      id="layer1"
-     transform="translate(-408.06,-664.5295)">
+     transform="translate(-412.06,-664.5295)">
     <rect
        style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
        id="rect7593"
-       width="130"
-       height="175"
-       x="50"
-       y="134.43002"
+       width="124.8"
+       height="174.5"
+       x="55.200001"
+       y="134.93002"
        transform="translate(367.86,538.7295)" />
     <g
        id="g2940">
@@ -581,7 +581,7 @@
        sodipodi:nodetypes="ccc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)"
-       d="m 408.56,688.15952 22,0"
+       d="m 412.56,688.15952 18,0"
        id="path3826"
        sodipodi:nodetypes="cc" />
     <g
@@ -770,7 +770,7 @@
    style="fill:#000000;stroke-width:0" />
 </g>    <g
        id="g7777"
-       transform="matrix(1,0,0,-1,186.5,1343.9595)"
+       transform="matrix(1,0,0,-1,191.7,1343.9595)"
        xml:space="preserve"
        stroke-miterlimit="10.433"
        font-style="normal"
diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs"
index 487d696..2adeed6 100644
--- "a/c\316\273ash.lhs"
+++ "b/c\316\273ash.lhs"
@@ -907,7 +907,7 @@ by an (optimizing) \VHDL\ synthesis tool.
     
     A FIR filter multiplies fixed constants ($h$) with the current 
     and a few previous input samples ($x$). Each of these multiplications
-    are summed, to produce the result at time $t$. The equation of the FIR 
+    are summed, to produce the result at time $t$. The equation of a FIR 
     filter is indeed equivalent to the equation of the dot-product, which is 
     shown below:
     
@@ -1019,7 +1019,25 @@ by an (optimizing) \VHDL\ synthesis tool.
     which variables  are part of the state is completely determined by the 
     type signature. This approach to state is well suited to be used in 
     combination with the existing code and language features, such as all the 
-    choice constructs, as state values are just normal values.    
+    choice constructs, as state values are just normal values.
+    
+    We can simulate stateful descriptions using the recursive \hs{run} 
+    function:
+    
+    \begin{code}
+    run f s (i:inps) = o : (run f s' inps)
+      where
+        (s', o) = f s i
+    \end{code}
+    
+    The \hs{run} function maps a list of inputs over the function that a 
+    developer wants to simulate, passing the state to each new iteration. Each
+    value in the input list corresponds to exactly one cycle of the (implicit) 
+    clock. The result of the simulation is a list of outputs for every clock
+    cycle. As both the \hs{run} function and the hardware description are 
+    plain hardware, the complete simulation can be compiled by an optimizing
+    Haskell compiler.
+    
 \section{\CLaSH\ prototype}
 
 foo\par bar