User`s guide

Filter Model Objects to Refine Coverage Results
20-19
With the tick event filtered from coverage analysis, there is no longer a
subcondition on the decision for the after(4, tick) transition. There are only two
possible decision outcomes for the after(4, tick) transition.
Filter Library Reference Blocks
The slvnvdemo_covfilt model contains two instances of a library-linked subsystem in
the library slvnvdemo_covfilt_lib:
• protected division