Home > Community > Forums > Functional Verification > Cross coverage with ranges of a coverpoint

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: *

 Cross coverage with ranges of a coverpoint 

Last post Wed, Sep 4 2013 3:13 AM by smorrison. 0 replies.
Started by smorrison 04 Sep 2013 03:13 AM. Topic has 0 replies and 2576 views
Page 1 of 1 (1 items)
Sort Posts:
  • Wed, Sep 4 2013 3:13 AM

    • smorrison
    • Not Ranked
    • Joined on Wed, Sep 21 2011
    • Posts 1
    • Points 5
    Cross coverage with ranges of a coverpoint Reply
    Hi

    I have a coverpoint with auto bins and I want to use this coverpoint ranges in a cross:

       logic [3:0] out1_unmute_thr;
       logic [0:0] 1l_ena;
       logic [0:0] 1r_ena;

       c_1l_ena : coverpoint 1l_ena;
       c_1r_ena : coverpoint 1r_ena;


       c_out1_mute_thr    : coverpoint out1_mute_thr    iff(1l_ena || 1r_ena);

        out1_mute_thr_x   : cross c_out1_mute_thr, c_1l_ena, c_1r_ena {
          bins L  = binsof(c_out1_mute_thr) intersect {[0:3]};
          bins M  = binsof(c_out1_mute_thr)  intersect {[4:11]};
          bins H  = binsof(c_out1_mute_thr) intersect {[12:$]};
          ignore_bins of_ena = binsof(c_1l_ena) intersect {0} && binsof(c_1r_ena) intersect {0};
          }

    I am trying to achieve a cross of the ranges of c_out1_mute_thr and c_1l_ena when only 1 and a cross of c_out1_mute_thr and c1r_ena when only 1.  From this I would expect to see 6 coverage bins.

    In IMC I only see three cover bins and I am also unable to view the bin values (The column is empty or N/A)

    Please not that I do not want to create another cover point with the ranges or modify the original as i would lose the granularity (auto bins).
    • Post Points: 5
Page 1 of 1 (1 items)
Sort Posts:
Started by smorrison at 04 Sep 2013 03:13 AM. Topic has 0 replies.