Coverage customization for multiple eVC instances

Hi Angelo, just like the rest of Specman, coverage groups (and the items contained within) are extensible. So you can add new coverage items to a coverage group as well as place filtering conditions on existing items. You should consult the Coverage Constructs section (chapter 16) of the e Language Reference manual for details.

Joseph

Hi Joseph,

thanks for you response, I have already gone through that chapter. I also read chapter 8 of the Verification
Advisor book (honestly it is the manual for Specman 4.3.3, but I suppose it is still valid). Here, in section 8.10.1,
I found some tips about how to properly collect coverage in structs that have a multiple number of instances
and it is quite interesting for me the Note 60 and 61, but there I couldn't find any example. Can you help me?

Angelo

Which version of Specman are you using?

Hi Angelo,

Here is a simple filtering example:

type my_values_t: [A, B, C, D, E, F];
cover my_values_e is {
item my_value: my_values_t = ...;
};

To filter on a per instance basis, you can:

cover my_values_e(agent == AG3) is also {
-- Ignore values D, E, F for this instance
item my_value using also ignore = (my_value in [D, E, F]);
};

Note that this will ignore values D, E and F but [b]only[/b] in the context of cover group my_values_e of agent instance AG3. If my_value is used in other cover groups, you would have to extend them separately.

Hope this helps,

-Stelix.

Hello Stelix,

thanks for your reply, this really helps me. I know that some of the
limitations in coverage modelling have been removed with newer
Specman versions (starting from 6.0 the per_unit_instance is available).

Thanks again for your help.

Kindest regards,
Angelo.