From: Christiaan Baaij Date: Tue, 9 Mar 2010 19:15:34 +0000 (+0100) Subject: Add figure of counter netlist, and update part about higher-order cpu X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=25f9828b0ed71e47e6cb7261b6245ce383c6cf40 Add figure of counter netlist, and update part about higher-order cpu --- diff --git a/counter.svg b/counter.svg new file mode 100644 index 0000000..16d2edf --- /dev/null +++ b/counter.svg @@ -0,0 +1,712 @@ + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs" index e803663..3f85078 100644 --- "a/c\316\273ash.lhs" +++ "b/c\316\273ash.lhs" @@ -692,7 +692,7 @@ eventual netlist representation is also highlighted. \end{code} The naive netlist corresponding to this example is depicted in - \Cref{img:choice}. Note that the \hs{direction} variable is only + \Cref{img:counter}. Note that the \hs{direction} variable is only compared to \hs{Up}, as an inequality immediately implies that \hs{direction} is \hs{Down}. @@ -730,11 +730,19 @@ eventual netlist representation is also highlighted. % \end{example} % \end{minipage} + % \begin{figure} + % \vspace{1em} + % \centerline{\includegraphics{choice-case.svg}} + % \caption{Choice - sumif} + % \label{img:choice} + % \vspace{-1.5em} + % \end{figure} + \begin{figure} \vspace{1em} - \centerline{\includegraphics{choice-case.svg}} - \caption{Choice - sumif} - \label{img:choice} + \centerline{\includegraphics{counter.svg}} + \caption{Counter netlist} + \label{img:counter} \vspace{-1.5em} \end{figure} @@ -754,7 +762,7 @@ eventual netlist representation is also highlighted. \hs{true}. The version using pattern matching and guards corresponds to the same - naive netlist representation (\Cref{img:choice}) as the earlier example. + naive netlist representation (\Cref{img:counter}) as the earlier example. \hspace{-1.7em} \begin{minipage}{0.93\linewidth} @@ -1426,11 +1434,12 @@ compared to the others. The vector \hs{inputs} is the set of data sources, which is passed to each function unit as a set of possible operants. The \acro{CPU} also receives a vector of address pairs, which are used by each function unit to select -their operand. The application of the function units to the \hs{inputs} and -\hs{addrs} arguments seems quite repetitive and could be rewritten to use -a combination of the \hs{map} and \hs{zipwith} functions instead. -However, the prototype compiler does not currently support working with lists -of functions, so a more explicit version of the code is given instead. +their operand. +% The application of the function units to the \hs{inputs} and +% \hs{addrs} arguments seems quite repetitive and could be rewritten to use +% a combination of the \hs{map} and \hs{zipwith} functions instead. +% However, the prototype compiler does not currently support working with +% lists of functions, so a more explicit version of the code is given instead. \hspace{-1.7em} \begin{minipage}{0.93\linewidth}