Go
back
LINE 16784
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO136_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16785
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO137_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16786
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO138_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16787
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO139_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16788
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO140_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16789
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO141_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16790
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO142_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16791
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO143_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16792
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO144_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16793
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO145_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16794
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO146_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16795
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO147_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16796
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO148_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16797
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO149_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16798
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO150_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16799
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO151_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16800
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO152_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16801
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO153_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T2,T4,T6 |
LINE 16802
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO154_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T72,T249,T131 |
LINE 16803
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO155_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T145,T249,T131 |
LINE 16804
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO156_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T45,T86,T87 |
LINE 16805
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO157_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T45,T146,T86 |
LINE 16806
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO158_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T186,T131 |
LINE 16807
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO159_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16808
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO160_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16809
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO161_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16810
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO162_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16811
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO163_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16812
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO164_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16813
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO165_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16814
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO166_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T254,T255,T249 |
LINE 16815
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO167_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T254,T255,T249 |
LINE 16816
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO168_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16817
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO169_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16818
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO170_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16819
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO171_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16820
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO172_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T168,T249,T131 |
LINE 16821
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO173_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16822
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO174_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16823
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO175_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16824
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO176_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16825
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO177_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16826
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO178_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16827
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO179_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16828
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO180_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16829
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO181_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16830
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO182_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16831
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO183_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16832
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO184_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16833
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_PRIO185_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T131,T252 |
LINE 16834
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_0_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T410,T177,T179 |
LINE 16835
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_1_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T409,T410,T177 |
LINE 16836
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_2_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T409,T410,T177 |
LINE 16837
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_3_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T409,T410,T177 |
LINE 16838
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_4_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T269,T643,T644 |
LINE 16839
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IP_5_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T409,T410,T177 |
LINE 16840
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_0_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T26,T134,T133 |
LINE 16841
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_1_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T26,T27,T70 |
LINE 16842
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_2_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T12,T27,T62 |
LINE 16843
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_3_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T5,T45,T66 |
LINE 16844
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_4_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T2,T4,T6 |
LINE 16845
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_IE0_5_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T124,T153,T253 |
LINE 16846
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_THRESHOLD0_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T2,T4,T5 |
LINE 16847
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_CC0_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T4,T5,T6 |
LINE 16848
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_MSIP0_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T249,T250,T251 |
LINE 16849
EXPRESSION (reg_addr == rv_plic_reg_pkg::RV_PLIC_ALERT_TEST_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T4,T5 |
| 1 | Covered | T80,T81,T82 |
LINE 16852
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T4,T5 |
LINE 16852
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T2,T4,T5 |
| 1 | 0 | Covered | T2,T4,T5 |
LINE 16856
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1 & (~reg_be))))) | (addr_hit[35] & ((|(4'b1 & (~reg_be))))) | (addr_hit[36] & ((|(4'b1 & (~reg_be))))) | (addr_hit[37] & ((|(4'b1 & (~reg_be))))) | (addr_hit[38] & ((|(4'b1 & (~reg_be))))) | (addr_hit[39] & ((|(4'b1 & (~reg_be))))) | (addr_hit[40] & ((|(4'b1 & (~reg_be))))) | (addr_hit[41] & ((|(4'b1 & (~reg_be))))) | (addr_hit[42] & ((|(4'b1 & (~reg_be))))) | (addr_hit[43] & ((|(4'b1 & (~reg_be))))) | (addr_hit[44] & ((|(4'b1 & (~reg_be))))) | (addr_hit[45] & ((|(4'b1 & (~reg_be))))) | (addr_hit[46] & ((|(4'b1 & (~reg_be))))) | (addr_hit[47] & ((|(4'b1 & (~reg_be))))) | (addr_hit[48] & ((|(4'b1 & (~reg_be))))) | (addr_hit[49] & ((|(4'b1 & (~reg_be))))) | (addr_hit[50] & ((|(4'b1 & (~reg_be))))) | (addr_hit[51] & ((|(4'b1 & (~reg_be))))) | (addr_hit[52] & ((|(4'b1 & (~reg_be))))) | (addr_hit[53] & ((|(4'b1 & (~reg_be))))) | (addr_hit[54] & ((|(4'b1 & (~reg_be))))) | (addr_hit[55] & ((|(4'b1 & (~reg_be))))) | (addr_hit[56] & ((|(4'b1 & (~reg_be))))) | (addr_hit[57] & ((|(4'b1 & (~reg_be))))) | (addr_hit[58] & ((|(4'b1 & (~reg_be))))) | (addr_hit[59] & ((|(4'b1 & (~reg_be))))) | (addr_hit[60] & ((|(4'b1 & (~reg_be))))) | (addr_hit[61] & ((|(4'b1 & (~reg_be))))) | (addr_hit[62] & ((|(4'b1 & (~reg_be))))) | (addr_hit[63] & ((|(4'b1 & (~reg_be))))) | (addr_hit[64] & ((|(4'b1 & (~reg_be))))) | (addr_hit[65] & ((|(4'b1 & (~reg_be))))) | (addr_hit[66] & ((|(4'b1 & (~reg_be))))) | (addr_hit[67] & ((|(4'b1 & (~reg_be))))) | (addr_hit[68] & ((|(4'b1 & (~reg_be))))) | (addr_hit[69] & ((|(4'b1 & (~reg_be))))) | (addr_hit[70] & ((|(4'b1 & (~reg_be))))) | (addr_hit[71] & ((|(4'b1 & (~reg_be))))) | (addr_hit[72] & ((|(4'b1 & (~reg_be))))) | (addr_hit[73] & ((|(4'b1 & (~reg_be))))) | (addr_hit[74] & ((|(4'b1 & (~reg_be))))) | (addr_hit[75] & ((|(4'b1 & (~reg_be))))) | (addr_hit[76] & ((|(4'b1 & (~reg_be))))) | (addr_hit[77] & ((|(4'b1 & (~reg_be))))) | (addr_hit[78] & ((|(4'b1 & (~reg_be))))) | (addr_hit[79] & ((|(4'b1 & (~reg_be))))) | (addr_hit[80] & ((|(4'b1 & (~reg_be))))) | (addr_hit[81] & ((|(4'b1 & (~reg_be))))) | (addr_hit[82] & ((|(4'b1 & (~reg_be))))) | (addr_hit[83] & ((|(4'b1 & (~reg_be))))) | (addr_hit[84] & ((|(4'b1 & (~reg_be))))) | (addr_hit[85] & ((|(4'b1 & (~reg_be))))) | (addr_hit[86] & ((|(4'b1 & (~reg_be))))) | (addr_hit[87] & ((|(4'b1 & (~reg_be))))) | (addr_hit[88] & ((|(4'b1 & (~reg_be))))) | (addr_hit[89] & ((|(4'b1 & (~reg_be))))) | (addr_hit[90] & ((|(4'b1 & (~reg_be))))) | (addr_hit[91] & ((|(4'b1 & (~reg_be))))) | (addr_hit[92] & ((|(4'b1 & (~reg_be))))) | (addr_hit[93] & ((|(4'b1 & (~reg_be))))) | (addr_hit[94] & ((|(4'b1 & (~reg_be))))) | (addr_hit[95] & ((|(4'b1 & (~reg_be))))) | (addr_hit[96] & ((|(4'b1 & (~reg_be))))) | (addr_hit[97] & ((|(4'b1 & (~reg_be))))) | (addr_hit[98] & ((|(4'b1 & (~reg_be))))) | (addr_hit[99] & ((|(4'b1 & (~reg_be))))) | (addr_hit[100] & ((|(4'b1 & (~reg_be))))) | (addr_hit[101] & ((|(4'b1 & (~reg_be))))) | (addr_hit[102] & ((|(4'b1 & (~reg_be))))) | (addr_hit[103] & ((|(4'b1 & (~reg_be))))) | (addr_hit[104] & ((|(4'b1 & (~reg_be))))) | (addr_hit[105] & ((|(4'b1 & (~reg_be))))) | (addr_hit[106] & ((|(4'b1 & (~reg_be))))) | (addr_hit[107] & ((|(4'b1 & (~reg_be))))) | (addr_hit[108] & ((|(4'b1 & (~reg_be))))) | (addr_hit[109] & ((|(4'b1 & (~reg_be))))) | (addr_hit[110] & ((|(4'b1 & (~reg_be))))) | (addr_hit[111] & ((|(4'b1 & (~reg_be))))) | (addr_hit[112] & ((|(4'b1 & (~reg_be))))) | (addr_hit[113] & ((|(4'b1 & (~reg_be))))) | (addr_hit[114] & ((|(4'b1 & (~reg_be))))) | (addr_hit[115] & ((|(4'b1 & (~reg_be))))) | (addr_hit[116] & ((|(4'b1 & (~reg_be))))) | (addr_hit[117] & ((|(4'b1 & (~reg_be))))) | (addr_hit[118] & ((|(4'b1 & (~reg_be))))) | (addr_hit[119] & ((|(4'b1 & (~reg_be))))) | (addr_hit[120] & ((|(4'b1 & (~reg_be))))) | (addr_hit[121] & ((|(4'b1 & (~reg_be))))) | (addr_hit[122] & ((|(4'b1 & (~reg_be))))) | (addr_hit[123] & ((|(4'b1 & (~reg_be))))) | (addr_hit[124] & ((|(4'b1 & (~reg_be))))) | (addr_hit[125] & ((|(4'b1 & (~reg_be))))) | (addr_hit[126] & ((|(4'b1 & (~reg_be))))) | (addr_hit[127] & ((|(4'b1 & (~reg_be))))) | (addr_hit[128] & ((|(4'b1 & (~reg_be))))) | (addr_hit[129] & ((|(4'b1 & (~reg_be))))) | (addr_hit[130] & ((|(4'b1 & (~reg_be))))) | (addr_hit[131] & ((|(4'b1 & (~reg_be))))) | (addr_hit[132] & ((|(4'b1 & (~reg_be))))) | (addr_hit[133] & ((|(4'b1 & (~reg_be))))) | (addr_hit[134] & ((|(4'b1 & (~reg_be))))) | (addr_hit[135] & ((|(4'b1 & (~reg_be))))) | (addr_hit[136] & ((|(4'b1 & (~reg_be))))) | (addr_hit[137] & ((|(4'b1 & (~reg_be))))) | (addr_hit[138] & ((|(4'b1 & (~reg_be))))) | (addr_hit[139] & ((|(4'b1 & (~reg_be))))) | (addr_hit[140] & ((|(4'b1 & (~reg_be))))) | (addr_hit[141] & ((|(4'b1 & (~reg_be))))) | (addr_hit[142] & ((|(4'b1 & (~reg_be))))) | (addr_hit[143] & ((|(4'b1 & (~reg_be))))) | (addr_hit[144] & ((|(4'b1 & (~reg_be))))) | (addr_hit[145] & ((|(4'b1 & (~reg_be))))) | (addr_hit[146] & ((|(4'b1 & (~reg_be))))) | (addr_hit[147] & ((|(4'b1 & (~reg_be))))) | (addr_hit[148] & ((|(4'b1 & (~reg_be))))) | (addr_hit[149] & ((|(4'b1 & (~reg_be))))) | (addr_hit[150] & ((|(4'b1 & (~reg_be))))) | (addr_hit[151] & ((|(4'b1 & (~reg_be))))) | (addr_hit[152] & ((|(4'b1 & (~reg_be))))) | (addr_hit[153] & ((|(4'b1 & (~reg_be))))) | (addr_hit[154] & ((|(4'b1 & (~reg_be))))) | (addr_hit[155] & ((|(4'b1 & (~reg_be))))) | (addr_hit[156] & ((|(4'b1 & (~reg_be))))) | (addr_hit[157] & ((|(4'b1 & (~reg_be))))) | (addr_hit[158] & ((|(4'b1 & (~reg_be))))) | (addr_hit[159] & ((|(4'b1 & (~reg_be))))) | (addr_hit[160] & ((|(4'b1 & (~reg_be))))) | (addr_hit[161] & ((|(4'b1 & (~reg_be))))) | (addr_hit[162] & ((|(4'b1 & (~reg_be))))) | (addr_hit[163] & ((|(4'b1 & (~reg_be))))) | (addr_hit[164] & ((|(4'b1 & (~reg_be))))) | (addr_hit[165] & ((|(4'b1 & (~reg_be))))) | (addr_hit[166] & ((|(4'b1 & (~reg_be))))) | (addr_hit[167] & ((|(4'b1 & (~reg_be))))) | (addr_hit[168] & ((|(4'b1 & (~reg_be))))) | (addr_hit[169] & ((|(4'b1 & (~reg_be))))) | (addr_hit[170] & ((|(4'b1 & (~reg_be))))) | (addr_hit[171] & ((|(4'b1 & (~reg_be))))) | (addr_hit[172] & ((|(4'b1 & (~reg_be))))) | (addr_hit[173] & ((|(4'b1 & (~reg_be))))) | (addr_hit[174] & ((|(4'b1 & (~reg_be))))) | (addr_hit[175] & ((|(4'b1 & (~reg_be))))) | (addr_hit[176] & ((|(4'b1 & (~reg_be))))) | (addr_hit[177] & ((|(4'b1 & (~reg_be))))) | (addr_hit[178] & ((|(4'b1 & (~reg_be))))) | (addr_hit[179] & ((|(4'b1 & (~reg_be))))) | (addr_hit[180] & ((|(4'b1 & (~reg_be))))) | (addr_hit[181] & ((|(4'b1 & (~reg_be))))) | (addr_hit[182] & ((|(4'b1 & (~reg_be))))) | (addr_hit[183] & ((|(4'b1 & (~reg_be))))) | (addr_hit[184] & ((|(4'b1 & (~reg_be))))) | (addr_hit[185] & ((|(4'b1 & (~reg_be))))) | (addr_hit[186] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[187] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[188] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[189] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[190] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[191] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[192] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[193] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[194] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[195] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[196] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[197] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[198] & ((|(4'b1 & (~reg_be))))) | (addr_hit[199] & ((|(4'b1 & (~reg_be))))) | (addr_hit[200] & ((|(4'b1 & (~reg_be))))) | (addr_hit[201] & ((|(4'b1 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T2,T4,T5 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T409,T410,T560 |
LINE 16856
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b1 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b1 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b1 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b1 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b1 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b1 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b1 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b1 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b1 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1 & (~reg_be))))) |
23 (addr_hit[22] & ((|(4'b1 & (~reg_be))))) |
24 (addr_hit[23] & ((|(4'b1 & (~reg_be))))) |
25 (addr_hit[24] & ((|(4'b1 & (~reg_be))))) |
26 (addr_hit[25] & ((|(4'b1 & (~reg_be))))) |
27 (addr_hit[26] & ((|(4'b1 & (~reg_be))))) |
28 (addr_hit[27] & ((|(4'b1 & (~reg_be))))) |
29 (addr_hit[28] & ((|(4'b1 & (~reg_be))))) |
30 (addr_hit[29] & ((|(4'b1 & (~reg_be))))) |
31 (addr_hit[30] & ((|(4'b1 & (~reg_be))))) |
32 (addr_hit[31] & ((|(4'b1 & (~reg_be))))) |
33 (addr_hit[32] & ((|(4'b1 & (~reg_be))))) |
34 (addr_hit[33] & ((|(4'b1 & (~reg_be))))) |
35 (addr_hit[34] & ((|(4'b1 & (~reg_be))))) |
36 (addr_hit[35] & ((|(4'b1 & (~reg_be))))) |
37 (addr_hit[36] & ((|(4'b1 & (~reg_be))))) |
38 (addr_hit[37] & ((|(4'b1 & (~reg_be))))) |
39 (addr_hit[38] & ((|(4'b1 & (~reg_be))))) |
40 (addr_hit[39] & ((|(4'b1 & (~reg_be))))) |
41 (addr_hit[40] & ((|(4'b1 & (~reg_be))))) |
42 (addr_hit[41] & ((|(4'b1 & (~reg_be))))) |
43 (addr_hit[42] & ((|(4'b1 & (~reg_be))))) |
44 (addr_hit[43] & ((|(4'b1 & (~reg_be))))) |
45 (addr_hit[44] & ((|(4'b1 & (~reg_be))))) |
46 (addr_hit[45] & ((|(4'b1 & (~reg_be))))) |
47 (addr_hit[46] & ((|(4'b1 & (~reg_be))))) |
48 (addr_hit[47] & ((|(4'b1 & (~reg_be))))) |
49 (addr_hit[48] & ((|(4'b1 & (~reg_be))))) |
50 (addr_hit[49] & ((|(4'b1 & (~reg_be))))) |
51 (addr_hit[50] & ((|(4'b1 & (~reg_be))))) |
52 (addr_hit[51] & ((|(4'b1 & (~reg_be))))) |
53 (addr_hit[52] & ((|(4'b1 & (~reg_be))))) |
54 (addr_hit[53] & ((|(4'b1 & (~reg_be))))) |
55 (addr_hit[54] & ((|(4'b1 & (~reg_be))))) |
56 (addr_hit[55] & ((|(4'b1 & (~reg_be))))) |
57 (addr_hit[56] & ((|(4'b1 & (~reg_be))))) |
58 (addr_hit[57] & ((|(4'b1 & (~reg_be))))) |
59 (addr_hit[58] & ((|(4'b1 & (~reg_be))))) |
60 (addr_hit[59] & ((|(4'b1 & (~reg_be))))) |
61 (addr_hit[60] & ((|(4'b1 & (~reg_be))))) |
62 (addr_hit[61] & ((|(4'b1 & (~reg_be))))) |
63 (addr_hit[62] & ((|(4'b1 & (~reg_be))))) |
64 (addr_hit[63] & ((|(4'b1 & (~reg_be))))) |
65 (addr_hit[64] & ((|(4'b1 & (~reg_be))))) |
66 (addr_hit[65] & ((|(4'b1 & (~reg_be))))) |
67 (addr_hit[66] & ((|(4'b1 & (~reg_be))))) |
68 (addr_hit[67] & ((|(4'b1 & (~reg_be))))) |
69 (addr_hit[68] & ((|(4'b1 & (~reg_be))))) |
70 (addr_hit[69] & ((|(4'b1 & (~reg_be))))) |
71 (addr_hit[70] & ((|(4'b1 & (~reg_be))))) |
72 (addr_hit[71] & ((|(4'b1 & (~reg_be))))) |
73 (addr_hit[72] & ((|(4'b1 & (~reg_be))))) |
74 (addr_hit[73] & ((|(4'b1 & (~reg_be))))) |
75 (addr_hit[74] & ((|(4'b1 & (~reg_be))))) |
76 (addr_hit[75] & ((|(4'b1 & (~reg_be))))) |
77 (addr_hit[76] & ((|(4'b1 & (~reg_be))))) |
78 (addr_hit[77] & ((|(4'b1 & (~reg_be))))) |
79 (addr_hit[78] & ((|(4'b1 & (~reg_be))))) |
80 (addr_hit[79] & ((|(4'b1 & (~reg_be))))) |
81 (addr_hit[80] & ((|(4'b1 & (~reg_be))))) |
82 (addr_hit[81] & ((|(4'b1 & (~reg_be))))) |
83 (addr_hit[82] & ((|(4'b1 & (~reg_be))))) |
84 (addr_hit[83] & ((|(4'b1 & (~reg_be))))) |
85 (addr_hit[84] & ((|(4'b1 & (~reg_be))))) |
86 (addr_hit[85] & ((|(4'b1 & (~reg_be))))) |
87 (addr_hit[86] & ((|(4'b1 & (~reg_be))))) |
88 (addr_hit[87] & ((|(4'b1 & (~reg_be))))) |
89 (addr_hit[88] & ((|(4'b1 & (~reg_be))))) |
90 (addr_hit[89] & ((|(4'b1 & (~reg_be))))) |
91 (addr_hit[90] & ((|(4'b1 & (~reg_be))))) |
92 (addr_hit[91] & ((|(4'b1 & (~reg_be))))) |
93 (addr_hit[92] & ((|(4'b1 & (~reg_be))))) |
94 (addr_hit[93] & ((|(4'b1 & (~reg_be))))) |
95 (addr_hit[94] & ((|(4'b1 & (~reg_be))))) |
96 (addr_hit[95] & ((|(4'b1 & (~reg_be))))) |
97 (addr_hit[96] & ((|(4'b1 & (~reg_be))))) |
98 (addr_hit[97] & ((|(4'b1 & (~reg_be))))) |
99 (addr_hit[98] & ((|(4'b1 & (~reg_be))))) |
100 (addr_hit[99] & ((|(4'b1 & (~reg_be))))) |
101 (addr_hit[100] & ((|(4'b1 & (~reg_be))))) |
102 (addr_hit[101] & ((|(4'b1 & (~reg_be))))) |
103 (addr_hit[102] & ((|(4'b1 & (~reg_be))))) |
104 (addr_hit[103] & ((|(4'b1 & (~reg_be))))) |
105 (addr_hit[104] & ((|(4'b1 & (~reg_be))))) |
106 (addr_hit[105] & ((|(4'b1 & (~reg_be))))) |
107 (addr_hit[106] & ((|(4'b1 & (~reg_be))))) |
108 (addr_hit[107] & ((|(4'b1 & (~reg_be))))) |
109 (addr_hit[108] & ((|(4'b1 & (~reg_be))))) |
110 (addr_hit[109] & ((|(4'b1 & (~reg_be))))) |
111 (addr_hit[110] & ((|(4'b1 & (~reg_be))))) |
112 (addr_hit[111] & ((|(4'b1 & (~reg_be))))) |
113 (addr_hit[112] & ((|(4'b1 & (~reg_be))))) |
114 (addr_hit[113] & ((|(4'b1 & (~reg_be))))) |
115 (addr_hit[114] & ((|(4'b1 & (~reg_be))))) |
116 (addr_hit[115] & ((|(4'b1 & (~reg_be))))) |
117 (addr_hit[116] & ((|(4'b1 & (~reg_be))))) |
118 (addr_hit[117] & ((|(4'b1 & (~reg_be))))) |
119 (addr_hit[118] & ((|(4'b1 & (~reg_be))))) |
120 (addr_hit[119] & ((|(4'b1 & (~reg_be))))) |
121 (addr_hit[120] & ((|(4'b1 & (~reg_be))))) |
122 (addr_hit[121] & ((|(4'b1 & (~reg_be))))) |
123 (addr_hit[122] & ((|(4'b1 & (~reg_be))))) |
124 (addr_hit[123] & ((|(4'b1 & (~reg_be))))) |
125 (addr_hit[124] & ((|(4'b1 & (~reg_be))))) |
126 (addr_hit[125] & ((|(4'b1 & (~reg_be))))) |
127 (addr_hit[126] & ((|(4'b1 & (~reg_be))))) |
128 (addr_hit[127] & ((|(4'b1 & (~reg_be))))) |
129 (addr_hit[128] & ((|(4'b1 & (~reg_be))))) |
130 (addr_hit[129] & ((|(4'b1 & (~reg_be))))) |
131 (addr_hit[130] & ((|(4'b1 & (~reg_be))))) |
132 (addr_hit[131] & ((|(4'b1 & (~reg_be))))) |
133 (addr_hit[132] & ((|(4'b1 & (~reg_be))))) |
134 (addr_hit[133] & ((|(4'b1 & (~reg_be))))) |
135 (addr_hit[134] & ((|(4'b1 & (~reg_be))))) |
136 (addr_hit[135] & ((|(4'b1 & (~reg_be))))) |
137 (addr_hit[136] & ((|(4'b1 & (~reg_be))))) |
138 (addr_hit[137] & ((|(4'b1 & (~reg_be))))) |
139 (addr_hit[138] & ((|(4'b1 & (~reg_be))))) |
140 (addr_hit[139] & ((|(4'b1 & (~reg_be))))) |
141 (addr_hit[140] & ((|(4'b1 & (~reg_be))))) |
142 (addr_hit[141] & ((|(4'b1 & (~reg_be))))) |
143 (addr_hit[142] & ((|(4'b1 & (~reg_be))))) |
144 (addr_hit[143] & ((|(4'b1 & (~reg_be))))) |
145 (addr_hit[144] & ((|(4'b1 & (~reg_be))))) |
146 (addr_hit[145] & ((|(4'b1 & (~reg_be))))) |
147 (addr_hit[146] & ((|(4'b1 & (~reg_be))))) |
148 (addr_hit[147] & ((|(4'b1 & (~reg_be))))) |
149 (addr_hit[148] & ((|(4'b1 & (~reg_be))))) |
150 (addr_hit[149] & ((|(4'b1 & (~reg_be))))) |
151 (addr_hit[150] & ((|(4'b1 & (~reg_be))))) |
152 (addr_hit[151] & ((|(4'b1 & (~reg_be))))) |
153 (addr_hit[152] & ((|(4'b1 & (~reg_be))))) |
154 (addr_hit[153] & ((|(4'b1 & (~reg_be))))) |
155 (addr_hit[154] & ((|(4'b1 & (~reg_be))))) |
156 (addr_hit[155] & ((|(4'b1 & (~reg_be))))) |
157 (addr_hit[156] & ((|(4'b1 & (~reg_be))))) |
158 (addr_hit[157] & ((|(4'b1 & (~reg_be))))) |
159 (addr_hit[158] & ((|(4'b1 & (~reg_be))))) |
160 (addr_hit[159] & ((|(4'b1 & (~reg_be))))) |
161 (addr_hit[160] & ((|(4'b1 & (~reg_be))))) |
162 (addr_hit[161] & ((|(4'b1 & (~reg_be))))) |
163 (addr_hit[162] & ((|(4'b1 & (~reg_be))))) |
164 (addr_hit[163] & ((|(4'b1 & (~reg_be))))) |
165 (addr_hit[164] & ((|(4'b1 & (~reg_be))))) |
166 (addr_hit[165] & ((|(4'b1 & (~reg_be))))) |
167 (addr_hit[166] & ((|(4'b1 & (~reg_be))))) |
168 (addr_hit[167] & ((|(4'b1 & (~reg_be))))) |
169 (addr_hit[168] & ((|(4'b1 & (~reg_be))))) |
170 (addr_hit[169] & ((|(4'b1 & (~reg_be))))) |
171 (addr_hit[170] & ((|(4'b1 & (~reg_be))))) |
172 (addr_hit[171] & ((|(4'b1 & (~reg_be))))) |
173 (addr_hit[172] & ((|(4'b1 & (~reg_be))))) |
174 (addr_hit[173] & ((|(4'b1 & (~reg_be))))) |
175 (addr_hit[174] & ((|(4'b1 & (~reg_be))))) |
176 (addr_hit[175] & ((|(4'b1 & (~reg_be))))) |
177 (addr_hit[176] & ((|(4'b1 & (~reg_be))))) |
178 (addr_hit[177] & ((|(4'b1 & (~reg_be))))) |
179 (addr_hit[178] & ((|(4'b1 & (~reg_be))))) |
180 (addr_hit[179] & ((|(4'b1 & (~reg_be))))) |
181 (addr_hit[180] & ((|(4'b1 & (~reg_be))))) |
182 (addr_hit[181] & ((|(4'b1 & (~reg_be))))) |
183 (addr_hit[182] & ((|(4'b1 & (~reg_be))))) |
184 (addr_hit[183] & ((|(4'b1 & (~reg_be))))) |
185 (addr_hit[184] & ((|(4'b1 & (~reg_be))))) |
186 (addr_hit[185] & ((|(4'b1 & (~reg_be))))) |
187 (addr_hit[186] & ((|(4'b1111 & (~reg_be))))) |
188 (addr_hit[187] & ((|(4'b1111 & (~reg_be))))) |
189 (addr_hit[188] & ((|(4'b1111 & (~reg_be))))) |
190 (addr_hit[189] & ((|(4'b1111 & (~reg_be))))) |
191 (addr_hit[190] & ((|(4'b1111 & (~reg_be))))) |
192 (addr_hit[191] & ((|(4'b1111 & (~reg_be))))) |
193 (addr_hit[192] & ((|(4'b1111 & (~reg_be))))) |
194 (addr_hit[193] & ((|(4'b1111 & (~reg_be))))) |
195 (addr_hit[194] & ((|(4'b1111 & (~reg_be))))) |
196 (addr_hit[195] & ((|(4'b1111 & (~reg_be))))) |
197 (addr_hit[196] & ((|(4'b1111 & (~reg_be))))) |
198 (addr_hit[197] & ((|(4'b1111 & (~reg_be))))) |
199 (addr_hit[198] & ((|(4'b1 & (~reg_be))))) |
200 (addr_hit[199] & ((|(4'b1 & (~reg_be))))) |
201 (addr_hit[200] & ((|(4'b1 & (~reg_be))))) |
202 (addr_hit[201] & ((|(4'b1 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
|---|
| ALL ZEROS | Covered | T2,T4,T5 |
| 202 (addr_hit[201] & ((|(4... | Covered | T409,T179,T560 |
| 201 (addr_hit[200] & ((|(4... | Covered | T409,T179,T560 |
| 200 (addr_hit[199] & ((|(4... | Covered | T409,T410,T560 |
| 199 (addr_hit[198] & ((|(4... | Covered | T409,T410,T560 |
| 198 (addr_hit[197] & ((|(4... | Covered | T409,T410,T179 |
| 197 (addr_hit[196] & ((|(4... | Covered | T409,T410,T560 |
| 196 (addr_hit[195] & ((|(4... | Covered | T409,T410,T179 |
| 195 (addr_hit[194] & ((|(4... | Covered | T409,T410,T177 |
| 194 (addr_hit[193] & ((|(4... | Covered | T409,T410,T179 |
| 193 (addr_hit[192] & ((|(4... | Covered | T410,T179,T560 |
| 192 (addr_hit[191] & ((|(4... | Covered | T409,T410,T560 |
| 191 (addr_hit[190] & ((|(4... | Covered | T410,T177,T179 |
| 190 (addr_hit[189] & ((|(4... | Covered | T409,T410,T179 |
| 189 (addr_hit[188] & ((|(4... | Covered | T409,T410,T560 |
| 188 (addr_hit[187] & ((|(4... | Covered | T409,T410,T177 |
| 187 (addr_hit[186] & ((|(4... | Covered | T410,T179,T560 |
| 186 (addr_hit[185] & ((|(4... | Covered | T409,T410,T177 |
| 185 (addr_hit[184] & ((|(4... | Covered | T409,T560,T188 |
| 184 (addr_hit[183] & ((|(4... | Covered | T409,T410,T179 |
| 183 (addr_hit[182] & ((|(4... | Covered | T409,T410,T560 |
| 182 (addr_hit[181] & ((|(4... | Covered | T409,T410,T560 |
| 181 (addr_hit[180] & ((|(4... | Covered | T409,T410,T560 |
| 180 (addr_hit[179] & ((|(4... | Covered | T409,T410,T560 |
| 179 (addr_hit[178] & ((|(4... | Covered | T409,T410,T177 |
| 178 (addr_hit[177] & ((|(4... | Covered | T409,T560,T401 |
| 177 (addr_hit[176] & ((|(4... | Covered | T409,T410,T179 |
| 176 (addr_hit[175] & ((|(4... | Covered | T409,T410,T177 |
| 175 (addr_hit[174] & ((|(4... | Covered | T409,T410,T560 |
| 174 (addr_hit[173] & ((|(4... | Covered | T409,T410,T560 |
| 173 (addr_hit[172] & ((|(4... | Covered | T409,T410,T560 |
| 172 (addr_hit[171] & ((|(4... | Covered | T409,T410,T177 |
| 171 (addr_hit[170] & ((|(4... | Covered | T409,T410,T560 |
| 170 (addr_hit[169] & ((|(4... | Covered | T409,T410,T560 |
| 169 (addr_hit[168] & ((|(4... | Covered | T409,T410,T179 |
| 168 (addr_hit[167] & ((|(4... | Covered | T409,T410,T177 |
| 167 (addr_hit[166] & ((|(4... | Covered | T409,T410,T177 |
| 166 (addr_hit[165] & ((|(4... | Covered | T409,T410,T179 |
| 165 (addr_hit[164] & ((|(4... | Covered | T409,T410,T177 |
| 164 (addr_hit[163] & ((|(4... | Covered | T409,T560,T188 |
| 163 (addr_hit[162] & ((|(4... | Covered | T409,T410,T560 |
| 162 (addr_hit[161] & ((|(4... | Covered | T409,T177,T560 |
| 161 (addr_hit[160] & ((|(4... | Covered | T409,T410,T177 |
| 160 (addr_hit[159] & ((|(4... | Covered | T409,T410,T179 |
| 159 (addr_hit[158] & ((|(4... | Covered | T409,T177,T560 |
| 158 (addr_hit[157] & ((|(4... | Covered | T409,T410,T177 |
| 157 (addr_hit[156] & ((|(4... | Covered | T409,T410,T560 |
| 156 (addr_hit[155] & ((|(4... | Covered | T409,T410,T560 |
| 155 (addr_hit[154] & ((|(4... | Covered | T409,T410,T560 |
| 154 (addr_hit[153] & ((|(4... | Covered | T409,T410,T560 |
| 153 (addr_hit[152] & ((|(4... | Covered | T409,T410,T177 |
| 152 (addr_hit[151] & ((|(4... | Covered | T409,T410,T177 |
| 151 (addr_hit[150] & ((|(4... | Covered | T409,T410,T179 |
| 150 (addr_hit[149] & ((|(4... | Covered | T409,T410,T177 |
| 149 (addr_hit[148] & ((|(4... | Covered | T409,T410,T179 |
| 148 (addr_hit[147] & ((|(4... | Covered | T409,T410,T177 |
| 147 (addr_hit[146] & ((|(4... | Covered | T409,T410,T560 |
| 146 (addr_hit[145] & ((|(4... | Covered | T409,T410,T177 |
| 145 (addr_hit[144] & ((|(4... | Covered | T409,T410,T560 |
| 144 (addr_hit[143] & ((|(4... | Covered | T409,T410,T177 |
| 143 (addr_hit[142] & ((|(4... | Covered | T409,T410,T177 |
| 142 (addr_hit[141] & ((|(4... | Covered | T409,T410,T560 |
| 141 (addr_hit[140] & ((|(4... | Covered | T409,T410,T177 |
| 140 (addr_hit[139] & ((|(4... | Covered | T409,T410,T177 |
| 139 (addr_hit[138] & ((|(4... | Covered | T409,T410,T177 |
| 138 (addr_hit[137] & ((|(4... | Covered | T409,T410,T560 |
| 137 (addr_hit[136] & ((|(4... | Covered | T410,T179,T560 |
| 136 (addr_hit[135] & ((|(4... | Covered | T409,T410,T560 |
| 135 (addr_hit[134] & ((|(4... | Covered | T409,T410,T560 |
| 134 (addr_hit[133] & ((|(4... | Covered | T409,T410,T179 |
| 133 (addr_hit[132] & ((|(4... | Covered | T409,T410,T560 |
| 132 (addr_hit[131] & ((|(4... | Covered | T409,T410,T177 |
| 131 (addr_hit[130] & ((|(4... | Covered | T409,T410,T177 |
| 130 (addr_hit[129] & ((|(4... | Covered | T409,T410,T179 |
| 129 (addr_hit[128] & ((|(4... | Covered | T409,T410,T177 |
| 128 (addr_hit[127] & ((|(4... | Covered | T409,T410,T560 |
| 127 (addr_hit[126] & ((|(4... | Covered | T409,T410,T179 |
| 126 (addr_hit[125] & ((|(4... | Covered | T409,T410,T177 |
| 125 (addr_hit[124] & ((|(4... | Covered | T409,T410,T179 |
| 124 (addr_hit[123] & ((|(4... | Covered | T409,T410,T179 |
| 123 (addr_hit[122] & ((|(4... | Covered | T409,T410,T179 |
| 122 (addr_hit[121] & ((|(4... | Covered | T409,T410,T177 |
| 121 (addr_hit[120] & ((|(4... | Covered | T409,T410,T560 |
| 120 (addr_hit[119] & ((|(4... | Covered | T409,T410,T177 |
| 119 (addr_hit[118] & ((|(4... | Covered | T409,T410,T560 |
| 118 (addr_hit[117] & ((|(4... | Covered | T409,T560,T188 |
| 117 (addr_hit[116] & ((|(4... | Covered | T409,T410,T560 |
| 116 (addr_hit[115] & ((|(4... | Covered | T409,T410,T177 |
| 115 (addr_hit[114] & ((|(4... | Covered | T409,T410,T177 |
| 114 (addr_hit[113] & ((|(4... | Covered | T409,T410,T179 |
| 113 (addr_hit[112] & ((|(4... | Covered | T409,T410,T560 |
| 112 (addr_hit[111] & ((|(4... | Covered | T409,T410,T560 |
| 111 (addr_hit[110] & ((|(4... | Covered | T409,T410,T177 |
| 110 (addr_hit[109] & ((|(4... | Covered | T409,T410,T179 |
| 109 (addr_hit[108] & ((|(4... | Covered | T409,T177,T560 |
| 108 (addr_hit[107] & ((|(4... | Covered | T409,T410,T179 |
| 107 (addr_hit[106] & ((|(4... | Covered | T409,T410,T177 |
| 106 (addr_hit[105] & ((|(4... | Covered | T409,T410,T177 |
| 105 (addr_hit[104] & ((|(4... | Covered | T409,T410,T560 |
| 104 (addr_hit[103] & ((|(4... | Covered | T409,T177,T560 |
| 103 (addr_hit[102] & ((|(4... | Covered | T409,T410,T560 |
| 102 (addr_hit[101] & ((|(4... | Covered | T409,T410,T177 |
| 101 (addr_hit[100] & ((|(4... | Covered | T409,T410,T560 |
| 100 (addr_hit[99] & ((|(4'... | Covered | T409,T410,T179 |
| 99 (addr_hit[98] & ((|(4'... | Covered | T409,T410,T560 |
| 98 (addr_hit[97] & ((|(4'... | Covered | T409,T410,T560 |
| 97 (addr_hit[96] & ((|(4'... | Covered | T409,T410,T177 |
| 96 (addr_hit[95] & ((|(4'... | Covered | T409,T410,T560 |
| 95 (addr_hit[94] & ((|(4'... | Covered | T409,T177,T560 |
| 94 (addr_hit[93] & ((|(4'... | Covered | T409,T410,T560 |
| 93 (addr_hit[92] & ((|(4'... | Covered | T409,T410,T179 |
| 92 (addr_hit[91] & ((|(4'... | Covered | T409,T560,T188 |
| 91 (addr_hit[90] & ((|(4'... | Covered | T410,T560,T180 |
| 90 (addr_hit[89] & ((|(4'... | Covered | T409,T410,T179 |
| 89 (addr_hit[88] & ((|(4'... | Covered | T409,T410,T560 |
| 88 (addr_hit[87] & ((|(4'... | Covered | T409,T410,T177 |
| 87 (addr_hit[86] & ((|(4'... | Covered | T409,T410,T560 |
| 86 (addr_hit[85] & ((|(4'... | Covered | T409,T179,T560 |
| 85 (addr_hit[84] & ((|(4'... | Covered | T409,T560,T188 |
| 84 (addr_hit[83] & ((|(4'... | Covered | T410,T177,T179 |
| 83 (addr_hit[82] & ((|(4'... | Covered | T409,T560,T188 |
| 82 (addr_hit[81] & ((|(4'... | Covered | T409,T410,T560 |
| 81 (addr_hit[80] & ((|(4'... | Covered | T409,T410,T177 |
| 80 (addr_hit[79] & ((|(4'... | Covered | T409,T410,T179 |
| 79 (addr_hit[78] & ((|(4'... | Covered | T409,T410,T177 |
| 78 (addr_hit[77] & ((|(4'... | Covered | T409,T179,T560 |
| 77 (addr_hit[76] & ((|(4'... | Covered | T409,T410,T179 |
| 76 (addr_hit[75] & ((|(4'... | Covered | T409,T410,T177 |
| 75 (addr_hit[74] & ((|(4'... | Covered | T409,T560,T401 |
| 74 (addr_hit[73] & ((|(4'... | Covered | T409,T410,T179 |
| 73 (addr_hit[72] & ((|(4'... | Covered | T409,T410,T560 |
| 72 (addr_hit[71] & ((|(4'... | Covered | T409,T410,T179 |
| 71 (addr_hit[70] & ((|(4'... | Covered | T409,T410,T560 |
| 70 (addr_hit[69] & ((|(4'... | Covered | T409,T410,T177 |
| 69 (addr_hit[68] & ((|(4'... | Covered | T409,T410,T177 |
| 68 (addr_hit[67] & ((|(4'... | Covered | T409,T410,T177 |
| 67 (addr_hit[66] & ((|(4'... | Covered | T409,T410,T560 |
| 66 (addr_hit[65] & ((|(4'... | Covered | T409,T410,T560 |
| 65 (addr_hit[64] & ((|(4'... | Covered | T409,T410,T177 |
| 64 (addr_hit[63] & ((|(4'... | Covered | T409,T177,T179 |
| 63 (addr_hit[62] & ((|(4'... | Covered | T409,T179,T560 |
| 62 (addr_hit[61] & ((|(4'... | Covered | T409,T410,T177 |
| 61 (addr_hit[60] & ((|(4'... | Covered | T409,T410,T560 |
| 60 (addr_hit[59] & ((|(4'... | Covered | T409,T177,T179 |
| 59 (addr_hit[58] & ((|(4'... | Covered | T409,T410,T560 |
| 58 (addr_hit[57] & ((|(4'... | Covered | T409,T410,T560 |
| 57 (addr_hit[56] & ((|(4'... | Covered | T409,T410,T177 |
| 56 (addr_hit[55] & ((|(4'... | Covered | T409,T410,T560 |
| 55 (addr_hit[54] & ((|(4'... | Covered | T409,T410,T179 |
| 54 (addr_hit[53] & ((|(4'... | Covered | T409,T410,T179 |
| 53 (addr_hit[52] & ((|(4'... | Covered | T409,T179,T560 |
| 52 (addr_hit[51] & ((|(4'... | Covered | T409,T410,T560 |
| 51 (addr_hit[50] & ((|(4'... | Covered | T409,T410,T177 |
| 50 (addr_hit[49] & ((|(4'... | Covered | T409,T410,T560 |
| 49 (addr_hit[48] & ((|(4'... | Covered | T409,T410,T179 |
| 48 (addr_hit[47] & ((|(4'... | Covered | T409,T410,T177 |
| 47 (addr_hit[46] & ((|(4'... | Covered | T409,T410,T177 |
| 46 (addr_hit[45] & ((|(4'... | Covered | T409,T410,T560 |
| 45 (addr_hit[44] & ((|(4'... | Covered | T409,T410,T560 |
| 44 (addr_hit[43] & ((|(4'... | Covered | T409,T410,T177 |
| 43 (addr_hit[42] & ((|(4'... | Covered | T409,T410,T560 |
| 42 (addr_hit[41] & ((|(4'... | Covered | T409,T410,T179 |
| 41 (addr_hit[40] & ((|(4'... | Covered | T409,T410,T560 |
| 40 (addr_hit[39] & ((|(4'... | Covered | T409,T410,T177 |
| 39 (addr_hit[38] & ((|(4'... | Covered | T409,T410,T177 |
| 38 (addr_hit[37] & ((|(4'... | Covered | T409,T410,T177 |
| 37 (addr_hit[36] & ((|(4'... | Covered | T177,T560,T188 |
| 36 (addr_hit[35] & ((|(4'... | Covered | T409,T410,T560 |
| 35 (addr_hit[34] & ((|(4'... | Covered | T409,T410,T179 |
| 34 (addr_hit[33] & ((|(4'... | Covered | T410,T560,T188 |
| 33 (addr_hit[32] & ((|(4'... | Covered | T409,T410,T560 |
| 32 (addr_hit[31] & ((|(4'... | Covered | T409,T410,T560 |
| 31 (addr_hit[30] & ((|(4'... | Covered | T410,T177,T560 |
| 30 (addr_hit[29] & ((|(4'... | Covered | T409,T410,T177 |
| 29 (addr_hit[28] & ((|(4'... | Covered | T409,T410,T177 |
| 28 (addr_hit[27] & ((|(4'... | Covered | T409,T410,T177 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T409,T177,T560 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T409,T410,T179 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T409,T410,T560 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T409,T410,T177 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T409,T410,T177 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T409,T410,T177 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T409,T410,T179 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T409,T410,T177 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T409,T410,T177 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T409,T410,T560 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T409,T410,T179 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T409,T410,T179 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T409,T410,T560 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T409,T410,T179 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T409,T410,T560 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T409,T410,T560 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T409,T560,T180 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T409,T410,T177 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T409,T410,T560 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T409,T410,T177 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T409,T410,T560 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T409,T410,T177 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T409,T410,T560 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T409,T410,T179 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T409,T410,T177 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T409,T410,T177 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T2,T4,T5 |