From 5b652f5aabadc31f785d7860c32c6fb4c7fb50e5 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Tue, 6 Oct 2009 10:51:49 +0200 Subject: [PATCH] Add note about differences between Core and the graphical version. --- Chapters/Normalization.tex | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 71e71eb..d30cb6b 100644 --- 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 -- 2.30.2