I have been working on ideas wrt $SUBJ on and off. The first step was to
see what is available. There are three tools mentioned in the Magic
documentation that do what you want (they actually go till synthesis in
silicon using Magic). The syntax is also exemplified there.

The problem is, you have the syntax, you make code from it, then what ?
Due to optimization each state machine must be practically rewritten by
hand for each micro it runs on. Also requirements are different, input
sources can change, you usually can't afford to read all inputs and mask
what is not needed etc etc.

Peter

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.