Outline

   1 Implementation issues
   2
   3 State
   4
   5 Prototype
   6         Stages (-> Core, Normalization, -> VHDL)
   7
   8 Core
   9
  10 VHDL vs EDIF generation
  11
  12 Normalization
  13         Normal form
  14         Rules used
  15         Completeness / conditions on input
  16         Termination
  17         Casts
  18
  19 Context
  20
  21 Other FHDLs
  22
  23 VHDL / Verilog / EDIF etc.
  24
  25 Advantages of clash / why clash?
  26
  27 Haskell as hardware
  28         Dependent types
  29         Impossible things: Infinite recursion, higher order expressions
  30
  31 Haskell language coverage / constraints
  32         Recursion
  33         Builtin types
  34         Custom types (Sum types, product types)
  35         Function types / higher order expressions
  36
  37 Future work
  38         Boilerplate reduction (State distribution & pipelining)
  39         Recursion
  40         Multiple time domains
  41         Multiple cycle descriptions