Structural operational semantics for supporting multi-cycle operations in RTL HDLs.

Shuqing Zhao, Daniel D. Gajski

Browse the full MEMOCODE paper archive.