safe state machine problem

[skycanny]

others clause is not synthesized

Hi all guys:
I want ro generate a safe state machine, When the machine enter an unexpected state or an unreachable state, it can recove from these error state and run continuely. I have created a finite state machine by VHDL, synthesized by synplify with the atrribute "safe", however, the log warns that "OTHERS clause is not synthesized", and the synthesed result is tha same as the one sythsized without the attribute "safe". Whenever I add the attribute "safe" in the *.sdc file or directly in the VHDL source file, syplify shows the warning mentioned above. I refer **broken link removed** as my guide, but get this result.
what is wrong? how can I get a safe state machine synthesized by synplify?
Best regard.

 

[FvM]

safe state machines

The safe behaviour is not necessarily corresponding to the existence of an OTHERS state to my opinion. When the OTHERS state is recognized as unreachable by the FSM compiler, it's probably eliminated as with any other FSM style. But due to the safe opion, transitions from illegal states to the reset state should be implemented. You can try by simulation.