User`s guide

Model Objects That Receive Coverage
16-5
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“Model” on page
16-20
See also
“Triggered
Models” on page
16-29.
“Multiport
Switch” on page
16-21
    
“PID Controller,
PID Controller
(2 DOF)” on
page 16-21
     
“Product” on
page 16-22
     
“Proof
Assumption” on
page 16-22
     
“Proof Objective”
on page
16-22
     
“Rate Limiter”
on page
16-23
(Relative
to slew
rates)
    
“Relational
Operator” on
page 16-23
    
“Relay” on page
16-24
    