Check usage of remainder and reciprocal operations

Check ID: mathworks.sldv.hism.hisl_0002

Description

Identifies usage of remainder and reciprocal operations that cause non-finite results.

Available with Simulink^® Check™. This check requires a Simulink Design Verifier™ (SLDV) license.

Note: This check will perform SLDV analysis on the model.

Results and Recommended Actions

Condition	Recommended Action
Remainder and reciprocal operations in the model have inputs that can be equal to zero during simulation.	Make sure that the inputs to the remainder and reciprocal operations are not equal to zero.

Capabilities and Limitations

• Does not run on library models.

• Analyzes content of library linked blocks. By default, the input parameter Follow links is set to on.

• Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to all.

• Allows exclusions of blocks and charts.

See Also

• hisl_0002: Usage of Math Function blocks (rem and reciprocal)