User`s guide

16 Model Objects That Receive Model Coverage
16-6
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“C/C++ S-
Function” on
page 16-25
   
“Saturation” on
page 16-26
    
“Saturation
Dynamic” on
page 16-26
     
“Simulink
Design Verifier
Functions
in MATLAB
Function
Blocks” on page
16-27
     
Stateflow charts   
Stateflow state
transition tables
  
“Sqrt, Signed
Sqrt, Reciprocal
Sqrt” on page
16-27
     
“Sum, Add,
Subtract, Sum
of Elements” on
page 16-27
     
“Switch” on page
16-27
   
“SwitchCase,
SwitchCase
Action
Subsystem” on
page 16-28
     