From c8b72a250403339e3782e3efebc02a11f2411182 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Sep 2009 19:56:28 +0200
Subject: [PATCH] Add a brainstorm for an outline.

---
 Outline | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 Outline

diff --git a/Outline b/Outline
new file mode 100644
index 0000000..73246f9
--- /dev/null
+++ b/Outline
@@ -0,0 +1,41 @@
+Implementation issues
+
+State
+
+Prototype
+	Stages (-> Core, Normalization, -> VHDL)
+
+Core
+
+VHDL vs EDIF generation
+
+Normalization
+	Normal form
+	Rules used
+	Completeness / conditions on input
+	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 cycle descriptions
-- 
2.30.2