General Description: In the FSM diagram, there is no obvious way to group together all possible conditions that have not been specified already for a state, and to specify the resulting transition without having to write these conditions explicitly. How do I accomplish this?
For three inputs to a state machine, eight possible conditions can produce a state transition. If two conditions produce two separate transitions and the remaining six conditions all produce the same transition, you can specify the remaining conditions in one. You can accomplish this by using the condition "@else".
This effectively produces an "ELSE" condition in the resulting VHDL code.