User`s guide

16 Model Objects That Receive Model Coverage
16-2
Model Objects That Receive Coverage
Certain Simulink objects can receive any type of model coverage. Other Simulink objects
can receive only certain types of coverage, as the following table shows. Click a link in the
first column to get more detailed information about coverage for specific model objects.
For Stateflow states, events, and state temporal logic decisions, model coverage provides
only decision coverage. For Stateflow transitions, model coverage provides decision,
condition, and MCDC coverage. For more information, see “Model Coverage for Stateflow
Charts” on page 18-45.
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“Abs” on page
16-7
   
“Bias” on page
16-8
     
“Combinatorial
Logic” on page
16-8
    
“Compare to
Constant” on
page 16-9
    
“Compare to
Zero” on page
16-9
    
“Data Type
Conversion” on
page 16-10
     
“Dead Zone” on
page 16-10
   
“Direct Lookup
Table (n-D)” on
page 16-11
     