With Keyword

Syntax

trans_stmt state_exp WITH { equation
[equation]
}

trans_stmt - The IF, ELSE, or CASE statements.

state_exp - The next state.

equation - An equation for state machine outputs.

Use

The With statement is used in the State_diagram section. When used in conjunction with the If-then or Case statement, it allows output equations to be written in terms of transitions.

state 5 : IF a == 1 then 1
WITH {x := 1 ;
y := 1 ;}
ELSE 2 WITH {x := 0 ;
y := 1 ;}