How do I measure coverage of a block reset feature?

I am using a Resettable Delay block in my design, and want to measure coverage on the reset feature (i.e., I want to know when the reset input is TRUE during my tests).

Simulink Coverage does not measure this on the Resettable Delay block.

Answer 1

[Pat Canny]

One approach is to add a Test Objective with just a “true” condition going into the reset input. Simulink Coverage measures coverage of the Test Objective block from Simulink Design Verifier. This type of coverage needs to be enabled by selecting "Objectives and constraints" in the "Other metrics" dropdown in the Coverage Settings pane.

Here is a simple example: