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

Module : kmac
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.56 98.77 96.05 100.00 100.00 96.55 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 98.56 98.77 96.05 100.00 100.00 96.55 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.56 98.77 96.05 100.00 100.00 96.55 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.77 98.38 93.15 99.93 94.55 96.04 98.58


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 100.00 100.00
gen_alert_tx[1].u_prim_alert_sender 100.00 100.00
gen_entropy.u_entropy 99.29 100.00 95.74 100.00 100.00 100.00 100.00
gen_entropy.u_prim_sync_reqack_data 95.83 100.00 83.33 100.00 100.00
intr_fifo_empty 93.75 100.00 75.00 100.00 100.00
intr_kmac_done 93.75 100.00 75.00 100.00 100.00
intr_kmac_err 93.75 100.00 75.00 100.00 100.00
kmac_csr_assert 100.00 100.00
sha3pad_assert_cov_if 100.00 100.00
tlul_assert_device 99.77 100.00 100.00 99.30
u_app_intf 97.42 97.45 90.82 100.00 98.82 100.00
u_errchk 94.60 95.06 94.59 90.00 93.33 100.00
u_kmac_core 95.80 98.88 92.86 100.00 100.00 91.38 91.67
u_msgfifo 97.32 100.00 95.16 94.52 100.00 94.23 100.00
u_prim_lc_sync 100.00 100.00 100.00 100.00
u_reg 99.00 99.41 96.63 100.00 98.94 100.00
u_sha3 96.50 98.83 95.67 100.00 88.10 96.40 100.00
u_sha3_done_sender 100.00 100.00 100.00 100.00
u_state_regs 100.00 100.00 100.00 100.00
u_staterd 89.71 89.72 80.83 88.30 100.00
u_tlul_adapter_msgfifo 79.67 86.78 73.83 76.83 81.25


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : kmac
Line No.TotalCoveredPercent
TOTAL16316198.77
ALWAYS34600
ALWAYS34622100.00
ALWAYS352100.00
CONT_ASSIGN42111100.00
CONT_ASSIGN42211100.00
CONT_ASSIGN42611100.00
ALWAYS42999100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46511100.00
CONT_ASSIGN46611100.00
CONT_ASSIGN46911100.00
CONT_ASSIGN47311100.00
CONT_ASSIGN47411100.00
CONT_ASSIGN47811100.00
CONT_ASSIGN48111100.00
ALWAYS48866100.00
ALWAYS50166100.00
CONT_ASSIGN51811100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52811100.00
CONT_ASSIGN52911100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53711100.00
CONT_ASSIGN53911100.00
CONT_ASSIGN54111100.00
CONT_ASSIGN54511100.00
CONT_ASSIGN54711100.00
CONT_ASSIGN54811100.00
CONT_ASSIGN55111100.00
CONT_ASSIGN55211100.00
CONT_ASSIGN55511100.00
ALWAYS56355100.00
CONT_ASSIGN57311100.00
CONT_ASSIGN58011100.00
CONT_ASSIGN58111100.00
CONT_ASSIGN58211100.00
CONT_ASSIGN59211100.00
ALWAYS61233100.00
CONT_ASSIGN61611100.00
CONT_ASSIGN63511100.00
CONT_ASSIGN64011100.00
ALWAYS64377100.00
CONT_ASSIGN67911100.00
CONT_ASSIGN68411100.00
CONT_ASSIGN69111100.00
CONT_ASSIGN70111100.00
ALWAYS72133100.00
ALWAYS7252828100.00
ALWAYS86333100.00
CONT_ASSIGN87111100.00
CONT_ASSIGN87111100.00
CONT_ASSIGN94211100.00
CONT_ASSIGN94411100.00
CONT_ASSIGN97411100.00
CONT_ASSIGN97911100.00
CONT_ASSIGN98011100.00
CONT_ASSIGN98211100.00
CONT_ASSIGN98500
ALWAYS110300
ALWAYS110322100.00
CONT_ASSIGN118911100.00
CONT_ASSIGN133111100.00
CONT_ASSIGN134511100.00
CONT_ASSIGN135211100.00
CONT_ASSIGN135711100.00
ALWAYS13636583.33
CONT_ASSIGN137211100.00
CONT_ASSIGN137411100.00
ALWAYS138644100.00
CONT_ASSIGN139211100.00
ALWAYS141544100.00
ALWAYS142533100.00
CONT_ASSIGN143611100.00
CONT_ASSIGN144011100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN144211100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
346 1 1
347 1 1
352 0 1
421 1 1
422 1 1
426 1 1
429 1 1
430 1 1
431 1 1
432 1 1
434 1 1
436 1 1
440 1 1
444 1 1
448 1 1
464 1 1
465 1 1
466 1 1
469 1 1
473 1 1
474 1 1
478 1 1
481 1 1
488 1 1
489 1 1
490 1 1
491 1 1
492 1 1
493 1 1
MISSING_ELSE
MISSING_ELSE
501 1 1
502 1 1
503 1 1
504 1 1
505 1 1
506 1 1
MISSING_ELSE
MISSING_ELSE
518 1 1
525 1 1
528 1 1
529 1 1
530 1 1
533 5 5
534 5 5
537 1 1
539 1 1
541 1 1
545 1 1
547 1 1
548 1 1
551 1 1
552 1 1
555 1 1
563 1 1
564 1 1
565 1 1
566 1 1
568 1 1
573 1 1
580 1 1
581 1 1
582 1 1
592 1 1
612 2 2
613 1 1
616 1 1
635 1 1
640 1 1
643 1 1
645 1 1
650 1 1
654 1 1
658 1 1
662 1 1
666 1 1
679 1 1
684 1 1
691 1 1
701 1 1
721 3 3
725 1 1
727 1 1
728 1 1
730 1 1
732 1 1
734 1 1
735 1 1
738 1 1
741 1 1
747 1 1
748 1 1
750 1 1
755 1 1
756 1 1
757 1 1
759 1 1
765 1 1
770 1 1
771 1 1
773 1 1
775 1 1
781 1 1
782 1 1
784 1 1
790 1 1
791 1 1
803 1 1
804 1 1
MISSING_ELSE
863 1 1
864 1 1
866 1 1
871 2 2
942 1 1
944 1 1
974 1 1
979 1 1
980 1 1
982 1 1
985 unreachable
1103 1 1
1104 1 1
1189 1 1
1331 1 1
1345 1 1
1352 1 1
1357 1 1
1363 1 1
1364 1 1
1365 1 1
1366 0 1
1367 1 1
1368 1 1
MISSING_ELSE
1372 1 1
1374 1 1
1386 1 1
1387 1 1
1388 1 1
1389 1 1
MISSING_ELSE
1392 1 1
1415 1 1
1416 1 1
1417 1 1
1419 1 1
MISSING_ELSE
1425 1 1
1426 1 1
1429 1 1
1436 1 1
1440 1 1
1442 6 6


