The /*synopsys enum state_code*/ constraint is pretty handy to handle the FSM state encoding. Unfortunately XST doesn't seem to be managing it correctly (as opposed to other synthesisers). Not reporting errors but breaking the FSM! Anybody has a workaround? I have a design I want to convert to XST with 10s of files and 10s of FSMs...
Many thanks, Jean-Baptiste.