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

Module : kmac
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.48 98.75 96.74 100.00 92.31 97.06 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 97.48 98.75 96.74 100.00 92.31 97.06 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.48 98.75 96.74 100.00 92.31 97.06 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.17 98.10 92.43 99.89 91.82 95.91 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 97.83 100.00 87.97 100.00 100.00 98.98 100.00
gen_entropy.u_prim_sync_reqack_data 95.83 100.00 83.33 100.00 100.00
intr_fifo_empty 86.94 90.00 77.78 80.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 97.42 97.45 90.82 100.00 98.82 100.00
u_errchk 92.60 95.06 94.59 80.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.43 100.00 95.83 94.52 100.00 94.23 100.00
u_prim_lc_sync 100.00 100.00 100.00 100.00
u_reg 98.88 99.27 96.48 100.00 98.63 100.00
u_sha3 96.19 98.85 95.87 100.00 85.71 96.71 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.69 89.72 80.74 88.30 100.00
u_tlul_adapter_msgfifo 79.76 86.78 74.17 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
TOTAL16015898.75
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_ASSIGN52911100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53211100.00
CONT_ASSIGN53411100.00
CONT_ASSIGN53611100.00
CONT_ASSIGN54011100.00
CONT_ASSIGN54211100.00
CONT_ASSIGN54311100.00
CONT_ASSIGN54611100.00
CONT_ASSIGN54711100.00
CONT_ASSIGN55011100.00
ALWAYS55855100.00
CONT_ASSIGN56811100.00
CONT_ASSIGN57511100.00
CONT_ASSIGN57611100.00
CONT_ASSIGN57711100.00
CONT_ASSIGN58511100.00
CONT_ASSIGN62711100.00
CONT_ASSIGN63311100.00
CONT_ASSIGN64111100.00
CONT_ASSIGN64611100.00
ALWAYS64955100.00
CONT_ASSIGN67811100.00
CONT_ASSIGN68311100.00
ALWAYS68677100.00
CONT_ASSIGN72211100.00
CONT_ASSIGN72711100.00
CONT_ASSIGN73411100.00
CONT_ASSIGN74411100.00
ALWAYS76433100.00
ALWAYS7682828100.00
ALWAYS90633100.00
CONT_ASSIGN91411100.00
CONT_ASSIGN91411100.00
CONT_ASSIGN99011100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN102211100.00
CONT_ASSIGN102711100.00
CONT_ASSIGN102811100.00
CONT_ASSIGN103011100.00
CONT_ASSIGN103300
ALWAYS115100
ALWAYS115122100.00
CONT_ASSIGN123711100.00
CONT_ASSIGN138011100.00
CONT_ASSIGN139411100.00
CONT_ASSIGN140111100.00
CONT_ASSIGN140611100.00
ALWAYS14126583.33
CONT_ASSIGN142111100.00
CONT_ASSIGN142311100.00
ALWAYS143544100.00
CONT_ASSIGN144111100.00
ALWAYS146444100.00
ALWAYS147433100.00
CONT_ASSIGN148511100.00
CONT_ASSIGN148911100.00
CONT_ASSIGN149111100.00
CONT_ASSIGN149111100.00
CONT_ASSIGN149111100.00
CONT_ASSIGN149111100.00
CONT_ASSIGN149111100.00
CONT_ASSIGN149111100.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
529 1 1
530 1 1
532 1 1
534 1 1
536 1 1
540 1 1
542 1 1
543 1 1
546 1 1
547 1 1
550 1 1
558 1 1
559 1 1
560 1 1
561 1 1
563 1 1
568 1 1
575 1 1
576 1 1
577 1 1
585 1 1
627 1 1
633 1 1
641 1 1
646 1 1
649 1 1
650 1 1
651 1 1
653 1 1
654 1 1
678 1 1
683 1 1
686 1 1
688 1 1
693 1 1
697 1 1
701 1 1
705 1 1
709 1 1
722 1 1
727 1 1
734 1 1
744 1 1
764 3 3
768 1 1
770 1 1
771 1 1
773 1 1
775 1 1
777 1 1
778 1 1
781 1 1
784 1 1
790 1 1
791 1 1
793 1 1
798 1 1
799 1 1
800 1 1
802 1 1
808 1 1
813 1 1
814 1 1
816 1 1
818 1 1
824 1 1
825 1 1
827 1 1
833 1 1
834 1 1
846 1 1
847 1 1
MISSING_ELSE
906 1 1
907 1 1
909 1 1
914 2 2
990 1 1
992 1 1
1022 1 1
1027 1 1
1028 1 1
1030 1 1
1033 unreachable
1151 1 1
1152 1 1
1237 1 1
1380 1 1
1394 1 1
1401 1 1
1406 1 1
1412 1 1
1413 1 1
1414 1 1
1415 0 1
1416 1 1
1417 1 1
MISSING_ELSE
1421 1 1
1423 1 1
1435 1 1
1436 1 1
1437 1 1
1438 1 1
MISSING_ELSE
1441 1 1
1464 1 1
1465 1 1
1466 1 1
1468 1 1
MISSING_ELSE
1474 1 1
1475 1 1
1478 1 1
1485 1 1
1489 1 1
1491 6 6


