Two variable based transition covrage

Coverage
, , ,
1

Hi,

I am facing a problem with two variable-based transition coverage.
example:

//having 2 variables indicating wr and rd, and wr_resp and rd_resp.
// x = {0=>wr, 1=>rd}
// y = {0=>wr_resp, 1=>rd_resp}
// want to cover x(0) => y(1). (in terms of transition coverage.)

if anyone helps me out with mentioned problem…

2

In reply to Kashyap_14:

I am not totally clear on your expectations , I assume that ::
when x(0) , y is don’t care . Similarly when y(1) , x is don’t care .


  coverpoint { x , y } 
  {
    wildcard  bins  trans  =  ( 2'b0?  =>  2'b?1 ) ; 
  }