SAFIRE
 
Default Behavior

 

If no signal should be ignored, the default behavior of a state can be defined by creating an input symbol that accepts any signal.  Only one such input symbol is allowed in a state.  When a signal arrives, all constrained input symbols will be checked before the default input symbol.

 

An input symbol can be shared among several states by creating it within a state list.  The input symbols in a state list are active when the FSM is in any state named in the state list.


An input symbol can be shared among all states in an FSM by creating it in a special state called "ANY STATE".  Input symbols in the ANY state are always active.

 

Default Behavior

Any input signal that does not match the input signal on the left will be handled by the right input any symbol