Mapping Statecharts to Verilog for Hardware/Software Co-specification.

Shengchao Qin, Wei-Ngan Chin

Browse the full FM paper archive.