Operator body

Operator declarations are detailed in Operators.

The body of an operator consists of sections, detailed as follows:

• Scope in the section Operator sections

• Variable declaration in the section Variable declarations

• Equation declaration in the section Equations

• Activations and state machines, which are parts of equation concepts are described in the separate sections: Activations and State machines

• Formal property sections for assume, guarantee and assert are grouped in the section Formal properties

• Emissions with the emission scope in the section Emissions

• Diagrams are detailed in the section Diagrams

• Operator sections
• Variable declarations
• Equations
• Activations
• State machines
• Formal properties
• Emissions
• Diagrams