Cond split page
dashboard | hierarchy | modlist | groups | tests | asserts
Go back
 LINE       81
 EXPRESSION ((syndrome_o == 8'hbe) ^ data_i[55])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT55,T110,T104

 LINE       81
 SUB-EXPRESSION (syndrome_o == 8'hbe)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT55,T110,T104

 LINE       82
 EXPRESSION ((syndrome_o == 8'hbf) ^ data_i[56])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT18,T55,T110

 LINE       82
 SUB-EXPRESSION (syndrome_o == 8'hbf)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       83
 EXPRESSION ((syndrome_o == 8'hc1) ^ data_i[57])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T104,T61
11CoveredT18,T55,T110

 LINE       83
 SUB-EXPRESSION (syndrome_o == 8'hc1)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       84
 EXPRESSION ((syndrome_o == 8'hc2) ^ data_i[58])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT18,T20,T55
11CoveredT55,T104,T83

 LINE       84
 SUB-EXPRESSION (syndrome_o == 8'hc2)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T20,T55

 LINE       85
 EXPRESSION ((syndrome_o == 8'hc3) ^ data_i[59])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T308
11CoveredT18,T55,T110

 LINE       85
 SUB-EXPRESSION (syndrome_o == 8'hc3)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       86
 EXPRESSION ((syndrome_o == 8'hc4) ^ data_i[60])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT18,T55,T104

 LINE       86
 SUB-EXPRESSION (syndrome_o == 8'hc4)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       87
 EXPRESSION ((syndrome_o == 8'hc5) ^ data_i[61])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT55,T110,T104

 LINE       87
 SUB-EXPRESSION (syndrome_o == 8'hc5)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT55,T110,T104

 LINE       88
 EXPRESSION ((syndrome_o == 8'hc6) ^ data_i[62])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT26,T55,T110
11CoveredT55,T110,T104

 LINE       88
 SUB-EXPRESSION (syndrome_o == 8'hc6)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT26,T55,T110

 LINE       89
 EXPRESSION ((syndrome_o == 8'hc7) ^ data_i[63])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT10,T18,T55
11CoveredT10,T18,T55

 LINE       89
 SUB-EXPRESSION (syndrome_o == 8'hc7)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T18,T55

 LINE       90
 EXPRESSION ((syndrome_o == 8'hc8) ^ data_i[64])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT18,T55,T110

 LINE       90
 SUB-EXPRESSION (syndrome_o == 8'hc8)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       91
 EXPRESSION ((syndrome_o == 8'hc9) ^ data_i[65])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT18,T55,T110

 LINE       91
 SUB-EXPRESSION (syndrome_o == 8'hc9)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       92
 EXPRESSION ((syndrome_o == 8'hca) ^ data_i[66])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT55,T104,T61

 LINE       92
 SUB-EXPRESSION (syndrome_o == 8'hca)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT55,T110,T104

 LINE       93
 EXPRESSION ((syndrome_o == 8'hcb) ^ data_i[67])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT55,T110,T104
11CoveredT18,T55,T104

 LINE       93
 SUB-EXPRESSION (syndrome_o == 8'hcb)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T55,T110

 LINE       97
 EXPRESSION (((|syndrome_o[6:0])) & ((~syndrome_o[7])))
             ----------1---------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T10,T18
11CoveredT2,T10,T18
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%