From: Matthijs Kooijman Date: Tue, 6 Oct 2009 08:51:49 +0000 (+0200) Subject: Add note about differences between Core and the graphical version. X-Git-Tag: final-thesis~217 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=5b652f5aabadc31f785d7860c32c6fb4c7fb50e5;p=matthijs%2Fmaster-project%2Freport.git Add note about differences between Core and the graphical version. --- 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