User`s guide

19 Results Review
19-12
Top-Level Model Coverage Report
The Simulink Verification and Validation software always creates a model coverage
report for the top-level model named model_name_cov.html. The model coverage report
contains several sections:
In this section...
“Coverage Summary” on page 19-12
“Details” on page 19-14
“Cyclomatic Complexity” on page 19-22
“Decisions Analyzed” on page 19-24
“Conditions Analyzed” on page 19-25
“MCDC Analysis” on page 19-26
“Cumulative Coverage” on page 19-27
“N-Dimensional Lookup Table” on page 19-30
“Block Reduction” on page 19-36
“Relational Boundary” on page 19-37
“Saturate on Integer Overflow Analysis” on page 19-41
“Signal Range Analysis” on page 19-42
“Signal Size Coverage for Variable-Dimension Signals” on page 19-44
“Simulink Design Verifier Coverage” on page 19-45
Coverage Summary
The coverage summary section contains basic information about the model being
analyzed:
• Model Information
• Simulation Optimization Options
• Coverage Options