• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Community Forums
  2. Functional Verification
  3. Coverage customization for multiple eVC instances

Stats

  • Locked Locked
  • Replies 5
  • Subscribers 64
  • Views 13879
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Coverage customization for multiple eVC instances

archive
archive over 17 years ago

Dear all,

I have the following issue. In my environment I have more instances
of an eRM compliant eVC and each instance has different settings,
then it supports only a subset of the available features. This means
that my coverage will always contain holes (for those items of no
ineterest for a given instance). Does anybody know how to get a
coverage "customized" on the current eVC instance? I mean, is there
a way to tell to Specman that for instance A I want the coverage of
item my_Item limited to values 1, 2 and 3, while for instance B the
values for my_Item can be 2 and 4?

Thanks in advance for your help.

Best regards,
Angelo.


Originally posted in cdnusers.org by angelo.diblasi
  • Cancel
Parents
  • archive
    archive over 17 years ago

    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.


    Originally posted in cdnusers.org by stelix
    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
Reply
  • archive
    archive over 17 years ago

    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.


    Originally posted in cdnusers.org by stelix
    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
Children
No Data

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information