From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 24 Sep 2009 14:15:33 +0000 (+0200)
Subject: Update outline.
X-Git-Tag: final-thesis~253
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=06f9b8afcdca6cc6cd82af650666c9d1faf27b98;hp=04787b97e28a61c0e96ae9c3670c47c6bb1c881e

Update outline.
---

diff --git a/Outline b/Outline
index 73246f9..0825321 100644
--- a/Outline
+++ b/Outline
@@ -1,13 +1,32 @@
-Implementation issues
+Context
+  Other FHDLs (short, Christiaan has details)
+
+  Advantages of clash / why clash?
+
+  VHDL / Verilog / EDIF etc. Why VHDL?
 
-State
+
+Haskell as hardware
+        Simple function -> component interpretation (Model: Structure)
+        Model: State
+          Explicit vs implicit passing of state (e.g, delay)
+          Explicit vs implicit marking
+        Interpret: Polymorphism
+        Interpret: Higher order
+	Need: Dependent types
+	Impossible things: Infinite recursion, higher order expressions
 
 Prototype
+        Choice of Haskell
+        Core - description of the language (appendix?)
 	Stages (-> Core, Normalization, -> VHDL)
+        Implementation issues
 
-Core
-
-VHDL vs EDIF generation
+        Haskell language coverage / constraints
+                Recursion
+                Builtin types
+                Custom types (Sum types, product types)
+                Function types / higher order expressions
 
 Normalization
 	Normal form
@@ -16,26 +35,9 @@ Normalization
 	Termination
 	Casts
 
-Context
-
-Other FHDLs
-
-VHDL / Verilog / EDIF etc.
-
-Advantages of clash / why clash?
-
-Haskell as hardware
-	Dependent types
-	Impossible things: Infinite recursion, higher order expressions
-
-Haskell language coverage / constraints
-	Recursion
-	Builtin types
-	Custom types (Sum types, product types)
-	Function types / higher order expressions
-
 Future work
 	Boilerplate reduction (State distribution & pipelining)
 	Recursion
-	Multiple time domains
+	Multiple time domains (Events)
 	Multiple cycle descriptions
+        Higher order state