Main Content

Filter Objectives by Using Simulink Design Verifier Filter Explorer

Filtering model objects and code expressions from design error detection or test generation analysis allows you to focus on a subset of objects for Simulink® Design Verifier™ analysis. Use filters when you have model objects that take a long time to analyze or when you want to focus on specific objectives for analysis.

You can add one or more filter files by opening the Configuration Parameters window, clicking Design Verifier and, under Advanced parameters, selecting Ignore objectives based on filter. Enter your filter files in the Filter file(s) parameter. For more information about coverage filter files, see Creating and Using Coverage Filters (Simulink Coverage). You can also filter the Design Verifier objectives for code-based analysis to align code-based results to model-based results.

After you perform design error detection or test generation analysis, you can justify unsatisfiable, dead logic, undecided, and falsified objectives by using the Simulink Design Verifier Filter Explorer. When you edit filters by using Simulink Design Verifier Filter Explorer, you can update the Simulink Design Verifier report and highlight the analysis results on the model without reanalyzing the model. For detailed example on how to filter objectives, see Exclude and Justify Objectives for Design Error Detection.

Use the Simulink Design Verifier Filter Explorer to Edit Filter Files

After analyzing your model, you can use Simulink Design Verifier Filter Explorer to justify the falsified, unsatisfiable, undecided, and dead logic objectives and update the filter files.

You can open the filter explorer from the Results Summary window or from the Results Inspector window.

  • In the Results Summary window, click Open filter explorer.

    Results summary window that shows design error detection analysis.

  • In the Results Inspector window,

    • To see the filter rule for a justified objective, click View.

    • To justify an objective, click Justify.

      Results summary window for Integer overflow onjectives.

In the Simulink Design Verifier Filter Explorer, you can:

  • Create, load, edit, or save filter files.

  • Create a filter file to justify all the Unsatisfiable, Falsified and Dead Logic objectives from the active sldvData.

  • Navigate to the model to inspect the model objects associated with a filter rule.

  • Add rationale description about why the objective or model object or code expression is excluded or justified.

Simulink Design Verifier Filer Explorer window. Left pane shows the applied filters. Right pane shows option of new filer, load filter, and Create justification rules for violations and dead logic from the active sldvData.

Simulink Design Verifier Filter Explorer window showing the Filter Editor on right pane.

TaskAction

Navigate to a model object associated with a rule.

Note

This step is valid only for model objective analysis.

  1. Select the rule.

  2. Click View in model. The model object is highlighted in blue.

Delete a rule.

  1. Select the rule.

  2. Click Remove rule.

Save the current rules to a file.

  1. Click Apply.

  2. Specify a file name and folder for the filter file and click Save.

Rename a filter file

  1. Click Save as.

  2. Specify a file name and folder for the filter file and click Save.

Load an existing filter file.

  1. Click Load filter.

  2. Navigate to the filter file and click Open.

Highlight the model and update the current analysis report with the current filter files.

  1. Apply or Revert any changes you have made.

    The model is highlighted with the updated filter rules.

  2. In the Results Summary window or in the Results inspector window, click HTML or PDF.

Create an empty filter file.

Click New filter

.

Remove a filter from Filter Explorer.

Right-click the corresponding node under Applied filters and select Remove

.

Create a filter file to justify all Unsatisfiable, Falsified, and Dead Logic objectives in the active sldvData

  1. Click Create justification rules for violations and dead logic from the active sldvData

  2. Click Save as

  3. Specify a file name and folder for the filter file and click Save

Limitations

Simulink Design Verifier does not support filtering objectives associated with property proving analysis.

Related Topics