Line Coverage for Instance : prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].dut
| Line No. | Total | Covered | Percent |
TOTAL | | 55 | 55 | 100.00 |
ALWAYS | 56 | 7 | 7 | 100.00 |
ALWAYS | 75 | 3 | 3 | 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 |
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 |
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 | 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 |
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 |
75 |
1 |
1 |
77 |
1 |
1 |
78 |
1 |
1 |
|
|
|
MISSING_ELSE |
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 |
140 |
3 |
3 |
144 |
2 |
2 |
146 |
1 |
1 |
154 |
1 |
1 |
156 |
1 |
1 |
157 |
1 |
1 |
186 |
1 |
1 |
187 |
1 |
1 |
190 |
1 |
1 |
197 |
2 |
2 |
199 |
1 |
1 |
202 |
3 |
3 |
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[0].gen_registered_variant[0].gen_duts[2].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[0].gen_registered_variant[0].gen_duts[2].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[0].gen_registered_variant[0].gen_duts[2].dut
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
61 |
2 |
2 |
100.00 |
IF |
77 |
2 |
2 |
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-: 77 if (dec_i)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].gen_duts[2].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[0].gen_registered_variant[0].gen_duts[3].dut
| Line No. | Total | Covered | Percent |
TOTAL | | 65 | 65 | 100.00 |
ALWAYS | 56 | 7 | 7 | 100.00 |
ALWAYS | 75 | 3 | 3 | 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 |
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 |
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 | 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 |
75 |
1 |
1 |
77 |
1 |
1 |
78 |
1 |
1 |
|
|
|
MISSING_ELSE |
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 |
140 |
4 |
4 |
144 |
2 |
2 |
146 |
2 |
2 |
154 |
1 |
1 |
156 |
1 |
1 |
157 |
1 |
1 |
186 |
1 |
1 |
187 |
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[0].gen_registered_variant[0].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[0].gen_registered_variant[0].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[0].gen_registered_variant[0].gen_duts[3].dut
| Line No. | Total | Covered | Percent |
Branches |
|
4 |
4 |
100.00 |
IF |
61 |
2 |
2 |
100.00 |
IF |
77 |
2 |
2 |
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-: 77 if (dec_i)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : prim_prince_tb.gen_new_key_schedule[0].gen_registered_variant[0].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 |