Cond Coverage for Module : kmac
TotalCoveredPercent
Conditions928996.74
Logical928996.74
Non-Logical00
Event00

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

 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
1CoveredT2,T3,T4

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

 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
01CoveredT2,T3,T4
10CoveredT2,T3,T4
11CoveredT14,T8,T16

 LINE       536
 EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
             -------------1------------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T4
11CoveredT14,T8,T16

 LINE       540
 EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT5,T15,T46
10CoveredT2,T3,T4
11CoveredT2,T3,T4

 LINE       547
 EXPRESSION (cfg_msg_mask & msg_valid & msg_ready)
             ------1-----   ----2----   ----3----
-1--2--3-StatusTests
011CoveredT2,T3,T4
101CoveredT2,T3,T4
110CoveredT2,T3,T4
111CoveredT2,T3,T4

 LINE       560
 EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
             ----------1---------    ------------------2------------------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT18,T19,T85
11CoveredT1,T2,T3

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

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

 LINE       568
 EXPRESSION (reg2hw.cfg_shadowed.err_processed.q & reg2hw.cfg_shadowed.err_processed.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT5,T15,T46
11CoveredT5,T15,T46

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

 LINE       633
 EXPRESSION (msgfifo_full ? 1'b1 : (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)))
             ------1-----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T7

 LINE       633
 SUB-EXPRESSION (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q))
                 ----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T4

 LINE       633
 SUB-EXPRESSION (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)
                 ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T4

 LINE       641
 EXPRESSION (app_active ? 1'b1 : ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))))
             -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       641
 SUB-EXPRESSION ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q))))
                 -----------1----------
-1-StatusTests
0CoveredT2,T3,T4
1CoveredT1,T2,T3

 LINE       641
 SUB-EXPRESSION (sha3_fsm != StAbsorb)
                -----------1----------
-1-StatusTests
0CoveredT2,T3,T4
1CoveredT1,T2,T3

 LINE       641
 SUB-EXPRESSION (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))
                 ----------1---------
