BlueSpec - Computation Structures Group - MIT
BlueSpec - Computation Structures Group - MIT
BlueSpec - Computation Structures Group - MIT
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Modules, rules, interfaces,<br />
methods<br />
module<br />
interface<br />
rule<br />
state<br />
The big picture: modules contain rules which use<br />
methods that are provided by sub-modules in their<br />
interfaces. Methods, too, can use other methods.<br />
29