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.
Practical Rule Composition<br />
Rules<br />
HW<br />
Ri Rj Rk<br />
Rj<br />
Rk<br />
Ri<br />
No intra-cycle communication between rules, in the HW<br />
Correctness: HW scheduler only allows rules Ri, Rj, …, Rk to<br />
execute concurrently when net state change is equivalent to<br />
Ri