dashboard | hierarchy | modlist | groups | tests | asserts

Module Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
prim_prince_tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
prim_prince_tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Go back
Module Instances:
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut
prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut
Line Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut
Line No.TotalCoveredPercent
TOTAL7373100.00
ALWAYS5677100.00
CONT_ASSIGN7011100.00
CONT_ASSIGN9911100.00
CONT_ASSIGN10011100.00
CONT_ASSIGN10111100.00
ALWAYS11433100.00
ALWAYS12433100.00
ALWAYS12433100.00
ALWAYS12433100.00
ALWAYS12433100.00
ALWAYS12433100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14611100.00
CONT_ASSIGN14611100.00
ALWAYS15433100.00
CONT_ASSIGN18611100.00
CONT_ASSIGN18711100.00
CONT_ASSIGN19011100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN19911100.00
CONT_ASSIGN19911100.00
CONT_ASSIGN20211100.00
CONT_ASSIGN20211100.00
CONT_ASSIGN20211100.00
CONT_ASSIGN20211100.00
CONT_ASSIGN20211100.00
ALWAYS20833100.00
ALWAYS20833100.00
ALWAYS20833100.00
ALWAYS20833100.00
ALWAYS20833100.00
ALWAYS22733100.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.CoveredStatements
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


Cond Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut
TotalCoveredPercent
Conditions44100.00
Logical44100.00
Non-Logical00
Event00

 LINE       57
 SUB-EXPRESSION (k0[(DataWidth - 1)] ^ k0[1])
                 ---------1---------   --2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Toggle Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut
TotalCoveredPercent
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
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
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[0].gen_duts[4].dut
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 61 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-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[0].gen_duts[4].dut
TotalAttemptedPercentSucceeded/MatchedPercent
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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SupportedNumRounds_A 500 500 0 0
SupportedWidths_A 500 500 0 0


SupportedNumRounds_A
NameAttemptsReal SuccessesFailuresIncomplete
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
NameAttemptsReal SuccessesFailuresIncomplete
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[0].dut
Line No.TotalCoveredPercent
TOTAL4343100.00
ALWAYS5677100.00
CONT_ASSIGN7011100.00
ALWAYS8588100.00
ALWAYS11433100.00
ALWAYS12433100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN14411100.00
ALWAYS15433100.00
ALWAYS17366100.00
CONT_ASSIGN18311100.00
CONT_ASSIGN19011100.00
CONT_ASSIGN19711100.00
CONT_ASSIGN20211100.00
ALWAYS20833100.00
ALWAYS22733100.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.CoveredStatements
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


Cond Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut
TotalCoveredPercent
Conditions44100.00
Logical44100.00
Non-Logical00
Event00

 LINE       57
 SUB-EXPRESSION (k0[(DataWidth - 1)] ^ k0[1])
                 ---------1---------   --2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Toggle Coverage for Instance : prim_prince_tb.gen_new_key_schedule[1].gen_registered_variant[1].gen_duts[0].dut
TotalCoveredPercent
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
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
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[0].dut
Line No.TotalCoveredPercent
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-StatusTests
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-StatusTests
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-StatusTests
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[0].dut
TotalAttemptedPercentSucceeded/MatchedPercent
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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
SupportedNumRounds_A 500 500 0 0
SupportedWidths_A 500 500 0 0


SupportedNumRounds_A
NameAttemptsReal SuccessesFailuresIncomplete
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
NameAttemptsReal SuccessesFailuresIncomplete
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%