An Automatic Mapping from Statecharts to Verilog.

Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin

Browse the full ICTAC paper archive.