Line Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut
| Line No. | Total | Covered | Percent |
TOTAL | | 73 | 73 | 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 |
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 | 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 |
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 | 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 |
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 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' or '../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' was not found, so annotated line coverage report could not be generated.
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 |
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 |
4 |
4 |
144 |
2 |
2 |
146 |
2 |
2 |
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 |
2 |
2 |
199 |
2 |
2 |
202 |
4 |
4 |
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 |
Cond Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut
| 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 |
Toggle Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut
| 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 |
Port Details
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 |
Branch Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut
| 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 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' or '../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 61 if (dec_i)
Branches:
-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)
Branches:
-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)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[3].dut
Assertion Details
SupportedNumRounds_A
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 |
SupportedWidths_A
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 Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut
| Line No. | Total | Covered | Percent |
TOTAL | | 83 | 83 | 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 |
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 |
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 | 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 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' or '../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' was not found, so annotated line coverage report could not be generated.
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 |
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 |
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 |
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 |
Cond Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut
| 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 |
Toggle Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut
| 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 |
Port Details
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 |
Branch Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut
| 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 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv' or '../src/lowrisc_prim_cipher_0/rtl/prim_prince.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 61 if (dec_i)
Branches:
-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)
Branches:
-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)
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T1,T2,T3 |
0 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[4].dut
Assertion Details
SupportedNumRounds_A
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 |
SupportedWidths_A
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 |