-1-StatusTests
0CoveredT2,T3,T4
1CoveredT2,T3,T4

 LINE       646
 EXPRESSION (msgfifo_empty_gate ? 1'b0 : msgfifo_empty)
             ---------1--------
-1-StatusTests
0CoveredT2,T3,T7
1CoveredT1,T2,T3

 LINE       678
 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
0001CoveredT4,T33,T42
0010CoveredT71,T72,T73
0100CoveredT4,T5,T13
1000CoveredT14,T16,T22

 LINE       722
 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
0001CoveredT17,T18,T19
0010CoveredT17,T18,T19
0100CoveredT17,T18,T19
1000CoveredT17,T18,T19

 LINE       734
 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
000001CoveredT17,T18,T19
000010CoveredT17,T18,T19
000100CoveredT17,T18,T19
001000CoveredT17,T18,T19
010000CoveredT17,T18,T19
100000CoveredT17,T18,T19

 LINE       775
 EXPRESSION (kmac_cmd == CmdStart)
            -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T4

 LINE       777
 EXPRESSION (CShake == app_sha3_mode)
            ------------1------------
-1-StatusTests
0CoveredT2,T3,T4
1CoveredT2,T3,T4

 LINE       791
 EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
             -----1-----
-1-StatusTests
0CoveredT2,T4,T7
1CoveredT2,T3,T4

 LINE       1022
 EXPRESSION (tlram_req & tlram_we)
             ----1----   ----2---
-1--2-StatusTests
01CoveredT2,T3,T4
10Not Covered
11CoveredT2,T3,T4

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

 LINE       1394
 SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
                 -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT1,T97,T98
10CoveredT1,T2,T3
11CoveredT1,T97,T98

 LINE       1394
 SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
                 -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT1,T97,T98
10CoveredT1,T2,T3
11CoveredT1,T97,T98

 LINE       1423
 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
00010CoveredT17,T18,T19
00100CoveredT13,T20,T21
01000CoveredT17,T18,T19
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 T13,T38,T14 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T13,T38,T14 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T13,T38,T14 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T4,T5 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 T2,T3,T4 Yes T1,T2,T3 INPUT
tl_i.a_user.instr_type[3:0] Yes Yes T6,T41,T14 Yes T6,T41,T14 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 T2,T3,T4 INPUT
tl_i.a_address[31:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
tl_i.a_source[7:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 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 T35,T8,T16 Yes T35,T8,T16 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
tl_o.d_user.rsp_intg[5:0] Yes Yes *T1,*T2,*T3 Yes T2,T3,T4 OUTPUT
tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_data[31:0] Yes Yes T1,T2,T3 Yes T2,T3,T4 OUTPUT
tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
tl_o.d_source[7:0] Yes Yes T2,T3,T4 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,T97,T98 Yes T1,T97,T98 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,T13,T97 Yes T1,T13,T97 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,T97,T98 Yes T1,T97,T98 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,T13,T97 Yes T1,T13,T97 OUTPUT
keymgr_key_i.key[0][6:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][7] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][8] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][9] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][11:10] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][12] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][25:13] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][26] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][36:27] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][37] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][40:38] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][41] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][42] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][43] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][48:44] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][50:49] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][53:51] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][55:54] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][60:56] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][61] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][63:62] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][64] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][65] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][66] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][69:67] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][71:70] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][75:72] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][77:76] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][81:78] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][82] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][86:83] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][87] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][106:88] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][107] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][108] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][110:109] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][112:111] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][113] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][114] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][115] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][120:116] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][122:121] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][128:123] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][129] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][135:130] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][136] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][138:137] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][139] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][151:140] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][152] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][162:153] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][163] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][164] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][165] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][166] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][167] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][168] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][169] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][170] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][171] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][177:172] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][178] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][179] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][180] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][201:181] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][203:202] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][204] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][205] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][206] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][207] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][214:208] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][215] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][216] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][218:217] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][220:219] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][221] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][223:222] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][224] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][226:225] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][227] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][229:228] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][230] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][237:231] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][239:238] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][240] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][241] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][247:242] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][248] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][249] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][250] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][251] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[0][255:252] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][0] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][5:1] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][6] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][14:7] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][16:15] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][21:17] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][22] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][26:23] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][27] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][30:28] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][31] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][34:32] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][38:35] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][44:39] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][45] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][52:46] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][53] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][54] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][55] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][63:56] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][64] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][67:65] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][70:68] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][80:71] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][82:81] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][96:83] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][97] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][116:98] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][118:117] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][125:119] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][126] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][127] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][128] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][137:129] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][138] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][142:139] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][143] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][147:144] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][148] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][155:149] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][156] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][158:157] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][163:159] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][164] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][165] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][166] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][167] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][174:168] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][175] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][176] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][177] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][180:178] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][181] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][183:182] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][185:184] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][197:186] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][199:198] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][205:200] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][206] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][220:207] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][222:221] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][225:223] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][226] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][228:227] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][229] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][236:230] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][237] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][242:238] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][243] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][248:244] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][249] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.key[1][255:250] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
keymgr_key_i.valid Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
app_i[0].last Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_i[0].strb[7:0] Yes Yes T14,T35,T8 Yes T14,T35,T8 INPUT
app_i[0].data[63:0] Yes Yes T2,T4,T5 Yes T2,T4,T5 INPUT
app_i[0].valid Yes Yes T2,T4,T5 Yes T2,T4,T5 INPUT
app_i[1].last Yes Yes T2,T7,T38 Yes T2,T4,T7 INPUT
app_i[1].strb[7:0] Yes Yes T14,T35,T8 Yes T14,T35,T8 INPUT
app_i[1].data[63:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_i[1].valid Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_i[2].last Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_i[2].strb[7:0] Yes Yes T14,T35,T8 Yes T14,T35,T8 INPUT
app_i[2].data[63:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_i[2].valid Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
app_o[0].error Yes Yes T13,T14,T16 Yes T13,T14,T16 OUTPUT
app_o[0].digest_share1[383:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[0].digest_share0[383:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[0].done Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[0].ready Yes Yes T2,T4,T5 Yes T2,T4,T5 OUTPUT
app_o[1].error Yes Yes T14,T16,T22 Yes T14,T16,T22 OUTPUT
app_o[1].digest_share1[383:0] Yes Yes T2,T7,T38 Yes T2,T7,T38 OUTPUT
app_o[1].digest_share0[383:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[1].done Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[1].ready Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[2].error Yes Yes T16,T22,T23 Yes T16,T22,T23 OUTPUT
app_o[2].digest_share1[383:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[2].digest_share0[383:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[2].done Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
app_o[2].ready Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
entropy_o.edn_req Yes Yes T2,T3,T5 Yes T2,T3,T5 OUTPUT
entropy_i.edn_bus[31:0] Yes Yes T2,T3,T5 Yes T2,T3,T5 INPUT
entropy_i.edn_fips Yes Yes T2,T3,T12 Yes T2,T3,T12 INPUT
entropy_i.edn_ack Yes Yes T2,T3,T5 Yes T2,T3,T5 INPUT
lc_escalate_en_i[3:0] Yes Yes T13,T20,T21 Yes T13,T20,T21 INPUT
intr_kmac_done_o Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
intr_fifo_empty_o Yes Yes T2,T3,T7 Yes T2,T3,T7 OUTPUT
intr_kmac_err_o Yes Yes T4,T5,T13 Yes T4,T5,T13 OUTPUT
en_masking_o Unreachable Unreachable Unreachable OUTPUT
idle_o[3:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 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 12 92.31
Sequences 0 0

State, Transition and Sequence Details for FSM :: kmac_st
statesLine No.CoveredTests
KmacDigest 816 Covered T2,T3,T4
KmacIdle 784 Covered T1,T2,T3
KmacKeyBlock 791 Covered T2,T3,T4
KmacMsgFeed 781 Covered T2,T3,T4
KmacPrefix 778 Covered T2,T3,T4
KmacTerminalError 833 Covered T13,T20,T21


transitionsLine No.CoveredTests
KmacDigest->KmacIdle 825 Covered T2,T3,T4
KmacDigest->KmacTerminalError 847 Not Covered
KmacIdle->KmacMsgFeed 781 Covered T2,T3,T4
KmacIdle->KmacPrefix 778 Covered T2,T3,T4
KmacIdle->KmacTerminalError 847 Covered T17,T18,T19
KmacKeyBlock->KmacMsgFeed 800 Covered T2,T3,T4
KmacKeyBlock->KmacTerminalError 847 Covered T55,T56,T57
KmacMsgFeed->KmacDigest 816 Covered T2,T3,T4
KmacMsgFeed->KmacIdle 813 Covered T2,T4,T7
KmacMsgFeed->KmacTerminalError 847 Covered T13,T45,T65
KmacPrefix->KmacKeyBlock 791 Covered T2,T3,T4
KmacPrefix->KmacMsgFeed 791 Covered T2,T4,T7
KmacPrefix->KmacTerminalError 847 Covered T20,T21,T44



Branch Coverage for Module : kmac
Line No.TotalCoveredPercent
Branches 68 66 97.06
TERNARY 423 2 2 100.00
TERNARY 633 4 4 100.00
TERNARY 641 4 4 100.00
TERNARY 646 2 2 100.00
CASE 431 6 5 83.33
IF 485 3 3 100.00
IF 558 3 3 100.00
IF 649 2 2 100.00
CASE 688 6 6 100.00
IF 764 2 2 100.00
CASE 773 15 15 100.00
IF 846 2 2 100.00
TERNARY 1152 2 2 100.00
IF 1412 4 3 75.00
IF 1435 3 3 100.00
IF 1464 3 3 100.00
IF 1474 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 T2,T3,T4
0 Covered T1,T2,T3


LineNo. Expression -1-: 633 (msgfifo_full) ? -2-: 633 (msgfifo_empty_negedge) ? -3-: 633 (msgfifo2kmac_process) ?

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


LineNo. Expression -1-: 641 (app_active) ? -2-: 641 ((sha3_fsm != StAbsorb)) ? -3-: 641 (msgfifo2kmac_process) ?

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


LineNo. Expression -1-: 646 (msgfifo_empty_gate) ?

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


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

Branches:
-1-StatusTests
CmdStart Covered T2,T3,T4
CmdProcess Covered T2,T3,T4
CmdManualRun Covered T2,T3,T4
CmdDone Covered T2,T3,T4
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 T2,T3,T4


LineNo. Expression -1-: 558 if ((!rst_ni)) -2-: 560 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 T2,T3,T4


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

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


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

Branches:
-1-StatusTests
app_err.valid Covered T4,T5,T13
errchecker_err.valid Covered T4,T33,T42
sha3_err.valid Covered T14,T16,T22
entropy_err.valid Covered T71,T72,T73
msgfifo_err.valid Covered T17,T18,T19
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 773 case (kmac_st) -2-: 775 if ((kmac_cmd == CmdStart)) -3-: 777 if ((CShake == app_sha3_mode)) -4-: 790 if (sha3_block_processed) -5-: 791 (app_kmac_en) ? -6-: 799 if (sha3_block_processed) -7-: 808 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done))) -8-: 814 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done))) -9-: 824 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,T4
KmacIdle 1 0 - - - - - - Covered T2,T3,T4
KmacIdle 0 - - - - - - - Covered T1,T2,T3
KmacPrefix - - 1 1 - - - - Covered T2,T3,T4
KmacPrefix - - 1 0 - - - - Covered T2,T4,T7
KmacPrefix - - 0 - - - - - Covered T2,T3,T4
KmacKeyBlock - - - - 1 - - - Covered T2,T3,T4
KmacKeyBlock - - - - 0 - - - Covered T2,T3,T4
KmacMsgFeed - - - - - 1 - - Covered T2,T4,T7
KmacMsgFeed - - - - - 0 1 - Covered T2,T3,T4
KmacMsgFeed - - - - - 0 0 - Covered T2,T3,T4
KmacDigest - - - - - - - 1 Covered T2,T3,T4
KmacDigest - - - - - - - 0 Covered T2,T3,T4
KmacTerminalError - - - - - - - - Covered T13,T20,T21
default - - - - - - - - Covered T17,T18,T19


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

Branches:
-1-StatusTests
1 Covered T13,T20,T21
0 Covered T1,T2,T3


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

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


LineNo. Expression -1-: 1412 if ((!rst_ni)) -2-: 1414 if (alert_recov_operation) -3-: 1416 if (err_processed)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Not Covered
0 0 1 Covered T5,T15,T46
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1435 if ((!rst_ni)) -2-: 1437 if (alert_fatal)

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


LineNo. Expression -1-: 1464 if ((!rst_ni)) -2-: 1466 if (alerts[1])

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


LineNo. Expression -1-: 1474 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 T2,T3,T4


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 2147483647 2147483647 0 0
CmdSparse_M 2147483647 1260595 0 0
EnMaskingKnown_A 2147483647 2147483647 0 0
EntropyReadyLatched_A 2147483647 333635 0 0
EntrySizeRegSameToEntrySizePkg_A 1026 1026 0 0
ErrProcessedLatched_A 2147483647 755 0 0
FifoEmpty_A 2147483647 2147483647 0 0
FpvSecCmErrorCheckFsmCheck_A 2147483647 60 0 0
FpvSecCmKeccackFsmCheck_A 2147483647 60 0 0
FpvSecCmKeyIndexCountCheck_A 2147483647 60 0 0
FpvSecCmKmacAppFsmCheck_A 2147483647 60 0 0
FpvSecCmKmacCoreFsmCheck_A 2147483647 60 0 0
FpvSecCmKmacFsmCheck_A 2147483647 60 0 0
FpvSecCmRegWeOnehotCheck_A 2147483647 60 0 0
FpvSecCmRoundCountCheck_A 2147483647 60 0 0
FpvSecCmSHA3FsmCheck_A 2147483647 60 0 0
FpvSecCmSHA3padFsmCheck_A 2147483647 60 0 0
FpvSecCmSentMsgCountCheck_A 2147483647 60 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 1026 1026 0 0
NumEntriesRegSameToNumEntriesPkg_A 1026 1026 0 0
PrefixRegSameToPrefixPkg_A 1026 1026 0 0
SecretKeyDivideBy32_A 1026 1026 0 0
Sha3AbsorbedPulse_A 2147483647 342538 0 0
TlOAReadyKnown_A 2147483647 2147483647 0 0
TlODValidKnown_A 2147483647 2147483647 0 0
g_testassertion.FpvSecCmEntropyFsmCheck_A 2147483647 60 0 0
g_testassertion.FpvSecCmHashCountCheck_A 2147483647 60 0 0
g_testassertion.FpvSecCmMsgFifoRptrCheck_A 2147483647 60 0 0
g_testassertion.FpvSecCmMsgFifoWptrCheck_A 2147483647 60 0 0
g_testassertion.FpvSecCmPackerCountCheck_A 2147483647 60 0 0
u_state_regs_A 2147483647 2147483647 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

CmdSparse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1260595 0 0
T2 641670 886 0 0
T3 127388 1304 0 0
T4 981304 958 0 0
T5 34163 2 0 0
T6 630281 1190 0 0
T7 225950 313 0 0
T11 202859 1216 0 0
T12 203560 379 0 0
T13 1116 2 0 0
T38 140957 299 0 0

EnMaskingKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

EntropyReadyLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 333635 0 0
T2 641670 200 0 0
T3 127388 176 0 0
T4 981304 132 0 0
T5 34163 7 0 0
T6 630281 362 0 0
T7 225950 78 0 0
T11 202859 367 0 0
T12 203560 120 0 0
T13 1116 1 0 0
T38 140957 68 0 0

EntrySizeRegSameToEntrySizePkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1026 1026 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

ErrProcessedLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 755 0 0
T5 34163 7 0 0
T6 630281 0 0 0
T7 225950 0 0 0
T12 203560 0 0 0
T13 1116 0 0 0
T14 600770 0 0 0
T15 0 19 0 0
T38 140957 0 0 0
T39 615234 0 0 0
T40 11902 0 0 0
T41 54326 0 0 0
T46 0 3 0 0
T47 0 14 0 0
T71 0 4 0 0
T72 0 12 0 0
T73 0 17 0 0
T99 0 1 0 0
T100 0 13 0 0
T101 0 3 0 0

FifoEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

FpvSecCmErrorCheckFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmKeccackFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmKeyIndexCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmKmacAppFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmKmacCoreFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmKmacFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmRoundCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmSHA3FsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmSHA3padFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

FpvSecCmSentMsgCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

KmacCmd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

KmacDone_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

KmacErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

KmacStKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

NumAlerts2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1026 1026 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

NumEntriesRegSameToNumEntriesPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1026 1026 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

PrefixRegSameToPrefixPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1026 1026 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

SecretKeyDivideBy32_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1026 1026 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0

Sha3AbsorbedPulse_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 342538 0 0
T2 641670 200 0 0
T3 127388 177 0 0
T4 981304 123 0 0
T5 34163 0 0 0
T6 630281 374 0 0
T7 225950 78 0 0
T11 202859 374 0 0
T12 203560 120 0 0
T13 1116 0 0 0
T38 140957 68 0 0
T39 0 374 0 0
T40 0 9 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

g_testassertion.FpvSecCmEntropyFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

g_testassertion.FpvSecCmHashCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

g_testassertion.FpvSecCmMsgFifoRptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

g_testassertion.FpvSecCmMsgFifoWptrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

g_testassertion.FpvSecCmPackerCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 60 0 0
T17 226917 10 0 0
T18 0 10 0 0
T19 0 20 0 0
T55 2261 0 0 0
T85 0 10 0 0
T102 0 10 0 0
T103 222891 0 0 0
T104 265398 0 0 0
T105 608532 0 0 0
T106 31747 0 0 0
T107 236812 0 0 0
T108 1587 0 0 0
T109 296874 0 0 0
T110 596005 0 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1051 951 0 0
T2 641670 641612 0 0
T3 127388 127382 0 0
T4 981304 981231 0 0
T5 34163 34090 0 0
T6 630281 630273 0 0
T7 225950 225892 0 0
T11 202859 202853 0 0
T12 203560 203503 0 0
T13 1116 958 0 0

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