Cond split page
dashboard | hierarchy | modlist | groups | tests | asserts
Go back
 LINE       80
 EXPRESSION ((syndrome_o == 8'hbd) ^ data_i[54])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT48,T104,T125
11CoveredT48,T104,T125

 LINE       80
 SUB-EXPRESSION (syndrome_o == 8'hbd)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T104,T125

 LINE       81
 EXPRESSION ((syndrome_o == 8'hbe) ^ data_i[55])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT48,T32,T104
11CoveredT31,T48,T104

 LINE       81
 SUB-EXPRESSION (syndrome_o == 8'hbe)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT31,T48,T32

 LINE       82
 EXPRESSION ((syndrome_o == 8'hbf) ^ data_i[56])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT30,T48,T32
11CoveredT48,T32,T104

 LINE       82
 SUB-EXPRESSION (syndrome_o == 8'hbf)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT30,T48,T32

 LINE       83
 EXPRESSION ((syndrome_o == 8'hc1) ^ data_i[57])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT22,T48,T32
11CoveredT48,T42,T104

 LINE       83
 SUB-EXPRESSION (syndrome_o == 8'hc1)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       84
 EXPRESSION ((syndrome_o == 8'hc2) ^ data_i[58])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT48,T32,T104
11CoveredT22,T48,T32

 LINE       84
 SUB-EXPRESSION (syndrome_o == 8'hc2)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       85
 EXPRESSION ((syndrome_o == 8'hc3) ^ data_i[59])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT22,T48,T32
11CoveredT48,T104,T125

 LINE       85
 SUB-EXPRESSION (syndrome_o == 8'hc3)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       86
 EXPRESSION ((syndrome_o == 8'hc4) ^ data_i[60])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT48,T32,T104
11CoveredT32,T104,T125

 LINE       86
 SUB-EXPRESSION (syndrome_o == 8'hc4)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T32,T104

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

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

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

 LINE       88
 SUB-EXPRESSION (syndrome_o == 8'hc6)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T104,T125

 LINE       89
 EXPRESSION ((syndrome_o == 8'hc7) ^ data_i[63])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT22,T48,T104
11CoveredT48,T32,T104

 LINE       89
 SUB-EXPRESSION (syndrome_o == 8'hc7)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       90
 EXPRESSION ((syndrome_o == 8'hc8) ^ data_i[64])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT3,T5,T8
01CoveredT1,T2,T3
10CoveredT48,T104,T125
11CoveredT48,T104,T125

 LINE       90
 SUB-EXPRESSION (syndrome_o == 8'hc8)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T104,T125

 LINE       91
 EXPRESSION ((syndrome_o == 8'hc9) ^ data_i[65])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT3,T5,T8
01CoveredT1,T2,T3
10CoveredT22,T48,T104
11CoveredT48,T32,T104

 LINE       91
 SUB-EXPRESSION (syndrome_o == 8'hc9)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       92
 EXPRESSION ((syndrome_o == 8'hca) ^ data_i[66])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT3,T5,T8
01CoveredT1,T2,T3
10CoveredT22,T48,T104
11CoveredT48,T32,T104

 LINE       92
 SUB-EXPRESSION (syndrome_o == 8'hca)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T48,T32

 LINE       93
 EXPRESSION ((syndrome_o == 8'hcb) ^ data_i[67])
             ----------1----------   -----2----
-1--2-StatusTests
00CoveredT3,T5,T8
01CoveredT1,T2,T3
10CoveredT48,T104,T125
11CoveredT48,T32,T104

 LINE       93
 SUB-EXPRESSION (syndrome_o == 8'hcb)
                ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T32,T104

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