Program program-name
declare declare-section
always always-section
initially initially-section
assign assign-section
end
- Structure:
- declare-section declares program variables.
- always-section defines functional relationships.
- initially-section defines initial variable values.
- assign-section contains assignment statements.
- Execution:
- Initial state as specified by initially-sectioon.
- In each step, one assignment is executed.
- Non-deterministic (but fair) selection of statements.
- Program reaches fixed point when state is not changed any more.
