index 8ffba57..595a074 100644 (file)
@@ -88,7 +88,7 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
for i=1 upto num:
newCircle.a[i](btex + etex);
endfor
-    newCircle.out(btex $output$ etex) "framed(false)";
+    newCircle.out(btex $\overrightarrow{output}$ etex) "framed(false)";

% Center the input and output ports vertically, and put them left and right
% resp.
@@ -136,7 +136,7 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
newCircle.a(btex + etex);
newCircle.out(btex $output$ etex) "framed(false)";

-    % Punt inp, a and out in one horizontal line, with reg above a
+    % Put inp, a and out in one horizontal line, with reg above a
reg.c-a.c=(0cm, 2cm);
a.c-inp.c=(3cm, 0cm);
out.c-a.c=(3cm, 0cm);
@@ -177,6 +177,7 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
How can we describe the structural properties of a hardware design, using
a functional language?
\stopquotation
+  \setupquotation[style=normal,spacebefore=]

We can further split this into subquestions from a hardware perspective:
\startitemize
@@ -184,13 +185,20 @@ sum' (x:xs) acc = acc' : (sum' xs acc')
\item How can we describe (hierarchical) structure in a design?
\stopitemize

-  functional perspective:
+  And subquestions from a functional perspective:
\startitemize
\item How to interpret recursion in descriptions?
\item How to interpret polymorphism?
\item How to interpret higher order in descriptions?
\stopitemize

+  In addition to looking at designing a hardware description language, we
+  will also implement a prototype to test drive our ideas. This prototype will
+  translate hardware descriptions written in the Haskell functional language
+  to simple (netlist-like) hardware descriptions in the \VHDL language. The
+  reasons for choosing these languages are detailed in section
+  \in{}[sec:prototype:input] and \in{}[sec:prototype:output] respectively.
+
\section{Outline}

In the first chapter, we will sketch the context for this research.