Static analysis and automatic code synthesis of flexible FSM model.

Dohyung Kim, Soonhoi Ha

Browse the full ASPDAC paper archive.