Main Content

Model Configuration Parameters: Data Validity

The Diagnostics > Data Validity pane of the Configuration Parameters dialog box includes parameters for detecting issues related to model data, such as signals, parameters, and states in a model. These issues include:

  • Loss of information due to data type quantization and overflow

  • Loss of parameter tunability in the generated code

  • Loss of data due to the order in which Data Store Write and Data Store Read blocks execute

To open the Diagnostics > Data Validity pane of the Configuration Parameters dialog box:

  1. To open the Configuration Parameters dialog box, in the Simulink® Toolstrip, on the Modeling tab, under Setup, click Model Settings.

  2. In the Configuration Parameters dialog box, click the arrow next to Diagnostics to expand the list. Then, select Data Validity.

The tables summarize the parameters available on the Diagnostics > Data Validity pane of the Configuration Parameters dialog box.

Signals

ParameterDescription

Signal resolution

Option to specify how model resolves signals and states to Simulink.Signal objects

Division by singular matrix

Diagnostic action to take if the Matrix Multiply block detects singular matrix

Underspecified data types

Diagnostic action to take if the software is unable to infer signal data type

Inf or NaN block output

Diagnostic action to take if block produces Inf or NaN output value

"rt" prefix for identifiers

Diagnostic action to take during code generation if parameter, block, or signal name begins with rt

Wrap on overflow

Diagnostic action to take if signal value overflows data type value range

Saturate on overflow

Diagnostic action to take if signal value is too large for signal data type

Underspecified dimensions

Diagnostic action to take if the software is unable to infer signal dimensions

Simulation range checking

Diagnostic action to take when signal value is outside its specified value range

String truncation checking

Diagnostic action to take if string signal value is truncated

Parameters

ParameterDescription

Detect overflow

Diagnostic action to take if the software detects parameter overflow

Bits of error threshold

Set a threshold of one bit, half bit, or zero bits for parameter overflow detection.

Detect precision loss

Diagnostic action to take if the software detects parameter precision loss

Suppress double to single detection

Suppress the double to single parameter precision loss detection

Absolute difference threshold

Report parameter precision loss when the quantization error exceeds both absolute and relative difference thresholds

Relative difference threshold

Report parameter precision loss when the quantization error exceeds both absolute and relative difference thresholds

Detect underflow

Diagnostic action to take if the software detects parameter underflow

Detect loss of tunability

Diagnostic action to take if code generation reduces expression with tunable variables to numeric equivalent

Detect downcast

Diagnostic action to take when parameter downcast occurs during code generation

Data Store Memory block

  

Detect read before write

Diagnostic action to take if model reads from data store before writing to that data store in current time step

Detect write after read

Diagnostic action to take if model writes to data store after reading from data store in current time step

Detect write after write

Diagnostic action to take if model writes to data store twice in current time step

Multitask data store

Diagnostic action to take when task reads from data store to which another task writes

Duplicate data store names

Diagnostic action to take if model contains multiple data stores with same name

These configuration parameters are in the Advanced parameters section.

ParameterDescription

Detect multiple driving blocks executing at the same time step

Diagnostic action to take when execution order is not defined for blocks that drive same Merge block in same time step

Underspecified initialization detection

How to determine initial conditions for subset of Simulink blocks that have underspecified initial conditions

Array bounds exceeded

Diagnostic action to take when S-function writes beyond array bounds assigned in allocated memory

Model Verification block enabling

Option to enable or disable model verification blocks

Detect non-reused custom storage classes

Diagnostic action to take when code generation cannot reuse Reusable storage class

Detect ambiguous custom storage class final values

Diagnostic action to take when Reusable storage class has multiple endpoints

Parameter Writer block validation

Option to enable parameter validation globally or locally

See Also

Topics