This example shows how to refine the model for dead logic. The
sldvSlicerdemo_dead_logic model consists of dead logic paths that you refine for dependency analysis.
1. Open the
2. On the Apps tab, under Model Verification, Validation, and Test gallery, click Model Slicer.
Controller subsystem and add the outport
throt as the starting point.
The Model Slicer highlights the upstream dependency of the
2. In the Model Slice Manager, select Refine Dead Logic.
3. Click Get Dead Logic Data.
4. Specify the Analysis time and run the analysis. You can import existing dead logic results from the
sldvData file or load existing
.slslicex data for analysis. For more information, see Refine Highlighted Model by Using Existing .slslicex or Dead Logic Results.
set input is equal to
False input to switch is removed for dependency analysis. Similarly, the output of block
OR is always
true and removed from the model slice.