The format of the asm_state statement is as follows.
| asm_state | state_name,next_statement,o=(state_outputs) |
The field state_name gives a unique name to the state. The state_outputs field is a list, separated by commas of the outputs that must be unconditionally asserted when the machine is in this state. Any number of outputs may be specified. If only one output is specified, the parenthesis may be omitted. The next_statement field is the name of the statement that follows this statement in the flow chart of the state machine. If the machine transfers unconditionally to a new state, then next_statement will be the name of the new state. If the state transfers to two or more states depending on certain conditions, then next_statement will be the name of an asm_test statement.