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
Name   Toggle   Toggle 1->0   Tests   Toggle 0->1   Tests   Direction   
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes 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
states   Line No.   Covered   Tests   
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


transitions   Line No.   Covered   Tests   
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

Name   Attempts   Real Successes   Failures   Incomplete   
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