Outline

   1 Context
   2   Other FHDLs (short, Christiaan has details)
   3
   4   Advantages of clash / why clash?
   5
   6   VHDL / Verilog / EDIF etc. Why VHDL?
   7
   8
   9 Haskell as hardware
  10         Simple function -> component interpretation (Model: Structure)
  11         Model: State
  12           Explicit vs implicit passing of state (e.g, delay)
  13           Explicit vs implicit marking
  14         Interpret: Polymorphism
  15         Interpret: Higher order
  16         Need: Dependent types
  17         Impossible things: Infinite recursion, higher order expressions
  18
  19 Prototype
  20         Choice of Haskell
  21         Core - description of the language (appendix?)
  22         Stages (-> Core, Normalization, -> VHDL)
  23         Implementation issues
  24
  25         Haskell language coverage / constraints
  26                 Recursion
  27                 Builtin types
  28                 Custom types (Sum types, product types)
  29                 Function types / higher order expressions
  30
  31 Normalization
  32         Normal form
  33         Rules used
  34         Completeness / conditions on input
  35         Termination
  36         Casts
  37
  38 Future work
  39         Boilerplate reduction (State distribution & pipelining)
  40         Recursion
  41         Multiple time domains (Events)
  42         Multiple cycle descriptions
  43         Higher order state
  44         New language