Cond Coverage for Module : kmac
TotalCoveredPercent
Conditions767396.05
Logical767396.05
Non-Logical00
Event00

 LINE       426
 EXPRESSION (cmd_update ? cmd_q : CmdNone)
             -----1----
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       464
 EXPRESSION (sha3_fsm == StIdle)
            ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       465
 EXPRESSION (sha3_fsm == StAbsorb)
            -----------1----------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       466
 EXPRESSION (sha3_fsm == StSqueeze)
            -----------1-----------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       478
 EXPRESSION (sha3_fsm == StIdle)
            ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       530
 EXPRESSION (reg2hw.cmd.entropy_req.q && reg2hw.cmd.entropy_req.qe)
             ------------1-----------    ------------2------------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T5,T6
11CoveredT5,T23,T28

 LINE       541
 EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
             -------------1------------    ------------2------------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T5,T6
11CoveredT5,T23,T28

 LINE       545
 EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT26,T37,T38
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       552
 EXPRESSION (cfg_msg_mask & msg_valid & msg_ready)
             ------1-----   ----2----   ----3----
-1--2--3-StatusTests
011CoveredT4,T5,T6
101CoveredT4,T5,T6
110CoveredT4,T5,T6
111CoveredT4,T5,T6

 LINE       565
 EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
             ----------1---------    ------------------2------------------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT7,T9
