Stats

  • Locked Locked
  • Replies 6
  • Subscribers 65
  • Views 14850
  • 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

Specman cover : cross of transition items

harip

Hi All,

 I have a query regarding specman coverage implementation.

If we have item A and item B for coverage and we define transition on the same

transition A;

transition B;

Can we cross transition__A ,transition__B for covering

     A          B

 0->1       1->0

1->0        0->1

0->0        1->0   etc.

 Please suggest if it can be done or is there some other way.

 Thanks,

Hari

  • When you need to define a transition you can give it a name and then just cross it, i.e.

    struct foo {
       a1: bool;
       b2: bool;

       event cover_me;

       cover cover_me is {
          item a1 using no_collect=TRUE;
          item b2 using no_collect=TRUE;
          transition a1 using name=a_trans, no_collect=TRUE;
          transition b2 using name = b_trans, no_collect=TRUE;
          cross a_trans,b_trans;
       };
    };

    -hannes

  • Hi Hannes,

    Thanks for the prompt response. 

    Does cross of trans_items at a defined cover event will give the possible simultaneous transition of both the items. 

    Am I correct. Please suggest if it is other way around.

    Thanks,

    Hariprem

  • Hello Hariprem,
     
    I'm not sure I understand your question. Please can you elaborate the question and
    maybe give a samll example of what you want to achieve.
     
    Regards,
    -hannes

  •  Hi Hannes,

     Let us take an example. we want to cover

    1. bufferable read followed by bufferable write

    2. bufferable write followed by non-bufferable read etc (so on possible combinations)

     

    As here we have two items to cover : i) buff_non-buff  ii) operation(RD, WR)

    So at the end of transaction, we want to take care that point (1) & (2) are covered.

    Please suggest if it is possile via crossing the transitions of buf_non-buff and operation.

    Thanks,

    Hariprem

  • Hello Hari,
     
    yes, crossing the transition of both will give you the desired answer.
     
    -hannes

  •  Hi Hannes,

    Thanks for the prompt response.

    Regards,

    Hariprem

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.