Parameter Configuration for Variant Blocks

Parameters can be used to select variants in the model by using variant blocks such as Variant Subsystem, Variant Source, and Variant Sink.

Simulink^® Design Verifier™ supports only active variant for blocks where Variant activation time is not set to startup. For blocks where Variant activation time is set to startup, Simulink Design Verifier analyzes all variants when you select Analyze all Startup Variants pane of the Design Verifier > Parameters and Variants in Configuration Parameters dialog box.

To analyze a model that contains variant constraints, use the Variant Manager to run predefined configurations for a model, and then analyze the model under any of the configurations. The Simulink Design Verifier analysis report includes the results information about the variants blocks.

For more information on performing the Simulink Design Verifier analysis on variant blocks with Variant activation time set to startup, see Verify and Validate Variant Models with Startup Activation Time.

Limitations

Simulink Design Verifier does not support:

• Block replacement in models references with Variant activation time set to startup variants.

• Export function model references when placed inside a variant subsystem.