Code Browser Pages:
| #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 |