Algorithmic State Chart (ASM)
An ASM chart can be used to describe FSM behavior
Only three action signals can appear within an ASM chart:
State box. Each box represents a state. Outputs within a state box is an UNCONDITIONAL output (always asserted in this state).
Decision box. A condition in this box will decide next state condition.
Conditional output box. If present, will always follow a decision box; output within it is conditional.