Using internal signals for model verification

Hi all,

I have a top subsystem (top_level)

with child subsystems (child_model1, child_model2) in it.

The goal it to verify that internal_signal (the output of child_model1) matches the output of the top level subsystem, no matter what happens to the internal_signal (i.e., I want to compare them).

At this moment I consider using Observer in order to read the internal_signal (as well as the output signal), and using Propery Proving for the requirement: those signals are always the same, no matter what the combination of input signals is. So the content is the following:

I use this documentation: https://www.mathworks.com/help/sltest/ug/access-model-data-wirelessly-by-using-observers.html

However, I get the model incompatible:

Model contains one or more Observer Reference blocks that are not compatible. Simulink Design Verifier can not analyze this model.

Could anyone help me either with the incompatibility or with other ways of such my verification? Thank you in advance.

I also attach my files: the model and observer. I use 2019b version.

[Dmytro Sokol]

P. S. This top level model is a simplified version of the original one. The actual model is huge, so I don't think that it is doable to:

• use Test Generation to get a list of input test cases,
• and use that Signal Builder in ordet to simulate the model, then verify the equality of the signals without using Property Proving.

[Pat Canny]

This reminds me of a utility I created some time ago: https://www.mathworks.com/matlabcentral/fileexchange/116430-formal-functional-equivalence

Answer 1

[Pat Canny]

We added Observer Reference support for Simulink Design Verifier in R2021a: https://www.mathworks.com/help/sldv/release-notes.html

Reference here: https://www.mathworks.com/help/releases/R2021a/sldv/ug/isolate-verification-logic-with-observers.html

I recommend reaching out to MathWorks Technical Support for assistance on this.

Thanks.

- Pat Canny

[Dmytro Sokol]

That you, Pat Canny, I will reach out to Tech Support. But I will wait for other potential solutions for 2019b.