User`s guide

Model Objects That Receive Coverage
16-3
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“Discrete
Filter” on page
16-11
     
“Discrete FIR
Filter” on page
16-11
     
“Discrete-Time
Integrator”
on page
16-11 (when
saturation limits
are enabled or
reset)
    
“Discrete
Transfer Fcn” on
page 16-12
     
“Dot Product” on
page 16-13
     
“Enabled
Subsystem” on
page 16-13
   
“Enabled and
Triggered
Subsystem” on
page 16-13
   
“Fcn” on page
16-14
   
“For Iterator,
For Iterator
Subsystem” on
page 16-15
     
“Gain” on page
16-15
     