-\chapter{Prototype}
+\chapter[chap:prototype]{Prototype}
An important step in this research is the creation of a prototype compiler.
Having this prototype allows us to apply the ideas from the previous chapter
to actual hardware descriptions and evaluate their usefulness. Having a
newEmptyBox.inp(0,0);
newBox.front(btex \small{GHC} frontend + desugarer etex);
newBox.norm(btex Normalization etex);
- newBox.vhdl(btex VHDL generation etex);
+ newBox.vhdl(btex \small{VHDL} generation etex);
newEmptyBox.out(0,0);
% Space the boxes evenly
ObjLabel.inp(btex Haskell source etex) "labpathname(haskell)", "labdir(rt)";
ObjLabel.front(btex Core etex) "labpathname(core)", "labdir(rt)";
ObjLabel.norm(btex Normalized core etex) "labpathname(normal)", "labdir(rt)";
- ObjLabel.vhdl(btex VHDL description etex) "labpathname(vhdl)", "labdir(rt)";
+ ObjLabel.vhdl(btex \small{VHDL} description etex) "labpathname(vhdl)", "labdir(rt)";
% Draw the objects (and deferred labels)
drawObj (inp, front, norm, vhdl, out);
order expressions, has a specific structure, etc.), but is also very
close to directly describing hardware.
\stopdesc
- \startdesc{VHDL generation}
+ \startdesc{\small{VHDL} generation}
The last step takes the normal formed core representation and generates
- VHDL for it. Since the normal form has a specific, hardware-like
+ \small{VHDL} for it. Since the normal form has a specific, hardware-like
structure, this final step is very straightforward.
\stopdesc