11CoveredT4,T5,T6

 LINE       565
 SUB-EXPRESSION (sha3_fsm == StIdle)
                ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       565
 SUB-EXPRESSION (msgfifo_empty || SecIdleAcceptSwMsg)
                 ------1------    ---------2--------
-1--2-StatusTests
0-CoveredT4,T5,T6
1-CoveredT4,T5,T6

 LINE       573
 EXPRESSION (reg2hw.cfg_shadowed.err_processed.q & reg2hw.cfg_shadowed.err_processed.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT26,T37,T38
11CoveredT26,T37,T38

 LINE       616
 EXPRESSION (((~msgfifo_empty_q)) & msgfifo_empty)
             ----------1---------   ------2------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T5,T6
11CoveredT4,T5,T6

 LINE       635
 EXPRESSION (sha3_err.valid | app_err.valid | entropy_err.valid | errchecker_err.valid)
             -------1------   ------2------   --------3--------   ----------4---------
-1--2--3--4-StatusTests
0000CoveredT4,T5,T6
0001CoveredT45,T50,T51
0010CoveredT61,T64,T65
0100CoveredT26,T10,T37
1000CoveredT4,T13,T14

 LINE       679
 EXPRESSION (sha3_count_error | kmac_entropy_hash_counter_error | key_index_error | msgfifo_counter_error)
             --------1-------   ---------------2---------------   -------3-------   ----------4----------
-1--2--3--4-StatusTests
0000CoveredT4,T5,T6
0001CoveredT7,T8,T9
0010CoveredT7,T8,T9
0100CoveredT7,T8,T9
1000CoveredT7,T8,T9

 LINE       691
 EXPRESSION (sha3_state_error | kmac_errchk_state_error | kmac_core_state_error | kmac_app_state_error | kmac_entropy_state_error | kmac_state_error)
             --------1-------   -----------2-----------   ----------3----------   ----------4---------   ------------5-----------   --------6-------
-1--2--3--4--5--6-StatusTests
000000CoveredT4,T5,T6
000001CoveredT7,T8,T9
000010CoveredT7,T8,T9
000100CoveredT7,T8,T9
001000CoveredT7,T8,T9
010000CoveredT7,T8,T9
100000CoveredT7,T8,T9

 LINE       732
 EXPRESSION (kmac_cmd == CmdStart)
            -----------1----------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       734
 EXPRESSION (CShake == app_sha3_mode)
            ------------1------------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       748
 EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
             -----1-----
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       974
 EXPRESSION (tlram_req & tlram_we)
             ----1----   ----2---
-1--2-StatusTests
01CoveredT4,T5,T6
10Not Covered
11CoveredT4,T5,T6

 LINE       1104
 EXPRESSION (reg_state_valid ? reg_state[i] : 'b0)
             -------1-------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT4,T5,T6

 LINE       1345
 SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
                 -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT85,T86,T87
10CoveredT4,T5,T6
11CoveredT85,T86,T87

 LINE       1345
 SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
                 -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT85,T86,T87
10CoveredT4,T5,T6
11CoveredT85,T86,T87

 LINE       1374
 EXPRESSION (shadowed_storage_err | alert_intg_err | sparse_fsm_error | counter_error | control_integrity_error)
             ----------1---------   -------2------   --------3-------   ------4------   -----------5-----------
-1--2--3--4--5-StatusTests
00000CoveredT4,T5,T6
00001Not Covered
00010CoveredT7,T8,T9
00100CoveredT10,T11,T12
01000CoveredT7,T8,T9
10000Not Covered

Toggle Coverage for Module : kmac
TotalCoveredPercent
Totals 71 71 100.00
Total Bits 6534 6534 100.00
Total Bits 0->1 3267 3267 100.00
Total Bits 1->0 3267 3267 100.00

Ports 71 71 100.00
Port Bits 6534 6534 100.00
Port Bits 0->1 3267 3267 100.00
Port Bits 1->0 3267 3267 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 T2,T3,T52 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T2,T3,T52 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T2,T3,T52 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.instr_type[3:0] Yes Yes T53,T57,T4 Yes T53,T57,T4 INPUT
tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_mask[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_address[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_source[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_error Yes Yes T52,T53,T56 Yes T52,T53,T56 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_user.rsp_intg[5:0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_rx_i[0].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[0].ack_p Yes Yes T1,T53,T55 Yes T1,T53,T55 INPUT
alert_rx_i[0].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[1].ack_p Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[1].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o[0].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[0].alert_p Yes Yes T1,T53,T55 Yes T1,T53,T55 OUTPUT
alert_tx_o[1].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[1].alert_p Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
keymgr_key_i.key[0][4:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][5] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][7:6] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][8] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][10:9] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][12:11] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][13] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][14] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][17:15] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][18] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][25:19] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][26] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][30:27] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][31] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][39:32] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][40] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][45:41] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][46] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][82:47] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][83] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][85:84] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][86] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][91:87] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][92] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][97:93] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][98] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][101:99] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][102] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][121:103] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][122] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][151:123] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][152] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][154:153] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][156:155] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][161:157] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][162] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][185:163] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][186] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][194:187] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][195] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][205:196] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][206] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][234:207] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][235] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][237:236] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][238] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[0][255:239] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][22:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][23] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][26:24] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][27] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][32:28] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][33] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][68:34] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][69] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][72:70] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][73] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][137:74] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][138] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][186:139] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][187] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][206:188] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][207] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][213:208] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][214] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][220:215] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][221] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][224:222] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][225] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][240:226] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][241] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][246:242] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][247] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.key[1][255:248] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
keymgr_key_i.valid Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[0].last Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[0].strb[7:0] Yes Yes T4,T5,T23 Yes T4,T5,T23 INPUT
app_i[0].data[63:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[0].valid Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[1].last Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[1].strb[7:0] Yes Yes T4,T5,T23 Yes T4,T5,T23 INPUT
app_i[1].data[63:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[1].valid Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[2].last Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[2].strb[7:0] Yes Yes T4,T5,T23 Yes T4,T5,T23 INPUT
app_i[2].data[63:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_i[2].valid Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
app_o[0].error Yes Yes T3,T53,T56 Yes T3,T53,T56 OUTPUT
app_o[0].digest_share1[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[0].digest_share0[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[0].done Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[0].ready Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[1].error Yes Yes T13,T14,T15 Yes T13,T14,T15 OUTPUT
app_o[1].digest_share1[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[1].digest_share0[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[1].done Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[1].ready Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[2].error Yes Yes T4,T13,T14 Yes T4,T13,T14 OUTPUT
app_o[2].digest_share1[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[2].digest_share0[383:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[2].done Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
app_o[2].ready Yes Yes T4,T5,T6 Yes T4,T5,T6 OUTPUT
entropy_o.edn_req Yes Yes T4,T5,T22 Yes T4,T5,T22 OUTPUT
entropy_i.edn_bus[31:0] Yes Yes T4,T5,T22 Yes T4,T5,T22 INPUT
entropy_i.edn_fips Yes Yes T4,T5,T22 Yes T4,T5,T22 INPUT
entropy_i.edn_ack Yes Yes T4,T5,T22 Yes T4,T5,T22 INPUT
lc_escalate_en_i[3:0] Yes Yes T11,T12,T88 Yes T11,T12,T88 INPUT
intr_kmac_done_o Yes Yes T58,T4,T5 Yes T58,T4,T5 OUTPUT
intr_fifo_empty_o Yes Yes T54,T58,T4 Yes T54,T58,T4 OUTPUT
intr_kmac_err_o Yes Yes T2,T53,T54 Yes T2,T53,T54 OUTPUT
en_masking_o Unreachable Unreachable Unreachable OUTPUT
idle_o[3:0] Yes Yes T3,T53,T56 Yes T3,T53,T56 OUTPUT

*Tests covering at least one bit in the range

FSM Coverage for Module : kmac
Summary for FSM :: kmac_st
TotalCoveredPercent
States 6 6 100.00 (Not included in score)
Transitions 13 13 100.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: kmac_st
statesLine No.CoveredTests
KmacDigest 773 Covered T1
KmacIdle 741 Covered T1
KmacKeyBlock 748 Covered T1
KmacMsgFeed 738 Covered T1
KmacPrefix 735 Covered T1
KmacTerminalError 790 Covered T1


transitionsLine No.CoveredTests
KmacDigest->KmacIdle 782 Covered T1
KmacDigest->KmacTerminalError 804 Covered T1
KmacIdle->KmacMsgFeed 738 Covered T1
KmacIdle->KmacPrefix 735 Covered T1
KmacIdle->KmacTerminalError 804 Covered T1
KmacKeyBlock->KmacMsgFeed 757 Covered T1
KmacKeyBlock->KmacTerminalError 804 Covered T1
KmacMsgFeed->KmacDigest 773 Covered T1
KmacMsgFeed->KmacIdle 770 Covered T1
KmacMsgFeed->KmacTerminalError 804 Covered T1
KmacPrefix->KmacKeyBlock 748 Covered T1
KmacPrefix->KmacMsgFeed 748 Covered T1
KmacPrefix->KmacTerminalError 804 Covered T1



Branch Coverage for Module : kmac
Line No.TotalCoveredPercent
Branches 58 56 96.55
TERNARY 426 2 2 100.00
CASE 434 6 5 83.33
IF 488 3 3 100.00
IF 563 3 3 100.00
IF 612 2 2 100.00
CASE 645 6 6 100.00
IF 721 2 2 100.00
CASE 730 15 15 100.00
IF 803 2 2 100.00
TERNARY 1104 2 2 100.00
IF 1363 4 3 75.00
IF 1386 3 3 100.00
IF 1415 3 3 100.00
IF 1425 2 2 100.00
IF 501 3 3 100.00

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

LineNo. Expression -1-: 426 (cmd_update) ?

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 434 case (kmac_cmd)

Branches:
-1-StatusTests
CmdStart Covered T4,T5,T6
CmdProcess Covered T4,T5,T6
CmdManualRun Covered T4,T5,T6
CmdDone Covered T4,T5,T6
CmdNone Covered T4,T5,T6
default Not Covered


LineNo. Expression -1-: 488 if ((!rst_ni)) -2-: 490 if (engine_stable)

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T4,T5,T6
0 0 Covered T4,T5,T6


LineNo. Expression -1-: 563 if ((!rst_ni)) -2-: 565 if (((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg)))

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T4,T5,T6
0 0 Covered T4,T5,T6


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

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 645 case (1'b1)

Branches:
-1-StatusTests
app_err.valid Covered T26,T10,T37
errchecker_err.valid Covered T45,T50,T51
sha3_err.valid Covered T4,T13,T14
entropy_err.valid Covered T61,T64,T65
msgfifo_err.valid Covered T7,T8,T9
default Covered T4,T5,T6


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

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 730 case (kmac_st) -2-: 732 if ((kmac_cmd == CmdStart)) -3-: 734 if ((CShake == app_sha3_mode)) -4-: 747 if (sha3_block_processed) -5-: 748 (app_kmac_en) ? -6-: 756 if (sha3_block_processed) -7-: 765 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done))) -8-: 771 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done))) -9-: 781 if (prim_mubi_pkg::mubi4_test_true_strict(sha3_done))

Branches:
-1--2--3--4--5--6--7--8--9-StatusTests
KmacIdle 1 1 - - - - - - Covered T4,T5,T6
KmacIdle 1 0 - - - - - - Covered T4,T5,T6
KmacIdle 0 - - - - - - - Covered T4,T5,T6
KmacPrefix - - 1 1 - - - - Covered T4,T5,T6
KmacPrefix - - 1 0 - - - - Covered T4,T5,T6
KmacPrefix - - 0 - - - - - Covered T4,T5,T6
KmacKeyBlock - - - - 1 - - - Covered T4,T5,T6
KmacKeyBlock - - - - 0 - - - Covered T4,T5,T6
KmacMsgFeed - - - - - 1 - - Covered T4,T5,T6
KmacMsgFeed - - - - - 0 1 - Covered T4,T5,T6
KmacMsgFeed - - - - - 0 0 - Covered T4,T5,T6
KmacDigest - - - - - - - 1 Covered T4,T5,T6
KmacDigest - - - - - - - 0 Covered T4,T5,T6
KmacTerminalError - - - - - - - - Covered T10,T11,T12
default - - - - - - - - Covered T7,T8,T9


LineNo. Expression -1-: 803 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en[0]))

Branches:
-1-StatusTests
1 Covered T10,T11,T12
0 Covered T4,T5,T6


LineNo. Expression -1-: 1104 (reg_state_valid) ?

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 1363 if ((!rst_ni)) -2-: 1365 if (alert_recov_operation) -3-: 1367 if (err_processed)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Not Covered
0 0 1 Covered T26,T37,T38
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 1386 if ((!rst_ni)) -2-: 1388 if (alert_fatal)

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T10,T11,T12
0 0 Covered T4,T5,T6


LineNo. Expression -1-: 1415 if ((!rst_ni)) -2-: 1417 if (alerts[1])

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T10,T11,T12
0 0 Covered T4,T5,T6


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

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6


LineNo. Expression -1-: 501 if ((!rst_ni)) -2-: 503 if (engine_stable)

Branches:
-1--2-StatusTests
1 - Covered T4,T5,T6
0 1 Covered T4,T5,T6
0 0 Covered T4,T5,T6


Assert Coverage for Module : kmac
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 36 36 100.00 36 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 36 36 100.00 36 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 2147483647 2147483647 0 0
CmdSparse_M 2147483647 1311655 0 0
EnMaskingKnown_A 2147483647 2147483647 0 0
EntropyReadyLatched_A 2147483647 343591 0 0
EntrySizeRegSameToEntrySizePkg_A 1050 1050 0 0
ErrProcessedLatched_A 2147483647 766 0 0
FifoEmpty_A 2147483647 2147483647 0 0
FpvSecCmErrorCheckFsmCheck_A 2147483647 80 0 0
FpvSecCmKeccackFsmCheck_A 2147483647 80 0 0
FpvSecCmKeyIndexCountCheck_A 2147483647 80 0 0
FpvSecCmKmacAppFsmCheck_A 2147483647 80 0 0
FpvSecCmKmacCoreFsmCheck_A 2147483647 80 0 0
FpvSecCmKmacFsmCheck_A 2147483647 80 0 0
FpvSecCmRegWeOnehotCheck_A 2147483647 80 0 0
FpvSecCmRoundCountCheck_A 2147483647 80 0 0
FpvSecCmSHA3FsmCheck_A 2147483647 80 0 0
FpvSecCmSHA3padFsmCheck_A 2147483647 80 0 0
FpvSecCmSentMsgCountCheck_A 2147483647 80 0 0
KmacCmd_A 2147483647 2147483647 0 0
KmacDone_A 2147483647 2147483647 0 0
KmacErr_A 2147483647 2147483647 0 0
KmacStKnown_A 2147483647 2147483647 0 0
NumAlerts2_A 1050 1050 0 0
NumEntriesRegSameToNumEntriesPkg_A 1050 1050 0 0
PrefixRegSameToPrefixPkg_A 1050 1050 0 0
SecretKeyDivideBy32_A 1050 1050 0 0
Sha3AbsorbedPulse_A 2147483647 352675 0 0
TlOAReadyKnown_A 2147483647 2147483647 0 0
TlODValidKnown_A 2147483647 2147483647 0 0
g_testassertion.FpvSecCmEntropyFsmCheck_A 2147483647 80 0 0
g_testassertion.FpvSecCmHashCountCheck_A 2147483647 80 0 0
g_testassertion.FpvSecCmMsgFifoRptrCheck_A 2147483647 80 0 0
g_testassertion.FpvSecCmMsgFifoWptrCheck_A 2147483647 80 0 0
g_testassertion.FpvSecCmPackerCountCheck_A 2147483647 80 0 0
g_testassertion.FpvSecCmSeedIdxCountCheck_A 2147483647 80 0 0
u_state_regs_A 2147483647 2147483647 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

CmdSparse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1311655 0 0
T4 630381 1267 0 0
T5 145678 992 0 0
T6 205661 330 0 0
T10 3735 2 0 0
T22 542998 820 0 0
T23 285453 338 0 0
T24 191102 133 0 0
T25 610750 1203 0 0
T26 37315 1 0 0
T27 993181 1246 0 0

EnMaskingKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

EntropyReadyLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 343591 0 0
T4 630381 209 0 0
T5 145678 173 0 0
T6 205661 73 0 0
T10 3735 1 0 0
T22 542998 111 0 0
T23 285453 65 0 0
T24 191102 20 0 0
T25 610750 360 0 0
T26 37315 7 0 0
T27 993181 382 0 0

EntrySizeRegSameToEntrySizePkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1050 1050 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T10 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0

ErrProcessedLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 766 0 0
T10 3735 0 0 0
T26 37315 7 0 0
T27 993181 0 0 0
T35 196926 0 0 0
T36 174610 0 0 0
T37 130070 20 0 0
T38 29840 6 0 0
T48 13254 0 0 0
T49 14124 0 0 0
T61 0 4 0 0
T64 0 13 0 0
T85 1843 0 0 0
T89 0 2 0 0
T90 0 2 0 0
T91 0 3 0 0
T92 0 20 0 0
T93 0 6 0 0

FifoEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

FpvSecCmErrorCheckFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmKeccackFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmKeyIndexCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmKmacAppFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmKmacCoreFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmKmacFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmRoundCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmSHA3FsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmSHA3padFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

FpvSecCmSentMsgCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

KmacCmd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

KmacDone_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

KmacErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

KmacStKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

NumAlerts2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1050 1050 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T10 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0

NumEntriesRegSameToNumEntriesPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1050 1050 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T10 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0

PrefixRegSameToPrefixPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1050 1050 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T10 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0

SecretKeyDivideBy32_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1050 1050 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T10 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0

Sha3AbsorbedPulse_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 352675 0 0
T4 630381 209 0 0
T5 145678 173 0 0
T6 205661 73 0 0
T10 3735 0 0 0
T22 542998 112 0 0
T23 285453 65 0 0
T24 191102 20 0 0
T25 610750 374 0 0
T26 37315 0 0 0
T27 993181 390 0 0
T35 0 374 0 0
T36 0 2337 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

g_testassertion.FpvSecCmEntropyFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

g_testassertion.FpvSecCmHashCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

g_testassertion.FpvSecCmMsgFifoRptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

g_testassertion.FpvSecCmMsgFifoWptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

g_testassertion.FpvSecCmPackerCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

g_testassertion.FpvSecCmSeedIdxCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 80 0 0
T7 362478 10 0 0
T8 480776 20 0 0
T9 0 20 0 0
T94 0 10 0 0
T95 0 20 0 0
T96 980629 0 0 0
T97 225575 0 0 0
T98 3091 0 0 0
T99 205102 0 0 0
T100 774522 0 0 0
T101 606429 0 0 0
T102 986 0 0 0
T103 3882 0 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T4 630381 630366 0 0
T5 145678 145671 0 0
T6 205661 205573 0 0
T10 3735 3582 0 0
T22 542998 542989 0 0
T23 285453 285400 0 0
T24 191102 191036 0 0
T25 610750 610743 0 0
T26 37315 37253 0 0
T27 993181 993176 0 0

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