From Statecharts to Verilog: a formal approach to hardware/software co-specification.

Shengchao Qin Wei-Ngan Chin Jifeng He Zongyan Qiu From Statecharts to Verilog: a formal approach to hardware/software co-specification. 17-38 2006 2 ISSE 1 http://dx.doi.org/10.1007/s11334-005-0020-2 db/journals/isse/isse2.html#QinCHQ06