Add note about differences between Core and the graphical version.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 71e71eb33ae78160d51b1fa9981847d233d3fd58..d30cb6b99e3680eb32ba84bcd5ef3515c493c78b 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -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