Section: Parameters In this section all parameters can be defined

Specification for section AddParameter [...] : Parameter The section [...] and AddParameter serves

Section: Device Generator The section [...] Definitions to add devices

Section: Slots This section defines [...] : Pragmalist RegularExpressionParameter

of the section MacroParameter [...] Section: MacroModule This section describes

Section [...] the section Toplevel . SEC [...] are described in the section

Section: IO [...] in this section. All defined [...] Specification: The parameter

Section: alg.Alarm The section SEC alg [...] OrConstant PendingTimeParameter :=

Section: mse.Sequence This section determines [...] editor. The section

. The section ProxyParameter [...] Section: Proxies The section Proxies defines