Add note about differences between Core and the graphical version.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 6 Oct 2009 08:51:49 +0000 (10:51 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 6 Oct 2009 08:51:49 +0000 (10:51 +0200)
Chapters/Normalization.tex

index 71e71eb..d30cb6b 100644 (file)
@@ -215,7 +215,13 @@ alu = λopcode.λa.λb.
 
 As a more complete example, consider \in{example}[ex:NormalComplete]. This
 example contains everything that is supported in normal form, with the
-exception of builtin higher order functions.
+exception of builtin higher order functions. The graphical version of the
+architecture contains a slightly simplified version, since the state tuple
+packing and unpacking have been left out. Instead, two seperate registers are
+drawn. Also note that most synthesis tools will further optimize this
+architecture by removing the multiplexers at the register input and replace
+them with some logic in the clock inputs, but we want to show the architecture
+as close to the description as possible.
 
 \startbuffer[NormalComplete]
   regbank :: Bit