Shuqing Zhao Daniel D. Gajski Structural operational semantics for supporting multi-cycle operations in RTL HDLs. 45-53 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487890 db/conf/memocode/memocode2005.html#ZhaoG05