Realizing Live Sequence Charts in SystemVerilog.

Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong

Browse the full TASE paper archive.