Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : keccak_round
SCORELINECONDTOGGLEFSMBRANCHASSERT
74.39 65.98 100.00 26.67 79.31 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_sha3.u_keccak 77.06 65.98 100.00 40.00 79.31 100.00



Module Instance : tb.dut.u_sha3.u_keccak

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
77.06 65.98 100.00 40.00 79.31 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
81.47 81.77 88.24 100.00 40.00 78.79 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
95.96 97.56 88.89 100.00 93.33 100.00 u_sha3


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_keccak_p 81.25 100.00 75.00 50.00 100.00
u_prim_sec_anchor_buf 100.00 100.00
u_round_count 100.00 100.00
u_state_regs 100.00 100.00 100.00 100.00

Line Coverage for Module : keccak_round
Line No.TotalCoveredPercent
TOTAL976465.98
CONT_ASSIGN17700
ALWAYS18033100.00
ALWAYS186673552.24
CONT_ASSIGN40711100.00
CONT_ASSIGN43911100.00
CONT_ASSIGN45011100.00
ALWAYS46866100.00
CONT_ASSIGN47711100.00
ALWAYS48577100.00
ALWAYS5074375.00
CONT_ASSIGN51811100.00
CONT_ASSIGN54811100.00
CONT_ASSIGN54911100.00
CONT_ASSIGN55100
ALWAYS57533100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
177 unreachable
180 3 3
186 1 1
188 1 1
189 1 1
190 1 1
192 1 1
193 1 1
195 1 1
196 1 1
198 1 1
199 1 1
200 1 1
201 1 1
202 1 1
204 1 1
206 1 1
208 1 1
210 1 1
212 1 1
214 1 1
215 1 1
216 1 1
221 1 1
223 1 1
224 1 1
226 unreachable
229 unreachable
230 unreachable
231 1 1
233 1 1
235 1 1
241 1 1
243 1 1
244 unreachable
246 unreachable
247 unreachable
249 1 1
251 1 1
260 0 1
261 0 1
272 0 1
273 0 1
274 0 1
275 0 1
278 0 1
281 0 1
282 0 1
284 unreachable
292 0 1
293 0 1
301 0 1
304 0 1
307 0 1
308 0 1
317 0 1
318 0 1
327 0 1
333 0 1
336 0 1
339 0 1
342 0 1
343 0 1
352 0 1
353 0 1
361 0 1
363 0 1
365 unreachable
367 unreachable
368 unreachable
371 0 1
373 0 1
376 0 1
377 0 1
382 0 1
387 1 1
388 1 1
400 1 1
401 1 1
MISSING_ELSE
407 1 1
439 1 1
450 1 1
468 1 1
469 1 1
470 1 1
471 1 1
472 1 1
473 1 1
MISSING_ELSE
477 1 1
485 1 1
486 1 1
487 1 1
488 1 1
492 1 1
493 1 1
496 1 1
MISSING_ELSE
507 1 1
509 1 1
511 1 1
513 0 1
MISSING_ELSE
MISSING_ELSE
518 1 1
548 1 1
549 1 1
551 unreachable
575 1 1
576 1 1
578 1 1


