Declarations

Pure Signals: signals are absent or present

• input signals must be set
• output signals are computed

Valued Signals:

are pure signals and are able to store a value

Events:

• interface scope: events can either be ingoing (in event event) or outgoing (out event event).
• local scope: events are able to store a value.internal: event localEvent : bool

Variables:

• variable:var variable: string

• readonly variable:var readonly size: int = 10

• external variable: can be referenced by the environmentvar external variable: int = 44

Typesystem

• pure: only makes sense for Signals. Signals are absent or present.
• host: no actual type is given. The given type in the hostType attribute is used.
• bool
• unsigned
• int
• float
• double
• string

• integer
• real
• boolean 
• string
• void

Expressions

• Logical AND: var1 && var2
• Logical OR: var1 || var2
• Logical NOT: !var1
• Conditional Expression: var1 ? var2 : var3

Operations

• Equal: '='
• Less Than: '<'
• Equal Or Less Than: '<='
• Greater Than: '>'
• Equal Or Greater Than: '>='
• NOT: '!='
• Value: '?'

?B = 3

• PRE: 'pre'

pre(B)

• NE: '<>'
• AND: 'and'
• OR: 'or'
• Add: '+'
• Minus : '-'
• Multiply: '*'
• Divide: '/'
• Modulo: 'mod'

• Equal: '=='
• less than: '<'
• Equal Or Less Than: '<='
• Greater Than: '>'
• Equal Or Greater Than '>='
• Not Equal: '!='
• Shift Left: '<<'
• Shift Right: '>>'
• Plus: '+'
• Minus: '-'
• Multiply: '*'
• Divide: '/'
• Modulo: '%'
• Positive: '+'
• Negative: '-'
• Complement: '~'