Go 
back
 LINE       2856
 EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T130,T132 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2859
 EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T124,T136 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2862
 EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T130,T136,T142 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2865
 EXPRESSION (addr_hit[37] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T134,T136 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2868
 EXPRESSION (addr_hit[38] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T124,T134 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2871
 EXPRESSION (addr_hit[39] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T135,T132 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2874
 EXPRESSION (addr_hit[40] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T132,T137,T143 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2877
 EXPRESSION (addr_hit[41] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T132,T137 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2880
 EXPRESSION (addr_hit[42] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T130,T136,T144 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2883
 EXPRESSION (addr_hit[43] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T134,T145,T136 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2886
 EXPRESSION (addr_hit[44] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T131,T132 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2889
 EXPRESSION (addr_hit[45] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T132,T141 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2892
 EXPRESSION (addr_hit[46] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T124,T132 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2895
 EXPRESSION (addr_hit[47] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T137,T139,T138 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2898
 EXPRESSION (addr_hit[48] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T134,T135 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2901
 EXPRESSION (addr_hit[49] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T124,T134 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2904
 EXPRESSION (addr_hit[50] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T136,T131 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2907
 EXPRESSION (addr_hit[51] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T134,T136 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2910
 EXPRESSION (addr_hit[52] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T132,T137,T141 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2913
 EXPRESSION (addr_hit[53] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T124,T130,T134 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2916
 EXPRESSION (addr_hit[54] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T135,T136 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       2919
 EXPRESSION (addr_hit[55] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | 
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Covered | T59,T134,T131 | 
| 1 | 1 | 1 | Covered | T1,T2,T3 | 
 LINE       3272
 SUB-EXPRESSION (rst_done & shadow_rst_done)
                 ----1---   -------2-------
| -1- | -2- | Status | Tests | 
|---|
| 0 | 1 | Covered | T97,T100,T102 | 
| 1 | 0 | Covered | T99,T100,T101 | 
| 1 | 1 | Covered | T1,T2,T3 |