Home > Community > Forums > Functional Verification > iff on coverpoint block effecting another coverpoint with transition in the same group

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 iff on coverpoint block effecting another coverpoint with transition in the same group  

Last post Tue, Dec 21 2010 1:36 AM by Shalom B. 1 replies.
Started by dambui 17 Dec 2010 05:14 PM. Topic has 1 replies and 1618 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, Dec 17 2010 5:14 PM

    • dambui
    • Not Ranked
    • Joined on Sat, Dec 18 2010
    • Posts 1
    • Points 20
    iff on coverpoint block effecting another coverpoint with transition in the same group Reply

     Hi,

    I have a coverage group defined as below:

       covergroup ready2 @ (negedge clk);
          ready : coverpoint dataReady iff ! enable {

             bins is2 = {2};
             bins is1 = {1};
          }
          ready2 : coverpoint dataReady iff enable {
             bins is2 = {2};
             bins is1 = {1};
          }
          ready_trans : coverpoint dataReady iff enable {
             bins two2one = (2=>1);
             bins one2two = (1=>2);
          }

    I did not get any coverage on ready_trans

    However, if I put 'iff' on bins, then everything works as expected:

       covergroup ready @ (negedge clk);
          ready : coverpoint dataReady {
             bins is2 = {2} iff !enable;
             bins is1 = {1} iff !enable;
          }
          ready2 : coverpoint dataReady iff enable {
             bins is2 = {2};
             bins is1 = {1};
          }
          ready_trans : coverpoint dataReady iff enable {
             bins two2one = (2=>1);
             bins one2two = (1=>2);
          }

       endgroup // ready                                                                                                                                                              
     

    Unless my understanding of 'iff' usage is not correct, I do not see how the 2 cases are different.

    This is compiled and run with 'irun' version 08.20-s012.

    Any  helps or tips would be appreciated.

    Dam

    Filed under:
    • Post Points: 20
  • Tue, Dec 21 2010 1:36 AM

    • Shalom B
    • Top 200 Contributor
    • Joined on Mon, Jul 14 2008
    • Jerusalem, 00-IL
    • Posts 44
    • Points 595
    Re: iff on coverpoint block effecting another coverpoint with transition in the same group Reply

    Hi,

     Before anything else, you should probably try to run with the newest version of Incisive and see whether it still occurs.

     Regards,

    Shalom Bresticker

    Shalom.Bresticker@intel.com
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by dambui at 17 Dec 2010 05:14 PM. Topic has 1 replies.