Code Browser Pages:
Files in
rvm_eth.tar



call_back.vr
cfg_intf.vr
cfg_xtor.vr
chan.vr
Current file: cov.vr
defines.vr
env.vr
host_driver.vr
host_intf.vr
host_xtor_rx.vr
host_xtor.vr
phy_driver.vr
phy_intf.vr
phy_xtor_rx.vr
phy_xtor.vr
pkt.vr
pro.vr
run
rx_pkt.vr
sb.vr
timescale.v
top.v



#ifndef COV_CLASS
#define COV_CLASS

class cov {

  DA_e       DA_t    ;
  TAG_e      TAG_t   ;
  TYPE_e     TYPE_t  ;
  LENGTH_e   LENGTH_t;
  TIME_e     TIME_t  ;
  LENERR_e   LENERR_t;
  integer length;
  integer Pkt_No;

  coverage_group Ehernet_Cov
  {
    sample_event = wait_var(Pkt_No);
    sample  DA_t { coverage_goal    = 0;
                   cov_weight       = 0;
                state Mcast_inval(MCAST_INVALID);
                state Ucast_Valid(UCAST_VALID  );
                state Ucast_inval(UCAST_INVALID);
                state Bcast______(BCAST        );
                state Mcast_valid(MCAST_VALID  );}

    sample TYPE_t  {coverage_goal    = 0;
                   cov_weight       = 0;
                state Length(LENGTH);
                state Jumbo_(JUMBO );
                state Pause_(PAUSE );
                state Cntrl_(CNTRL);}

    sample TAG_t   {coverage_goal    = 0;
                   cov_weight       = 0;
                state Svlan(VLAN);
                state Mvlan(MVLAN);
                state Notag(NOTAG);}

    sample LENGTH_t{coverage_goal    = 0;
                   cov_weight       = 0;
                state Les_46__(LES_46   ) if (TYPE_t == LENGTH );
                state Equal_46____(EQL_46       ) if (TYPE_t == LENGTH );
                state BW47_to_1500(BW_47_TO_1500) if (TYPE_t == LENGTH );
                state Grater_1536_(GTR_1536     ) if (TYPE_t == LENGTH );
                state Len_Invalid_(LEN_INVALID  ) if (TYPE_t == LENGTH );  }

    sample TIME_t  {coverage_goal    = 0;
                   cov_weight       = 0;
                state Time_zero(TIME_ZERO)  if (TYPE_t == PAUSE );
                state Time_ffff(TIME_FFFF)  if (TYPE_t == PAUSE );
                state Time_rand(TIME_RAND)  if (TYPE_t == PAUSE );}

    sample LENERR_t{coverage_goal    = 0;
                   cov_weight       = 0;
                state Len_Gud(LEN_GOOD);
                state Len_Bad(LEN_BAD);}

    cross ALL_JUMBO_c(DA_t,TAG_t,LENERR_t,TYPE_t){
                     cov_weight              = 1;
                     ignored ignoredcro(TYPE_t != JUMBO);}
    cross ALL_LENGTH_c(DA_t,TAG_t,LENGTH_t,LENERR_t,TYPE_t){
                     coverage_goal           = 100;
                     cov_weight              = 1;
                    ignored ignoredcro(TYPE_t != LENGTH);}
    cross ALL_PAUSE_c(DA_t,TAG_t,TIME_t,LENERR_t,TYPE_t){
                     coverage_goal           = 100;
                     cov_weight              = 1;
                   ignored ignoredcro(TYPE_t != PAUSE);}
    cross ALL_CNTRL_c(DA_t,TAG_t,LENERR_t,TYPE_t){
                     coverage_goal           = 100;
                     cov_weight              = 1;
                   ignored ignoredcro(TYPE_t != CNTRL);}

  }


  task sample(packet p){

    DA_t     = p.DA_t     ;
    TAG_t    = p.TAG_t    ;
    TYPE_t   = p.TYPE_t   ;
    LENGTH_t = p.LENGTH_t ;
    TIME_t   = p.TIME_t   ;
    LENERR_t = p.LENERR_t ;
    length   = p.length   ;
    Pkt_No   = p.Pkt_No   ;

  }
}

#endif