Cond Coverage for Module : keccak_round
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       177
 EXPRESSION (int'(round) == (MaxRound - 1))
            ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1UnreachableT1,T2,T3

 LINE       231
 EXPRESSION (((!EnMasking)) && run_i)
             -------1------    --2--
-1--2-StatusTests
-0CoveredT1,T2,T3
-1CoveredT1,T2,T3

 LINE       272
 EXPRESSION (rand_early_i || rand_valid_i)
             ------1-----    ------2-----
-1--2-StatusTests
00Unreachable
01Unreachable
10Unreachable

 LINE       450
 EXPRESSION ((keccak_st == KeccakStIdle) ? 1'b1 : 1'b0)
             -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       450
 SUB-EXPRESSION (keccak_st == KeccakStIdle)
                -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       492
 EXPRESSION (addr_i == i[(DInAddr - 1):0])
            ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

FSM Coverage for Module : keccak_round
Summary for FSM :: keccak_st
TotalCoveredPercent
States 8 3 37.50 (Not included in score)
Transitions 15 4 26.67
Sequences 0 0

State, Transition and Sequence Details for FSM :: keccak_st
statesLine No.CoveredTests
KeccakStActive 233 Covered T1,T2,T3
KeccakStError 382 Not Covered
KeccakStIdle 212 Covered T1,T2,T3
KeccakStPhase1 226 Not Covered
KeccakStPhase2Cycle1 273 Not Covered
KeccakStPhase2Cycle2 304 Not Covered
KeccakStPhase2Cycle3 339 Not Covered
KeccakStTerminalError 401 Covered T4,T5,T6


transitionsLine No.CoveredTests
KeccakStActive->KeccakStIdle 244 Covered T1,T2,T3
KeccakStActive->KeccakStTerminalError 401 Covered T7,T8,T9
KeccakStError->KeccakStTerminalError 401 Not Covered
KeccakStIdle->KeccakStActive 233 Covered T1,T2,T3
KeccakStIdle->KeccakStPhase1 226 Not Covered
KeccakStIdle->KeccakStTerminalError 401 Covered T4,T5,T6
KeccakStPhase1->KeccakStPhase2Cycle1 273 Not Covered
KeccakStPhase1->KeccakStTerminalError 401 Not Covered
KeccakStPhase2Cycle1->KeccakStPhase2Cycle2 304 Not Covered
KeccakStPhase2Cycle1->KeccakStTerminalError 401 Not Covered
KeccakStPhase2Cycle2->KeccakStPhase2Cycle3 339 Not Covered
KeccakStPhase2Cycle2->KeccakStTerminalError 401 Not Covered
KeccakStPhase2Cycle3->KeccakStIdle 365 Not Covered
KeccakStPhase2Cycle3->KeccakStPhase1 371 Not Covered
KeccakStPhase2Cycle3->KeccakStTerminalError 401 Not Covered



Branch Coverage for Module : keccak_round
Line No.TotalCoveredPercent
Branches 29 23 79.31
TERNARY 450 2 2 100.00
IF 180 2 2 100.00
CASE 208 12 7 58.33
IF 400 2 2 100.00
IF 468 4 4 100.00
IF 486 2 2 100.00
IF 509 3 2 66.67
IF 575 2 2 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 450 ((keccak_st == KeccakStIdle)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 180 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 208 case (keccak_st) -2-: 210 if (valid_i) -3-: 216 if (prim_mubi_pkg::mubi4_test_true_strict(clear_i)) -4-: 224 if ((EnMasking && run_i)) -5-: 231 if (((!EnMasking) && run_i)) -6-: 243 if (rnd_eq_end) -7-: 272 if ((rand_early_i || rand_valid_i)) -8-: 363 if (rnd_eq_end)

Branches:
-1--2--3--4--5--6--7--8-StatusTests
KeccakStIdle 1 - - - - - - Covered T1,T2,T3
KeccakStIdle 0 1 - - - - - Covered T1,T2,T3
KeccakStIdle 0 0 1 - - - - Unreachable
KeccakStIdle 0 0 0 1 - - - Covered T1,T2,T3
KeccakStIdle 0 0 0 0 - - - Covered T1,T2,T3
KeccakStActive - - - - 1 - - Unreachable T1,T2,T3
KeccakStActive - - - - 0 - - Covered T1,T2,T3
KeccakStPhase1 - - - - - 1 - Not Covered
KeccakStPhase1 - - - - - 0 - Unreachable
KeccakStPhase2Cycle1 - - - - - - - Not Covered
KeccakStPhase2Cycle2 - - - - - - - Not Covered
KeccakStPhase2Cycle3 - - - - - - 1 Unreachable
KeccakStPhase2Cycle3 - - - - - - 0 Not Covered
KeccakStError - - - - - - - Not Covered
KeccakStTerminalError - - - - - - - Covered T4,T5,T6
default - - - - - - - Covered T10,T11,T12


LineNo. Expression -1-: 400 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T1,T2,T3


LineNo. Expression -1-: 468 if ((!rst_n)) -2-: 470 if (rst_storage) -3-: 472 if (update_storage)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 486 if (xor_message)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 509 if (rst_storage) -2-: 511 if (((keccak_st != KeccakStIdle) || prim_mubi_pkg::mubi4_test_false_loose(clear_i)))

Branches:
-1--2-StatusTests
1 1 Not Covered
1 0 Covered T1,T2,T3
0 - Covered T1,T2,T3


LineNo. Expression -1-: 575 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Module : keccak_round
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
ClearAssertStIdle_A 2147483647 347560 0 0
OneHot0ValidAndRun_A 2147483647 2147483647 0 0
ValidRunAssertStIdle_A 2147483647 56792281 0 0
WidthDivisableByDInWidth_A 1030 1030 0 0
gen_unmask_st_chk.UnmaskValidStates_A 2147483647 2147483647 0 0
u_state_regs_A 2147483647 2147483647 0 0


ClearAssertStIdle_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 347560 0 0
T1 361902 66 0 0
T2 16862 9 0 0
T3 25466 4 0 0
T4 3679 0 0 0
T5 4212 0 0 0
T13 334297 116 0 0
T14 158447 61 0 0
T15 22560 9 0 0
T16 208700 16 0 0
T17 42083 82 0 0
T18 0 293 0 0
T19 0 310 0 0

OneHot0ValidAndRun_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

ValidRunAssertStIdle_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 56792281 0 0
T1 361902 7045 0 0
T2 16862 638 0 0
T3 25466 216 0 0
T4 3679 41 0 0
T5 4212 1 0 0
T13 334297 22887 0 0
T14 158447 7398 0 0
T15 22560 638 0 0
T16 208700 12192 0 0
T17 42083 4121 0 0

WidthDivisableByDInWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1030 1030 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
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0

gen_unmask_st_chk.UnmaskValidStates_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

Line Coverage for Instance : tb.dut.u_sha3.u_keccak
Line No.TotalCoveredPercent
TOTAL976465.98
CONT_ASSIGN17700
ALWAYS18033100.00
ALWAYS186673552.24
CONT_ASSIGN40711100.00
CONT_ASSIGN43911100.00
CONT_ASSIGN45011100.00
ALWAYS46866100.00
CONT_ASSIGN47711100.00
ALWAYS48577100.00
ALWAYS5074375.00
CONT_ASSIGN51811100.00
CONT_ASSIGN54811100.00
CONT_ASSIGN54911100.00
CONT_ASSIGN55100
ALWAYS57533100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
177 unreachable
180 3 3
186 1 1
188 1 1
189 1 1
190 1 1
192 1 1
193 1 1
195 1 1
196 1 1
198 1 1
199 1 1
200 1 1
201 1 1
202 1 1
204 1 1
206 1 1
208 1 1
210 1 1
212 1 1
214 1 1
215 1 1
216 1 1
221 1 1
223 1 1
224 1 1
226 unreachable
229 unreachable
230 unreachable
231 1 1
233 1 1
235 1 1
241 1 1
243 1 1
244 unreachable
246 unreachable
247 unreachable
249 1 1
251 1 1
260 0 1
261 0 1
272 0 1
273 0 1
274 0 1
275 0 1
278 0 1
281 0 1
282 0 1
284 unreachable
292 0 1
293 0 1
301 0 1
304 0 1
307 0 1
308 0 1
317 0 1
318 0 1
327 0 1
333 0 1
336 0 1
339 0 1
342 0 1
343 0 1
352 0 1
353 0 1
361 0 1
363 0 1
365 unreachable
367 unreachable
368 unreachable
371 0 1
373 0 1
376 0 1
377 0 1
382 0 1
387 1 1
388 1 1
400 1 1
401 1 1
MISSING_ELSE
407 1 1
439 1 1
450 1 1
468 1 1
469 1 1
470 1 1
471 1 1
472 1 1
473 1 1
MISSING_ELSE
477 1 1
485 1 1
486 1 1
487 1 1
488 1 1
492 1 1
493 1 1
496 1 1
MISSING_ELSE
507 1 1
509 1 1
511 1 1
513 0 1
MISSING_ELSE
MISSING_ELSE
518 1 1
548 1 1
549 1 1
551 unreachable
575 1 1
576 1 1
578 1 1


Cond Coverage for Instance : tb.dut.u_sha3.u_keccak
TotalCoveredPercent
Conditions99100.00
Logical99100.00
Non-Logical00
Event00

 LINE       177
 EXPRESSION (int'(round) == (MaxRound - 1))
            ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1UnreachableT1,T2,T3

 LINE       231
 EXPRESSION (((!EnMasking)) && run_i)
             -------1------    --2--
-1--2-StatusTests
-0CoveredT1,T2,T3
-1CoveredT1,T2,T3

 LINE       272
 EXPRESSION (rand_early_i || rand_valid_i)
             ------1-----    ------2-----
-1--2-StatusTests
00Unreachable
01Unreachable
10Unreachable

 LINE       450
 EXPRESSION ((keccak_st == KeccakStIdle) ? 1'b1 : 1'b0)
             -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       450
 SUB-EXPRESSION (keccak_st == KeccakStIdle)
                -------------1-------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       492
 EXPRESSION (addr_i == i[(DInAddr - 1):0])
            ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

FSM Coverage for Instance : tb.dut.u_sha3.u_keccak
Summary for FSM :: keccak_st
TotalCoveredPercent
States 8 3 37.50 (Not included in score)
Transitions 10 4 40.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: keccak_st
statesLine No.CoveredTests
KeccakStActive 233 Covered T1,T2,T3
KeccakStError 382 Excluded
KeccakStIdle 212 Covered T1,T2,T3
KeccakStPhase1 226 Not Covered
KeccakStPhase2Cycle1 273 Not Covered
KeccakStPhase2Cycle2 304 Not Covered
KeccakStPhase2Cycle3 339 Not Covered
KeccakStTerminalError 401 Covered T4,T5,T6


transitionsLine No.CoveredTestsExclude Annotation
KeccakStActive->KeccakStIdle 244 Covered T1,T2,T3
KeccakStActive->KeccakStTerminalError 401 Covered T7,T8,T9
KeccakStError->KeccakStTerminalError 401 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStIdle->KeccakStActive 233 Covered T1,T2,T3
KeccakStIdle->KeccakStPhase1 226 Not Covered
KeccakStIdle->KeccakStTerminalError 401 Covered T4,T5,T6
KeccakStPhase1->KeccakStPhase2Cycle1 273 Not Covered
KeccakStPhase1->KeccakStTerminalError 401 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle1->KeccakStPhase2Cycle2 304 Not Covered
KeccakStPhase2Cycle1->KeccakStTerminalError 401 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle2->KeccakStPhase2Cycle3 339 Not Covered
KeccakStPhase2Cycle2->KeccakStTerminalError 401 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
KeccakStPhase2Cycle3->KeccakStIdle 365 Not Covered
KeccakStPhase2Cycle3->KeccakStPhase1 371 Not Covered
KeccakStPhase2Cycle3->KeccakStTerminalError 401 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.



Branch Coverage for Instance : tb.dut.u_sha3.u_keccak
Line No.TotalCoveredPercent
Branches 29 23 79.31
TERNARY 450 2 2 100.00
IF 180 2 2 100.00
CASE 208 12 7 58.33
IF 400 2 2 100.00
IF 468 4 4 100.00
IF 486 2 2 100.00
IF 509 3 2 66.67
IF 575 2 2 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/keccak_round.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 450 ((keccak_st == KeccakStIdle)) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 180 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 208 case (keccak_st) -2-: 210 if (valid_i) -3-: 216 if (prim_mubi_pkg::mubi4_test_true_strict(clear_i)) -4-: 224 if ((EnMasking && run_i)) -5-: 231 if (((!EnMasking) && run_i)) -6-: 243 if (rnd_eq_end) -7-: 272 if ((rand_early_i || rand_valid_i)) -8-: 363 if (rnd_eq_end)

Branches:
-1--2--3--4--5--6--7--8-StatusTests
KeccakStIdle 1 - - - - - - Covered T1,T2,T3
KeccakStIdle 0 1 - - - - - Covered T1,T2,T3
KeccakStIdle 0 0 1 - - - - Unreachable
KeccakStIdle 0 0 0 1 - - - Covered T1,T2,T3
KeccakStIdle 0 0 0 0 - - - Covered T1,T2,T3
KeccakStActive - - - - 1 - - Unreachable T1,T2,T3
KeccakStActive - - - - 0 - - Covered T1,T2,T3
KeccakStPhase1 - - - - - 1 - Not Covered
KeccakStPhase1 - - - - - 0 - Unreachable
KeccakStPhase2Cycle1 - - - - - - - Not Covered
KeccakStPhase2Cycle2 - - - - - - - Not Covered
KeccakStPhase2Cycle3 - - - - - - 1 Unreachable
KeccakStPhase2Cycle3 - - - - - - 0 Not Covered
KeccakStError - - - - - - - Not Covered
KeccakStTerminalError - - - - - - - Covered T4,T5,T6
default - - - - - - - Covered T10,T11,T12


LineNo. Expression -1-: 400 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T1,T2,T3


LineNo. Expression -1-: 468 if ((!rst_n)) -2-: 470 if (rst_storage) -3-: 472 if (update_storage)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 486 if (xor_message)

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 509 if (rst_storage) -2-: 511 if (((keccak_st != KeccakStIdle) || prim_mubi_pkg::mubi4_test_false_loose(clear_i)))

Branches:
-1--2-StatusTests
1 1 Not Covered
1 0 Covered T1,T2,T3
0 - Covered T1,T2,T3


LineNo. Expression -1-: 575 if ((!rst_ni))

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


Assert Coverage for Instance : tb.dut.u_sha3.u_keccak
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 6 6 100.00 6 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 6 6 100.00 6 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
ClearAssertStIdle_A 2147483647 347560 0 0
OneHot0ValidAndRun_A 2147483647 2147483647 0 0
ValidRunAssertStIdle_A 2147483647 56792281 0 0
WidthDivisableByDInWidth_A 1030 1030 0 0
gen_unmask_st_chk.UnmaskValidStates_A 2147483647 2147483647 0 0
u_state_regs_A 2147483647 2147483647 0 0


ClearAssertStIdle_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 347560 0 0
T1 361902 66 0 0
T2 16862 9 0 0
T3 25466 4 0 0
T4 3679 0 0 0
T5 4212 0 0 0
T13 334297 116 0 0
T14 158447 61 0 0
T15 22560 9 0 0
T16 208700 16 0 0
T17 42083 82 0 0
T18 0 293 0 0
T19 0 310 0 0

OneHot0ValidAndRun_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

ValidRunAssertStIdle_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 56792281 0 0
T1 361902 7045 0 0
T2 16862 638 0 0
T3 25466 216 0 0
T4 3679 41 0 0
T5 4212 1 0 0
T13 334297 22887 0 0
T14 158447 7398 0 0
T15 22560 638 0 0
T16 208700 12192 0 0
T17 42083 4121 0 0

WidthDivisableByDInWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1030 1030 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
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0

gen_unmask_st_chk.UnmaskValidStates_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 361902 361832 0 0
T2 16862 16787 0 0
T3 25466 25373 0 0
T4 3679 3552 0 0
T5 4212 4023 0 0
T13 334297 334285 0 0
T14 158447 158347 0 0
T15 22560 22487 0 0
T16 208700 208631 0 0
T17 42083 42016 0 0

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%