Go
back
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[32].q & ((~reg2hw.alert_regwen[32].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T32,T14 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T12,T13,T33 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[33].q & ((~reg2hw.alert_regwen[33].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T32,T13 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T14,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[34].q & ((~reg2hw.alert_regwen[34].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T47,T9 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T32,T14 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[35].q & ((~reg2hw.alert_regwen[35].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T32,T33 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T12,T14,T13 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[36].q & ((~reg2hw.alert_regwen[36].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T13,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T14,T47 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[37].q & ((~reg2hw.alert_regwen[37].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T14 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T5,T24 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[38].q & ((~reg2hw.alert_regwen[38].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T32,T14 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T13,T5,T26 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[39].q & ((~reg2hw.alert_regwen[39].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T32,T14 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T13,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[40].q & ((~reg2hw.alert_regwen[40].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T14,T47 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[41].q & ((~reg2hw.alert_regwen[41].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T14,T33,T47 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[42].q & ((~reg2hw.alert_regwen[42].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T14,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[43].q & ((~reg2hw.alert_regwen[43].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T33,T47 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T14,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[44].q & ((~reg2hw.alert_regwen[44].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T32,T14,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[45].q & ((~reg2hw.alert_regwen[45].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T9,T24 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T12,T32 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[46].q & ((~reg2hw.alert_regwen[46].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T14,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T32,T13 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[47].q & ((~reg2hw.alert_regwen[47].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T33,T47 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T12,T32,T14 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[48].q & ((~reg2hw.alert_regwen[48].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T9,T24 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T12,T32,T14 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[49].q & ((~reg2hw.alert_regwen[49].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T33,T9 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T12,T32 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[50].q & ((~reg2hw.alert_regwen[50].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T47 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T32,T14,T33 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[51].q & ((~reg2hw.alert_regwen[51].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T13,T33 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T32,T14 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[52].q & ((~reg2hw.alert_regwen[52].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T14 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T33,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[53].q & ((~reg2hw.alert_regwen[53].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T47,T9 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T11,T32,T14 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[54].q & ((~reg2hw.alert_regwen[54].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T12,T14,T9 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T33,T47 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[55].q & ((~reg2hw.alert_regwen[55].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T3,T11 |
1 | 1 | Covered | T14,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[56].q & ((~reg2hw.alert_regwen[56].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T5,T26,T27 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[57].q & ((~reg2hw.alert_regwen[57].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T14 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T33,T47 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[58].q & ((~reg2hw.alert_regwen[58].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T14 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T32,T5,T27 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[59].q & ((~reg2hw.alert_regwen[59].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T32,T14,T13 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T12,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[60].q & ((~reg2hw.alert_regwen[60].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T33,T47,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[61].q & ((~reg2hw.alert_regwen[61].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T14,T9,T5 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[62].q & ((~reg2hw.alert_regwen[62].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T13,T33,T9 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T12,T32 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[63].q & ((~reg2hw.alert_regwen[63].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T12,T32 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T5,T26,T42 |
LINE 176
EXPRESSION (reg2hw.alert_en_shadowed[64].q & ((~reg2hw.alert_regwen[64].q)))
---------------1-------------- ---------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T14,T9,T24 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T12,T32 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classd_ctrl_shadowed.en.q &
2 (reg2hw.classd_ctrl_shadowed.en_e3.q | reg2hw.classd_ctrl_shadowed.en_e2.q | reg2hw.classd_ctrl_shadowed.en_e1.q | reg2hw.classd_ctrl_shadowed.en_e0.q))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T24,T53,T248 |
1 | 1 | Covered | T1,T2,T3 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classd_ctrl_shadowed.en_e3.q |
2 reg2hw.classd_ctrl_shadowed.en_e2.q |
3 reg2hw.classd_ctrl_shadowed.en_e1.q |
4 reg2hw.classd_ctrl_shadowed.en_e0.q)
-1- | -2- | -3- | -4- | Status | Tests |
0 | 0 | 0 | 0 | Covered | T12,T32,T24 |
0 | 0 | 0 | 1 | Covered | T29,T15,T30 |
0 | 0 | 1 | 0 | Covered | T12,T42,T57 |
0 | 1 | 0 | 0 | Covered | T13,T24,T26 |
1 | 0 | 0 | 0 | Covered | T14,T29,T52 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classc_ctrl_shadowed.en.q &
2 (reg2hw.classc_ctrl_shadowed.en_e3.q | reg2hw.classc_ctrl_shadowed.en_e2.q | reg2hw.classc_ctrl_shadowed.en_e1.q | reg2hw.classc_ctrl_shadowed.en_e0.q))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T57,T249,T20 |
1 | 1 | Covered | T1,T2,T3 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classc_ctrl_shadowed.en_e3.q |
2 reg2hw.classc_ctrl_shadowed.en_e2.q |
3 reg2hw.classc_ctrl_shadowed.en_e1.q |
4 reg2hw.classc_ctrl_shadowed.en_e0.q)
-1- | -2- | -3- | -4- | Status | Tests |
0 | 0 | 0 | 0 | Covered | T29,T52,T57 |
0 | 0 | 0 | 1 | Covered | T32,T24,T27 |
0 | 0 | 1 | 0 | Covered | T14,T29,T45 |
0 | 1 | 0 | 0 | Covered | T11,T14,T33 |
1 | 0 | 0 | 0 | Covered | T14,T33,T47 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classb_ctrl_shadowed.en.q &
2 (reg2hw.classb_ctrl_shadowed.en_e3.q | reg2hw.classb_ctrl_shadowed.en_e2.q | reg2hw.classb_ctrl_shadowed.en_e1.q | reg2hw.classb_ctrl_shadowed.en_e0.q))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T14,T26,T7 |
1 | 1 | Covered | T1,T2,T3 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classb_ctrl_shadowed.en_e3.q |
2 reg2hw.classb_ctrl_shadowed.en_e2.q |
3 reg2hw.classb_ctrl_shadowed.en_e1.q |
4 reg2hw.classb_ctrl_shadowed.en_e0.q)
-1- | -2- | -3- | -4- | Status | Tests |
0 | 0 | 0 | 0 | Covered | T14,T33,T47 |
0 | 0 | 0 | 1 | Covered | T33,T9,T15 |
0 | 0 | 1 | 0 | Covered | T33,T26,T27 |
0 | 1 | 0 | 0 | Covered | T47,T9,T26 |
1 | 0 | 0 | 0 | Covered | T11,T5,T24 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classa_ctrl_shadowed.en.q &
2 (reg2hw.classa_ctrl_shadowed.en_e3.q | reg2hw.classa_ctrl_shadowed.en_e2.q | reg2hw.classa_ctrl_shadowed.en_e1.q | reg2hw.classa_ctrl_shadowed.en_e0.q))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T9,T5,T24 |
1 | 1 | Covered | T1,T2,T3 |
LINE 193
SUB-EXPRESSION
Number Term
1 reg2hw.classa_ctrl_shadowed.en_e3.q |
2 reg2hw.classa_ctrl_shadowed.en_e2.q |
3 reg2hw.classa_ctrl_shadowed.en_e1.q |
4 reg2hw.classa_ctrl_shadowed.en_e0.q)
-1- | -2- | -3- | -4- | Status | Tests |
0 | 0 | 0 | 0 | Covered | T9,T5,T24 |
0 | 0 | 0 | 1 | Covered | T9,T28,T42 |
0 | 0 | 1 | 0 | Covered | T15,T30,T42 |
0 | 1 | 0 | 0 | Covered | T14,T27,T29 |
1 | 0 | 0 | 0 | Covered | T14,T33,T26 |
LINE 273
SUB-EXPRESSION (reg2hw.classd_clr_shadowed.q & reg2hw.classd_clr_shadowed.qe)
--------------1------------- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T209,T226,T250 |
1 | 0 | Covered | T2,T11,T12 |
1 | 1 | Covered | T2,T11,T12 |
LINE 273
SUB-EXPRESSION (reg2hw.classc_clr_shadowed.q & reg2hw.classc_clr_shadowed.qe)
--------------1------------- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T156,T211,T226 |
1 | 0 | Covered | T2,T11,T12 |
1 | 1 | Covered | T2,T11,T12 |
LINE 273
SUB-EXPRESSION (reg2hw.classb_clr_shadowed.q & reg2hw.classb_clr_shadowed.qe)
--------------1------------- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T193,T209,T226 |
1 | 0 | Covered | T2,T11,T12 |
1 | 1 | Covered | T2,T11,T12 |
LINE 273
SUB-EXPRESSION (reg2hw.classa_clr_shadowed.q & reg2hw.classa_clr_shadowed.qe)
--------------1------------- --------------2--------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T156,T209,T210 |
1 | 0 | Covered | T2,T11,T12 |
1 | 1 | Covered | T2,T11,T12 |
LINE 350
EXPRESSION (((|latch_crashdump_i)) && ((!(|crashdump_latched_q))))
-----------1---------- -------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T11,T32 |
1 | 1 | Covered | T1,T2,T3 |
LINE 358
EXPRESSION (((|crashdump_latched_q)) ? crashdump_q : crashdump_d)
------------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |