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
97.11 98.38 93.11 99.93 96.36 95.98 98.89


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 100.00 100.00 100.00 100.00
u_app_intf 96.98 97.45 89.80 100.00 97.65 100.00
u_errchk 96.60 95.06 94.59 100.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 98.99 99.41 96.63 100.00 98.94 100.00
u_sha3 96.90 98.83 95.67 100.00 90.48 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
ALWAYS34300
ALWAYS34322100.00
ALWAYS349100.00
CONT_ASSIGN41811100.00
CONT_ASSIGN41911100.00
CONT_ASSIGN42311100.00
ALWAYS42699100.00
CONT_ASSIGN46111100.00
CONT_ASSIGN46211100.00
CONT_ASSIGN46311100.00
CONT_ASSIGN46611100.00
CONT_ASSIGN47011100.00
CONT_ASSIGN47111100.00
CONT_ASSIGN47511100.00
CONT_ASSIGN47811100.00
ALWAYS48566100.00
ALWAYS49866100.00
CONT_ASSIGN51511100.00
CONT_ASSIGN52211100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52611100.00
CONT_ASSIGN52711100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53111100.00
CONT_ASSIGN53111100.00
CONT_ASSIGN53111100.00
CONT_ASSIGN53111100.00
CONT_ASSIGN53111100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53611100.00
CONT_ASSIGN53811100.00
CONT_ASSIGN54211100.00
CONT_ASSIGN54411100.00
CONT_ASSIGN54511100.00
CONT_ASSIGN54811100.00
CONT_ASSIGN54911100.00
CONT_ASSIGN55211100.00
ALWAYS56055100.00
CONT_ASSIGN57011100.00
CONT_ASSIGN57711100.00
CONT_ASSIGN57811100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN58911100.00
ALWAYS60933100.00
CONT_ASSIGN61311100.00
CONT_ASSIGN63211100.00
CONT_ASSIGN63711100.00
ALWAYS64077100.00
CONT_ASSIGN67611100.00
CONT_ASSIGN68111100.00
CONT_ASSIGN68811100.00
CONT_ASSIGN69811100.00
ALWAYS71833100.00
ALWAYS7222828100.00
ALWAYS86033100.00
CONT_ASSIGN86811100.00
CONT_ASSIGN86811100.00
CONT_ASSIGN93911100.00
CONT_ASSIGN94111100.00
CONT_ASSIGN97111100.00
CONT_ASSIGN97611100.00
CONT_ASSIGN97711100.00
CONT_ASSIGN97911100.00
CONT_ASSIGN98200
ALWAYS110000
ALWAYS110022100.00
CONT_ASSIGN118611100.00
CONT_ASSIGN132611100.00
CONT_ASSIGN134011100.00
CONT_ASSIGN134711100.00
CONT_ASSIGN135211100.00
ALWAYS13586583.33
CONT_ASSIGN136711100.00
CONT_ASSIGN136911100.00
ALWAYS138144100.00
CONT_ASSIGN138711100.00
ALWAYS141044100.00
ALWAYS142033100.00
CONT_ASSIGN143111100.00
CONT_ASSIGN143511100.00
CONT_ASSIGN143711100.00
CONT_ASSIGN143711100.00
CONT_ASSIGN143711100.00
CONT_ASSIGN143711100.00
CONT_ASSIGN143711100.00
CONT_ASSIGN143711100.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
343 1 1
344 1 1
349 0 1
418 1 1
419 1 1
423 1 1
426 1 1
427 1 1
428 1 1
429 1 1
431 1 1
433 1 1
437 1 1
441 1 1
445 1 1
461 1 1
462 1 1
463 1 1
466 1 1
470 1 1
471 1 1
475 1 1
478 1 1
485 1 1
486 1 1
487 1 1
488 1 1
489 1 1
490 1 1
MISSING_ELSE
MISSING_ELSE
498 1 1
499 1 1
500 1 1
501 1 1
502 1 1
503 1 1
MISSING_ELSE
MISSING_ELSE
515 1 1
522 1 1
525 1 1
526 1 1
527 1 1
530 5 5
531 5 5
534 1 1
536 1 1
538 1 1
542 1 1
544 1 1
545 1 1
548 1 1
549 1 1
552 1 1
560 1 1
561 1 1
562 1 1
563 1 1
565 1 1
570 1 1
577 1 1
578 1 1
579 1 1
589 1 1
609 2 2
610 1 1
613 1 1
632 1 1
637 1 1
640 1 1
642 1 1
647 1 1
651 1 1
655 1 1
659 1 1
663 1 1
676 1 1
681 1 1
688 1 1
698 1 1
718 3 3
722 1 1
724 1 1
725 1 1
727 1 1
729 1 1
731 1 1
732 1 1
735 1 1
738 1 1
744 1 1
745 1 1
747 1 1
752 1 1
753 1 1
754 1 1
756 1 1
762 1 1
767 1 1
768 1 1
770 1 1
772 1 1
778 1 1
779 1 1
781 1 1
787 1 1
788 1 1
800 1 1
801 1 1
MISSING_ELSE
860 1 1
861 1 1
863 1 1
868 2 2
939 1 1
941 1 1
971 1 1
976 1 1
977 1 1
979 1 1
982 unreachable
1100 1 1
1101 1 1
1186 1 1
1326 1 1
1340 1 1
1347 1 1
1352 1 1
1358 1 1
1359 1 1
1360 1 1
1361 0 1
1362 1 1
1363 1 1
MISSING_ELSE
1367 1 1
1369 1 1
1381 1 1
1382 1 1
1383 1 1
1384 1 1
MISSING_ELSE
1387 1 1
1410 1 1
1411 1 1
1412 1 1
1414 1 1
MISSING_ELSE
1420 1 1
1421 1 1
1424 1 1
1431 1 1
1435 1 1
1437 6 6


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

 LINE       423
 EXPRESSION (cmd_update ? cmd_q : CmdNone)
             -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       461
 EXPRESSION (sha3_fsm == StIdle)
            ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       462
 EXPRESSION (sha3_fsm == StAbsorb)
            -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       463
 EXPRESSION (sha3_fsm == StSqueeze)
            -----------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       475
 EXPRESSION (sha3_fsm == StIdle)
            ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       527
 EXPRESSION (reg2hw.cmd.entropy_req.q && reg2hw.cmd.entropy_req.qe)
             ------------1-----------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT36,T63,T54

 LINE       538
 EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
             -------------1------------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT36,T63,T54

 LINE       542
 EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT58,T59,T28
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       549
 EXPRESSION (cfg_msg_mask & msg_valid & msg_ready)
             ------1-----   ----2----   ----3----
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT1,T2,T3
111CoveredT1,T2,T3

 LINE       562
 EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
             ----------1---------    ------------------2------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T100
11CoveredT1,T2,T3

 LINE       562
 SUB-EXPRESSION (sha3_fsm == StIdle)
                ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       562
 SUB-EXPRESSION (msgfifo_empty || SecIdleAcceptSwMsg)
                 ------1------    ---------2--------
-1--2-StatusTests
0-CoveredT1,T2,T3
1-CoveredT1,T2,T3

 LINE       570
 EXPRESSION (reg2hw.cfg_shadowed.err_processed.q & reg2hw.cfg_shadowed.err_processed.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT59,T28,T62
11CoveredT59,T28,T62

 LINE       613
 EXPRESSION (((~msgfifo_empty_q)) & msgfifo_empty)
             ----------1---------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       632
 EXPRESSION (sha3_err.valid | app_err.valid | entropy_err.valid | errchecker_err.valid)
             -------1------   ------2------   --------3--------   ----------4---------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001CoveredT3,T65,T24
0010CoveredT84,T79,T80
0100CoveredT3,T7,T65
1000CoveredT14,T15,T16

 LINE       676
 EXPRESSION (sha3_count_error | kmac_entropy_hash_counter_error | key_index_error | msgfifo_counter_error)
             --------1-------   ---------------2---------------   -------3-------   ----------4----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001CoveredT4,T5,T6
0010CoveredT4,T5,T6
0100CoveredT4,T5,T6
1000CoveredT4,T5,T6

 LINE       688
 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
000000CoveredT1,T2,T3
000001CoveredT4,T5,T6
000010CoveredT4,T5,T6
000100CoveredT4,T5,T6
001000CoveredT4,T5,T6
010000CoveredT4,T5,T6
100000CoveredT4,T5,T6

 LINE       729
 EXPRESSION (kmac_cmd == CmdStart)
            -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       731
 EXPRESSION (CShake == app_sha3_mode)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T33

 LINE       745
 EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
             -----1-----
-1-StatusTests
0CoveredT2,T3,T36
1CoveredT2,T3,T33

 LINE       971
 EXPRESSION (tlram_req & tlram_we)
             ----1----   ----2---
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       1101
 EXPRESSION (reg_state_valid ? reg_state[i] : 'b0)
             -------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       1340
 SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
                 -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT106,T108,T109
10CoveredT1,T2,T3
11CoveredT106,T108,T109

 LINE       1340
 SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
                 -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT106,T108,T109
10CoveredT1,T2,T3
11CoveredT106,T108,T109

 LINE       1369
 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
00000CoveredT1,T2,T3
00001Not Covered
00010CoveredT4,T5,T6
00100CoveredT7,T8,T9
01000CoveredT4,T5,T6
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 T7,T72,T99 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T7,T72,T99 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T7,T72,T99 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T3,T34,T36 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 T3,T33,T35 Yes T3,T33,T35 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 T16,T22,T23 Yes T16,T22,T23 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 T106,T108,T109 Yes T106,T108,T109 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 T7,T106,T108 Yes T7,T106,T108 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 T106,T108,T109 Yes T106,T108,T109 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 T7,T106,T108 Yes T7,T106,T108 OUTPUT
keymgr_key_i.key[0][0] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][3:1] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][4] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][15:5] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][16] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][26:17] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][27] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][36:28] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][37] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][39:38] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][40] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][49:41] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][50] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][61:51] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][62] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][67:63] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][68] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][69] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][70] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
keymgr_key_i.key[0][73:71] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][74] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][75] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][76] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][77] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][81:78] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][82] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][91:83] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][92] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
keymgr_key_i.key[0][95:93] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][96] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][97] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][99:98] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][101:100] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][102] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][103] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][114:104] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][115] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][116] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][117] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][122:118] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][123] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][135:124] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][136] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][142:137] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][143] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][150:144] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][152:151] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][155:153] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][159:156] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][166:160] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][167] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][175:168] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][177:176] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][186:178] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][187] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][190:188] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][191] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][194:192] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][195] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][202:196] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][203] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][207:204] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][210:208] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][211] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][215:212] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][216] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][220:217] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][221] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][225:222] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][226] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][229:227] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][230] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][237:231] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][238] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[0][245:239] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][246] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[0][255:247] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][5:0] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][6] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][7] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][8] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][13:9] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][14] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][16:15] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][17] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][20:18] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][21] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][30:22] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][31] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][36:32] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][37] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][50:38] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][51] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][63:52] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][64] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][80:65] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][81] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[1][86:82] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][87] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[1][88] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][89] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][92:90] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][93] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][94] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][101:95] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][102] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][109:103] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][110] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][116:111] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][117] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][120:118] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][121] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
keymgr_key_i.key[1][133:122] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][134] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][143:135] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][144] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][149:145] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][150] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][155:151] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][156] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][158:157] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][159] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][160] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][161] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][162] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][163] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][164] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[1][165] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][167:166] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][187:168] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][188] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[1][189] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][190] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][191] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][193:192] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][194] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][200:195] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][201] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][202] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][210:203] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][213:211] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][214] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
keymgr_key_i.key[1][215] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][216] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][222:217] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][223] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
keymgr_key_i.key[1][232:224] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][233] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][237:234] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][238] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][246:239] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][247] Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
keymgr_key_i.key[1][251:248] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][253:252] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.key[1][255:254] Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
keymgr_key_i.valid Yes Yes T2,T3,T33 Yes T2,T3,T33 INPUT
app_i[0].last Yes Yes T2,T36,T39 Yes T2,T36,T39 INPUT
app_i[0].strb[7:0] Yes Yes T36,T39,T63 Yes T36,T39,T63 INPUT
app_i[0].data[63:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 INPUT
app_i[0].valid Yes Yes T2,T36,T7 Yes T2,T36,T7 INPUT
app_i[1].last Yes Yes T2,T36,T39 Yes T2,T36,T39 INPUT
app_i[1].strb[7:0] Yes Yes T36,T39,T63 Yes T36,T39,T63 INPUT
app_i[1].data[63:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 INPUT
app_i[1].valid Yes Yes T2,T36,T7 Yes T2,T36,T7 INPUT
app_i[2].last Yes Yes T2,T36,T39 Yes T2,T3,T36 INPUT
app_i[2].strb[7:0] Yes Yes T36,T39,T63 Yes T36,T39,T63 INPUT
app_i[2].data[63:0] Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
app_i[2].valid Yes Yes T2,T3,T36 Yes T2,T3,T36 INPUT
app_o[0].error Yes Yes T7,T58,T8 Yes T7,T58,T8 OUTPUT
app_o[0].digest_share1[383:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[0].digest_share0[383:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[0].done Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[0].ready Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[1].error Yes Yes T14,T15,T16 Yes T14,T15,T16 OUTPUT
app_o[1].digest_share1[383:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[1].digest_share0[383:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[1].done Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[1].ready Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[2].error Yes Yes T14,T15,T16 Yes T14,T15,T16 OUTPUT
app_o[2].digest_share1[383:0] Yes Yes T2,T36,T39 Yes T2,T36,T39 OUTPUT
app_o[2].digest_share0[383:0] Yes Yes T2,T3,T36 Yes T2,T3,T36 OUTPUT
app_o[2].done Yes Yes T2,T3,T36 Yes T2,T3,T36 OUTPUT
app_o[2].ready Yes Yes T2,T3,T36 Yes T2,T3,T36 OUTPUT
entropy_o.edn_req Yes Yes T2,T3,T34 Yes T2,T3,T34 OUTPUT
entropy_i.edn_bus[31:0] Yes Yes T3,T34,T38 Yes T2,T34,T37 INPUT
entropy_i.edn_fips Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
entropy_i.edn_ack Yes Yes T2,T3,T34 Yes T2,T3,T34 INPUT
lc_escalate_en_i[3:0] Yes Yes T7,T49,T43 Yes T7,T49,T43 INPUT
intr_kmac_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_fifo_empty_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_kmac_err_o Yes Yes T3,T65,T59 Yes T3,T65,T59 OUTPUT
en_masking_o Unreachable Unreachable Unreachable OUTPUT
idle_o[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 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 770 Covered T1,T2,T3
KmacIdle 738 Covered T1,T2,T3
KmacKeyBlock 745 Covered T2,T3,T33
KmacMsgFeed 735 Covered T1,T2,T3
KmacPrefix 732 Covered T2,T3,T33
KmacTerminalError 787 Covered T7,T8,T9


transitionsLine No.CoveredTests
KmacDigest->KmacIdle 779 Covered T1,T2,T3
KmacDigest->KmacTerminalError 801 Covered T11,T12,T13
KmacIdle->KmacMsgFeed 735 Covered T1,T2,T3
KmacIdle->KmacPrefix 732 Covered T2,T3,T33
KmacIdle->KmacTerminalError 801 Covered T4,T5,T10
KmacKeyBlock->KmacMsgFeed 754 Covered T2,T3,T33
KmacKeyBlock->KmacTerminalError 801 Covered T8,T49,T47
KmacMsgFeed->KmacDigest 770 Covered T1,T2,T3
KmacMsgFeed->KmacIdle 767 Covered T2,T3,T36
KmacMsgFeed->KmacTerminalError 801 Covered T43,T74,T75
KmacPrefix->KmacKeyBlock 745 Covered T2,T3,T33
KmacPrefix->KmacMsgFeed 745 Covered T2,T3,T36
KmacPrefix->KmacTerminalError 801 Covered T7,T9,T44



Branch Coverage for Module : kmac
Line No.TotalCoveredPercent
Branches 58 56 96.55
TERNARY 423 2 2 100.00
CASE 431 6 5 83.33
IF 485 3 3 100.00
IF 560 3 3 100.00
IF 609 2 2 100.00
CASE 642 6 6 100.00
IF 718 2 2 100.00
CASE 727 15 15 100.00
IF 800 2 2 100.00
TERNARY 1101 2 2 100.00
IF 1358 4 3 75.00
IF 1381 3 3 100.00
IF 1410 3 3 100.00
IF 1420 2 2 100.00
IF 498 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-: 423 (cmd_update) ?

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


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

Branches:
-1-StatusTests
CmdStart Covered T1,T2,T3
CmdProcess Covered T1,T2,T3
CmdManualRun Covered T1,T2,T3
CmdDone Covered T1,T2,T3
CmdNone Covered T1,T2,T3
default Not Covered


LineNo. Expression -1-: 485 if ((!rst_ni)) -2-: 487 if (engine_stable)

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


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

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


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

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


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

Branches:
-1-StatusTests
app_err.valid Covered T3,T7,T65
errchecker_err.valid Covered T3,T65,T24
sha3_err.valid Covered T14,T15,T16
entropy_err.valid Covered T84,T79,T80
msgfifo_err.valid Covered T4,T5,T6
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 727 case (kmac_st) -2-: 729 if ((kmac_cmd == CmdStart)) -3-: 731 if ((CShake == app_sha3_mode)) -4-: 744 if (sha3_block_processed) -5-: 745 (app_kmac_en) ? -6-: 753 if (sha3_block_processed) -7-: 762 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done))) -8-: 768 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done))) -9-: 778 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 T2,T3,T33
KmacIdle 1 0 - - - - - - Covered T1,T2,T3
KmacIdle 0 - - - - - - - Covered T1,T2,T3
KmacPrefix - - 1 1 - - - - Covered T2,T3,T33
KmacPrefix - - 1 0 - - - - Covered T2,T3,T36
KmacPrefix - - 0 - - - - - Covered T2,T3,T33
KmacKeyBlock - - - - 1 - - - Covered T2,T3,T33
KmacKeyBlock - - - - 0 - - - Covered T2,T3,T33
KmacMsgFeed - - - - - 1 - - Covered T2,T3,T36
KmacMsgFeed - - - - - 0 1 - Covered T1,T2,T3
KmacMsgFeed - - - - - 0 0 - Covered T1,T2,T3
KmacDigest - - - - - - - 1 Covered T1,T2,T3
KmacDigest - - - - - - - 0 Covered T1,T2,T3
KmacTerminalError - - - - - - - - Covered T7,T8,T9
default - - - - - - - - Covered T4,T5,T6


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

Branches:
-1-StatusTests
1 Covered T7,T8,T9
0 Covered T1,T2,T3


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

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


LineNo. Expression -1-: 1358 if ((!rst_ni)) -2-: 1360 if (alert_recov_operation) -3-: 1362 if (err_processed)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Not Covered
0 0 1 Covered T59,T28,T62
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1381 if ((!rst_ni)) -2-: 1383 if (alert_fatal)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T7,T8,T9
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1410 if ((!rst_ni)) -2-: 1412 if (alerts[1])

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T7,T8,T9
0 0 Covered T1,T2,T3


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

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


LineNo. Expression -1-: 498 if ((!rst_ni)) -2-: 500 if (engine_stable)

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


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 1289570 0 0
EnMaskingKnown_A 2147483647 2147483647 0 0
EntropyReadyLatched_A 2147483647 339515 0 0
EntrySizeRegSameToEntrySizePkg_A 1022 1022 0 0
ErrProcessedLatched_A 2147483647 670 0 0
FifoEmpty_A 2147483647 2147483647 0 0
FpvSecCmErrorCheckFsmCheck_A 2147483647 70 0 0
FpvSecCmKeccackFsmCheck_A 2147483647 70 0 0
FpvSecCmKeyIndexCountCheck_A 2147483647 70 0 0
FpvSecCmKmacAppFsmCheck_A 2147483647 70 0 0
FpvSecCmKmacCoreFsmCheck_A 2147483647 70 0 0
FpvSecCmKmacFsmCheck_A 2147483647 70 0 0
FpvSecCmRegWeOnehotCheck_A 2147483647 70 0 0
FpvSecCmRoundCountCheck_A 2147483647 70 0 0
FpvSecCmSHA3FsmCheck_A 2147483647 70 0 0
FpvSecCmSHA3padFsmCheck_A 2147483647 70 0 0
FpvSecCmSentMsgCountCheck_A 2147483647 70 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 1022 1022 0 0
NumEntriesRegSameToNumEntriesPkg_A 1022 1022 0 0
PrefixRegSameToPrefixPkg_A 1022 1022 0 0
SecretKeyDivideBy32_A 1022 1022 0 0
Sha3AbsorbedPulse_A 2147483647 348596 0 0
TlOAReadyKnown_A 2147483647 2147483647 0 0
TlODValidKnown_A 2147483647 2147483647 0 0
g_testassertion.FpvSecCmEntropyFsmCheck_A 2147483647 70 0 0
g_testassertion.FpvSecCmHashCountCheck_A 2147483647 70 0 0
g_testassertion.FpvSecCmMsgFifoRptrCheck_A 2147483647 70 0 0
g_testassertion.FpvSecCmMsgFifoWptrCheck_A 2147483647 70 0 0
g_testassertion.FpvSecCmPackerCountCheck_A 2147483647 70 0 0
g_testassertion.FpvSecCmSeedIdxCountCheck_A 2147483647 70 0 0
u_state_regs_A 2147483647 2147483647 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

CmdSparse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1289570 0 0
T1 533129 7980 0 0
T2 131538 210 0 0
T3 168194 177 0 0
T7 3239 5 0 0
T33 41148 99 0 0
T34 148803 60 0 0
T35 625402 7495 0 0
T36 140629 978 0 0
T37 762290 370 0 0
T38 626306 1198 0 0

EnMaskingKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

EntropyReadyLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 339515 0 0
T1 533129 2190 0 0
T2 131538 40 0 0
T3 168194 23 0 0
T7 3239 1 0 0
T33 41148 14 0 0
T34 148803 7 0 0
T35 625402 2270 0 0
T36 140629 165 0 0
T37 762290 51 0 0
T38 626306 369 0 0

EntrySizeRegSameToEntrySizePkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1022 1022 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T33 1 1 0 0
T34 1 1 0 0
T35 1 1 0 0
T36 1 1 0 0
T37 1 1 0 0
T38 1 1 0 0

ErrProcessedLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 670 0 0
T8 2930 0 0 0
T28 0 15 0 0
T59 55781 11 0 0
T62 0 5 0 0
T79 0 2 0 0
T84 0 16 0 0
T110 0 17 0 0
T111 0 13 0 0
T112 0 2 0 0
T113 0 9 0 0
T114 0 7 0 0
T115 120442 0 0 0
T116 208473 0 0 0
T117 468413 0 0 0
T118 13853 0 0 0
T119 147719 0 0 0
T120 767555 0 0 0
T121 562498 0 0 0
T122 33517 0 0 0

FifoEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

FpvSecCmErrorCheckFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmKeccackFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmKeyIndexCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmKmacAppFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmKmacCoreFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmKmacFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmRoundCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmSHA3FsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmSHA3padFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

FpvSecCmSentMsgCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

KmacCmd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

KmacDone_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

KmacErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

KmacStKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

NumAlerts2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1022 1022 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T33 1 1 0 0
T34 1 1 0 0
T35 1 1 0 0
T36 1 1 0 0
T37 1 1 0 0
T38 1 1 0 0

NumEntriesRegSameToNumEntriesPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1022 1022 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T33 1 1 0 0
T34 1 1 0 0
T35 1 1 0 0
T36 1 1 0 0
T37 1 1 0 0
T38 1 1 0 0

PrefixRegSameToPrefixPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1022 1022 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T33 1 1 0 0
T34 1 1 0 0
T35 1 1 0 0
T36 1 1 0 0
T37 1 1 0 0
T38 1 1 0 0

SecretKeyDivideBy32_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1022 1022 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T33 1 1 0 0
T34 1 1 0 0
T35 1 1 0 0
T36 1 1 0 0
T37 1 1 0 0
T38 1 1 0 0

Sha3AbsorbedPulse_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 348596 0 0
T1 533129 2265 0 0
T2 131538 40 0 0
T3 168194 23 0 0
T7 3239 0 0 0
T33 41148 14 0 0
T34 148803 8 0 0
T35 625402 2337 0 0
T36 140629 166 0 0
T37 762290 51 0 0
T38 626306 374 0 0
T57 0 197 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

g_testassertion.FpvSecCmEntropyFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

g_testassertion.FpvSecCmHashCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

g_testassertion.FpvSecCmMsgFifoRptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

g_testassertion.FpvSecCmMsgFifoWptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

g_testassertion.FpvSecCmPackerCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

g_testassertion.FpvSecCmSeedIdxCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 70 0 0
T4 706427 20 0 0
T5 0 10 0 0
T6 0 10 0 0
T100 0 10 0 0
T123 0 20 0 0
T124 668841 0 0 0
T125 133934 0 0 0
T126 177818 0 0 0
T127 427400 0 0 0
T128 160602 0 0 0
T129 623180 0 0 0
T130 24341 0 0 0
T131 494114 0 0 0
T132 379175 0 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 533129 533124 0 0
T2 131538 131444 0 0
T3 168194 168127 0 0
T7 3239 3096 0 0
T33 41148 41064 0 0
T34 148803 148719 0 0
T35 625402 625397 0 0
T36 140629 140621 0 0
T37 762290 762230 0 0
T38 626306 626301 0 0

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