SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
prim_prince_tb |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
100.00 | 100.00 | 100.00 | 100.00 | 100.00 | 100.00 |
SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT | NAME |
prim_prince_tb |
NAME | SCORE | LINE | COND | TOGGLE | FSM | BRANCH | ASSERT |
no children |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 73 | 73 | 100.00 | |
ALWAYS | 56 | 7 | 7 | 100.00 |
CONT_ASSIGN | 70 | 1 | 1 | 100.00 |
CONT_ASSIGN | 99 | 1 | 1 | 100.00 |
CONT_ASSIGN | 100 | 1 | 1 | 100.00 |
CONT_ASSIGN | 101 | 1 | 1 | 100.00 |
ALWAYS | 114 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
ALWAYS | 154 | 3 | 3 | 100.00 |
CONT_ASSIGN | 186 | 1 | 1 | 100.00 |
CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
CONT_ASSIGN | 190 | 1 | 1 | 100.00 |
CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
CONT_ASSIGN | 199 | 1 | 1 | 100.00 |
CONT_ASSIGN | 199 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 227 | 3 | 3 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
58 | 1 | 1 | |
61 | 1 | 1 | |
62 | 1 | 1 | |
63 | 1 | 1 | |
64 | 1 | 1 | |
MISSING_ELSE | |||
70 | 1 | 1 | |
99 | 1 | 1 | |
100 | 1 | 1 | |
101 | 1 | 1 | |
114 | 1 | 1 | |
115 | 1 | 1 | |
116 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
140 | 5 | 5 | |
144 | 3 | 3 | |
146 | 2 | 2 | |
154 | 1 | 1 | |
156 | 1 | 1 | |
157 | 1 | 1 | |
186 | 1 | 1 | |
187 | 1 | 1 | |
190 | 1 | 1 | |
197 | 3 | 3 | |
199 | 2 | 2 | |
202 | 5 | 5 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
227 | 1 | 1 | |
229 | 1 | 1 | |
230 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 4 | 4 | 100.00 |
Logical | 4 | 4 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 57 SUB-EXPRESSION (k0[(DataWidth - 1)] ^ k0[1]) ---------1--------- --2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 8 | 8 | 100.00 |
Total Bits | 522 | 522 | 100.00 |
Total Bits 0->1 | 261 | 261 | 100.00 |
Total Bits 1->0 | 261 | 261 | 100.00 |
Ports | 8 | 8 | 100.00 |
Port Bits | 522 | 522 | 100.00 |
Port Bits 0->1 | 261 | 261 | 100.00 |
Port Bits 1->0 | 261 | 261 | 100.00 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
valid_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
data_i[63:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
key_i[127:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
dec_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
valid_o | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
data_o[63:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 2 | 2 | 100.00 | |
IF | 61 | 2 | 2 | 100.00 |
LineNo. Expression -1-: 61 if (dec_i)
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 2 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 2 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
SupportedNumRounds_A | 500 | 500 | 0 | 0 |
SupportedWidths_A | 500 | 500 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 500 | 500 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 500 | 500 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
TOTAL | 43 | 43 | 100.00 | |
ALWAYS | 56 | 7 | 7 | 100.00 |
CONT_ASSIGN | 70 | 1 | 1 | 100.00 |
ALWAYS | 85 | 8 | 8 | 100.00 |
ALWAYS | 114 | 3 | 3 | 100.00 |
ALWAYS | 124 | 3 | 3 | 100.00 |
CONT_ASSIGN | 140 | 1 | 1 | 100.00 |
CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
ALWAYS | 154 | 3 | 3 | 100.00 |
ALWAYS | 173 | 6 | 6 | 100.00 |
CONT_ASSIGN | 183 | 1 | 1 | 100.00 |
CONT_ASSIGN | 190 | 1 | 1 | 100.00 |
CONT_ASSIGN | 197 | 1 | 1 | 100.00 |
CONT_ASSIGN | 202 | 1 | 1 | 100.00 |
ALWAYS | 208 | 3 | 3 | 100.00 |
ALWAYS | 227 | 3 | 3 | 100.00 |
Line No. | Covered | Statements | |
---|---|---|---|
56 | 1 | 1 | |
57 | 1 | 1 | |
58 | 1 | 1 | |
61 | 1 | 1 | |
62 | 1 | 1 | |
63 | 1 | 1 | |
64 | 1 | 1 | |
MISSING_ELSE | |||
70 | 1 | 1 | |
85 | 1 | 1 | |
86 | 1 | 1 | |
87 | 1 | 1 | |
88 | 1 | 1 | |
90 | 1 | 1 | |
91 | 1 | 1 | |
92 | 1 | 1 | |
93 | 1 | 1 | |
MISSING_ELSE | |||
114 | 1 | 1 | |
115 | 1 | 1 | |
116 | 1 | 1 | |
124 | 1 | 1 | |
126 | 1 | 1 | |
127 | 1 | 1 | |
140 | 1 | 1 | |
144 | 1 | 1 | |
154 | 1 | 1 | |
156 | 1 | 1 | |
157 | 1 | 1 | |
173 | 1 | 1 | |
174 | 1 | 1 | |
175 | 1 | 1 | |
177 | 1 | 1 | |
178 | 1 | 1 | |
179 | 1 | 1 | |
MISSING_ELSE | |||
183 | 1 | 1 | |
190 | 1 | 1 | |
197 | 1 | 1 | |
202 | 1 | 1 | |
208 | 1 | 1 | |
210 | 1 | 1 | |
211 | 1 | 1 | |
227 | 1 | 1 | |
229 | 1 | 1 | |
230 | 1 | 1 |
Total | Covered | Percent | |
---|---|---|---|
Conditions | 4 | 4 | 100.00 |
Logical | 4 | 4 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 |
LINE 57 SUB-EXPRESSION (k0[(DataWidth - 1)] ^ k0[1]) ---------1--------- --2--
-1- | -2- | Status | Tests |
---|---|---|---|
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
Total | Covered | Percent | |
---|---|---|---|
Totals | 8 | 8 | 100.00 |
Total Bits | 522 | 522 | 100.00 |
Total Bits 0->1 | 261 | 261 | 100.00 |
Total Bits 1->0 | 261 | 261 | 100.00 |
Ports | 8 | 8 | 100.00 |
Port Bits | 522 | 522 | 100.00 |
Port Bits 0->1 | 261 | 261 | 100.00 |
Port Bits 1->0 | 261 | 261 | 100.00 |
Name | Toggle | Toggle 1->0 | Tests | Toggle 0->1 | Tests | Direction |
clk_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
rst_ni | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
valid_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
data_i[63:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
key_i[127:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
dec_i | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | INPUT |
valid_o | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
data_o[63:0] | Yes | Yes | T1,T2,T3 | Yes | T1,T2,T3 | OUTPUT |
Line No. | Total | Covered | Percent | |
---|---|---|---|---|
Branches | 8 | 8 | 100.00 | |
IF | 61 | 2 | 2 | 100.00 |
IF | 85 | 3 | 3 | 100.00 |
IF | 173 | 3 | 3 | 100.00 |
LineNo. Expression -1-: 61 if (dec_i)
-1- | Status | Tests |
---|---|---|
1 | Covered | T1,T2,T3 |
0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 85 if ((!rst_ni)) -2-: 90 if (valid_i)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
0 | 0 | Covered | T1,T2,T3 |
LineNo. Expression -1-: 173 if ((!rst_ni)) -2-: 178 if (valid_i)
-1- | -2- | Status | Tests |
---|---|---|---|
1 | - | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
0 | 0 | Covered | T1,T2,T3 |
Total | Attempted | Percent | Succeeded/Matched | Percent | |
---|---|---|---|---|---|
Assertions | 2 | 2 | 100.00 | 2 | 100.00 |
Cover properties | 0 | 0 | 0 | ||
Cover sequences | 0 | 0 | 0 | ||
Total | 2 | 2 | 100.00 | 2 | 100.00 |
Name | Attempts | Real Successes | Failures | Incomplete |
SupportedNumRounds_A | 500 | 500 | 0 | 0 |
SupportedWidths_A | 500 | 500 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 500 | 500 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
Name | Attempts | Real Successes | Failures | Incomplete |
---|---|---|---|---|
Total | 500 | 500 | 0 | 0 |
T1 | 1 | 1 | 0 | 0 |
T2 | 1 | 1 | 0 | 0 |
T3 | 1 | 1 | 0 | 0 |
T4 | 1 | 1 | 0 | 0 |
T5 | 1 | 1 | 0 | 0 |
T6 | 1 | 1 | 0 | 0 |
T7 | 1 | 1 | 0 | 0 |
T8 | 1 | 1 | 0 | 0 |
T9 | 1 | 1 | 0 | 0 |
T10 | 1 | 1 | 0 | 0 |
0% | 10% | 20% | 30% | 40% | 50% | 60% | 70% | 80% | 90% | 100% |