Add the prototype to the research goals.

[matthijs/master-project/report.git] / Chapters / Introduction.tex

diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex
index e9fa26f5ed48df2d4e293c7550cd23e88491fd24..b5e2e2436404d5f591e4c4c65cdaa6ddddf49b77 100644 (file)
--- a/Chapters/Introduction.tex
+++ b/Chapters/Introduction.tex
@@ -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
     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
 
   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
   
     \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
 
   \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.
 \section{Outline}
 
 In the first chapter, we will sketch the context for this research.