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

Module : kmac
SCORELINECONDTOGGLEFSMBRANCHASSERT
91.19 96.27 93.33 63.67 100.00 93.85 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.24 96.27 93.33 100.00 100.00 93.85 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.24 96.27 93.33 100.00 100.00 93.85 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
91.48 95.89 92.30 100.00 67.77 94.11 98.84


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
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 81.44 91.14 87.72 40.00 88.35 100.00
u_errchk 91.37 97.22 96.67 66.67 96.30 100.00
u_kmac_core 95.80 98.75 92.86 100.00 100.00 92.31 90.91
u_msgfifo 97.75 100.00 95.00 100.00 93.75 100.00
u_prim_lc_sync 100.00 100.00 100.00 100.00
u_reg 98.98 99.19 96.97 100.00 98.72 100.00
u_sha3 92.16 91.91 88.51 100.00 80.56 92.00 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.97 89.88 81.45 88.54 100.00
u_tlul_adapter_msgfifo 80.11 87.12 74.69 77.38 81.25

Line Coverage for Module : kmac
Line No.TotalCoveredPercent
TOTAL16115596.27
ALWAYS34600
ALWAYS34622100.00
ALWAYS352100.00
CONT_ASSIGN42111100.00
CONT_ASSIGN42211100.00
CONT_ASSIGN42611100.00
ALWAYS42999100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46511100.00
CONT_ASSIGN46611100.00
CONT_ASSIGN46911100.00
CONT_ASSIGN47311100.00
CONT_ASSIGN47411100.00
CONT_ASSIGN47811100.00
CONT_ASSIGN48111100.00
ALWAYS48866100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51811100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52811100.00
CONT_ASSIGN52911100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53211100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53511100.00
CONT_ASSIGN53700
CONT_ASSIGN53911100.00
CONT_ASSIGN54311100.00
CONT_ASSIGN54511100.00
CONT_ASSIGN54611100.00
CONT_ASSIGN54911100.00
CONT_ASSIGN55011100.00
CONT_ASSIGN55311100.00
ALWAYS56155100.00
CONT_ASSIGN57111100.00
CONT_ASSIGN57711100.00
CONT_ASSIGN57811100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN58711100.00
CONT_ASSIGN62911100.00
CONT_ASSIGN63511100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN64811100.00
ALWAYS65155100.00
CONT_ASSIGN67911100.00
CONT_ASSIGN68411100.00
ALWAYS6877571.43
CONT_ASSIGN72311100.00
CONT_ASSIGN728100.00
CONT_ASSIGN73511100.00
CONT_ASSIGN74511100.00
ALWAYS76533100.00
ALWAYS7692828100.00
CONT_ASSIGN92011100.00
CONT_ASSIGN92311100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN99411100.00
CONT_ASSIGN102911100.00
CONT_ASSIGN103411100.00
CONT_ASSIGN103511100.00
CONT_ASSIGN103711100.00
CONT_ASSIGN104000
ALWAYS116100
ALWAYS116122100.00
CONT_ASSIGN1315100.00
CONT_ASSIGN131611100.00
CONT_ASSIGN131711100.00
CONT_ASSIGN132711100.00
CONT_ASSIGN132811100.00
CONT_ASSIGN133411100.00
CONT_ASSIGN133511100.00
CONT_ASSIGN133611100.00
CONT_ASSIGN133711100.00
CONT_ASSIGN134011100.00
CONT_ASSIGN134911100.00
CONT_ASSIGN139111100.00
CONT_ASSIGN140511100.00
CONT_ASSIGN141211100.00
CONT_ASSIGN141711100.00
ALWAYS14236583.33
CONT_ASSIGN143211100.00
CONT_ASSIGN143411100.00
ALWAYS144644100.00
CONT_ASSIGN145211100.00
ALWAYS147544100.00
ALWAYS148533100.00
CONT_ASSIGN149611100.00
CONT_ASSIGN150011100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
346 1 1
347 1 1
352 0 1
421 1 1
422 1 1
426 1 1
429 1 1
430 1 1
431 1 1
432 1 1
434 1 1
436 1 1
440 1 1
444 1 1
448 1 1
464 1 1
465 1 1
466 1 1
469 1 1
473 1 1
474 1 1
478 1 1
481 1 1
488 1 1
489 1 1
490 1 1
491 1 1
492 1 1
493 1 1
MISSING_ELSE
MISSING_ELSE
513 1 1
518 1 1
525 1 1
528 1 1
529 1 1
530 1 1
532 1 1
533 1 1
535 1 1
537 unreachable
539 1 1
543 1 1
545 1 1
546 1 1
549 1 1
550 1 1
553 1 1
561 1 1
562 1 1
563 1 1
564 1 1
566 1 1
571 1 1
577 1 1
578 1 1
579 1 1
587 1 1
629 1 1
635 1 1
643 1 1
648 1 1
651 1 1
652 1 1
653 1 1
655 1 1
656 1 1
679 1 1
684 1 1
687 1 1
689 1 1
694 1 1
698 1 1
702 1 1
706 0 1
710 0 1
723 1 1
728 0 1
735 1 1
745 1 1
765 3 3
769 1 1
771 1 1
772 1 1
774 1 1
776 1 1
778 1 1
779 1 1
782 1 1
785 1 1
791 1 1
792 1 1
794 1 1
799 1 1
800 1 1
801 1 1
803 1 1
809 1 1
814 1 1
815 1 1
817 1 1
819 1 1
825 1 1
826 1 1
828 1 1
834 1 1
835 1 1
847 1 1
848 1 1
MISSING_ELSE
920 1 1
923 1 1
992 1 1
994 1 1
1029 1 1
1034 1 1
1035 1 1
1037 1 1
1040 unreachable
1161 1 1
1162 1 1
1315 0 1
1316 1 1
1317 1 1
1327 1 1
1328 1 1
1334 1 1
1335 1 1
1336 1 1
1337 1 1
1340 1 1
1349 1 1
1391 1 1
1405 1 1
1412 1 1
1417 1 1
1423 1 1
1424 1 1
1425 1 1
1426 0 1
1427 1 1
1428 1 1
MISSING_ELSE
1432 1 1
1434 1 1
1446 1 1
1447 1 1
1448 1 1
1449 1 1
MISSING_ELSE
1452 1 1
1475 1 1
1476 1 1
1477 1 1
1479 1 1
MISSING_ELSE
1485 1 1
1486 1 1
1489 1 1
1496 1 1
1500 1 1
1502 6 6


Cond Coverage for Module : kmac
TotalCoveredPercent
Conditions908493.33
Logical908493.33
Non-Logical00
Event00

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

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

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

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

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

 LINE       530
 EXPRESSION (reg2hw.cmd.entropy_req.q && reg2hw.cmd.entropy_req.qe)
             ------------1-----------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT28,T32,T33

 LINE       539
 EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
             -------------1------------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT28,T32,T33

 LINE       543
 EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT52,T59,T60
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       550
 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       563
 EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
             ----------1---------    ------------------2------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

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

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

 LINE       571
 EXPRESSION (reg2hw.cmd.err_processed.q & reg2hw.cmd.err_processed.qe)
             -------------1------------   -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT20,T21,T22

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

 LINE       635
 EXPRESSION (msgfifo_full ? 1'b1 : (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)))
             ------1-----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT23,T31,T52

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

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

 LINE       643
 EXPRESSION (app_active ? 1'b1 : ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))))
             -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T17,T23

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

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

 LINE       643
 SUB-EXPRESSION (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))
                 ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       648
 EXPRESSION (msgfifo_empty_gate ? 1'b0 : msgfifo_empty)
             ---------1--------
-1-StatusTests
0CoveredT55,T56,T57
1CoveredT1,T2,T3

 LINE       679
 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,T30,T34
0010Not Covered
0100CoveredT3,T30,T4
1000CoveredT24,T25,T26

 LINE       723
 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
0001Not Covered
0010CoveredT10,T11,T12
0100Unreachable
1000CoveredT10,T11,T12

 LINE       735
 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
000001CoveredT10,T11,T12
000010Unreachable
000100CoveredT10,T11,T12
001000CoveredT10,T11,T12
010000CoveredT10,T11,T12
100000CoveredT10,T11,T12

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

 LINE       778
 EXPRESSION (CShake == app_sha3_mode)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T3,T15

 LINE       792
 EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
             -----1-----
-1-StatusTests
0CoveredT3,T17,T23
1CoveredT1,T3,T15

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

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

 LINE       1405
 SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
                 -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT61,T62,T63
10CoveredT1,T2,T3
11CoveredT61,T62,T63

 LINE       1405
 SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
                 -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT61,T62,T63
10CoveredT1,T2,T3
11CoveredT61,T62,T63

 LINE       1434
 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
00010CoveredT10,T11,T12
00100CoveredT4,T5,T6
01000CoveredT10,T11,T12
10000Not Covered

Toggle Coverage for Module : kmac
TotalCoveredPercent
Totals 71 64 90.14
Total Bits 6534 4160 63.67
Total Bits 0->1 3267 2080 63.67
Total Bits 1->0 3267 2080 63.67

Ports 71 64 90.14
Port Bits 6534 4160 63.67
Port Bits 0->1 3267 2080 63.67
Port Bits 1->0 3267 2080 63.67

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T3,T14,T16 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 T1,T13,T15 Yes T1,T13,T15 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,T3,T13 Yes T1,T3,T13 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,T37,T64 Yes T35,T37,T64 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 T61,T62,T63 Yes T61,T62,T63 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 T4,T61,T62 Yes T4,T61,T62 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 T61,T62,T63 Yes T61,T62,T63 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 T4,T61,T62 Yes T4,T61,T62 OUTPUT
keymgr_key_i.key[0][0] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][2:1] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][3] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][4] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][5] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][6] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][7] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][9:8] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][10] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][11] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][13:12] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][14] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][15] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][16] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][17] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][20:18] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][22:21] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][23] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][24] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][28:25] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][29] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][31:30] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][33:32] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][35:34] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][36] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][37] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][38] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][39] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][40] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][41] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][42] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][43] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][44] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][45] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][46] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][48:47] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][49] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][50] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][51] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][53:52] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][54] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][56:55] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][57] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][58] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][59] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][61:60] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][62] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][63] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][64] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][65] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][66] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][67] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][68] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][69] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][71:70] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][72] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][73] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][75:74] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][76] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][77] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][78] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][79] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][80] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][81] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][82] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][83] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][85:84] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][86] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][88:87] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][90:89] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][93:91] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][94] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][95] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][97:96] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][99:98] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][100] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][101] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][102] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][103] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][104] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][106:105] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][108:107] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][110:109] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][111] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][112] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][113] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][114] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][115] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][117:116] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][119:118] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][127:120] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][128] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][130:129] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][131] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][132] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][133] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][136:134] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][137] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][141:138] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][143:142] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][144] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][146:145] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][147] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][148] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][149] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][150] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][151] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][155:152] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][156] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][157] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][158] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][159] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][160] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][161] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][162] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][163] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][164] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][165] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][166] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][167] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][168] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][170:169] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][172:171] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][175:173] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][176] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][181:177] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][182] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][183] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][184] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][185] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][186] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][187] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][188] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][189] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][190] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][193:191] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][194] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][195] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][197:196] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][198] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][199] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][200] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][201] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][202] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][204:203] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][206:205] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][207] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][209:208] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][211:210] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][214:212] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][215] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][216] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][217] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][218] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][219] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][221:220] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][222] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][224:223] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][225] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][226] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][227] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][229:228] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][230] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][231] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][232] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][233] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][234] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][235] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][236] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][237] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][239:238] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][240] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][241] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][243:242] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][244] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][245] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][246] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][248:247] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][249] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][251:250] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][253:252] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][254] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][255] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][0] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][2:1] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][3] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][6:4] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][7] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][8] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][9] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][10] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][11] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][12] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][13] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][14] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][17:15] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][18] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][19] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][20] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][21] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][22] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][23] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][24] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][25] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][26] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][27] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][28] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][30:29] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][31] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][33:32] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][35:34] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][36] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][37] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][38] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][39] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][40] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][42:41] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][43] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][45:44] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][47:46] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][48] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][49] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][50] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][51] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][52] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][53] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][54] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][55] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][56] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][58:57] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][59] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][60] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][61] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][62] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][64:63] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][65] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][66] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][67] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][68] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][69] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][70] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][71] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][72] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][73] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][75:74] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][76] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][77] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][78] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][79] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][82:80] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][83] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][84] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][85] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][86] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][87] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][88] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][89] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][90] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][91] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][92] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][93] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][94] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][95] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][98:96] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][99] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][100] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][101] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][102] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][103] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][104] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][105] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][106] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][108:107] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][109] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][116:110] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][117] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][121:118] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][122] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][127:123] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][128] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][129] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][130] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][132:131] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][133] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][137:134] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][138] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][140:139] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][141] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][143:142] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][145:144] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][146] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][147] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][148] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][149] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][150] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][152:151] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][153] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][154] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][155] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][156] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][157] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][158] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][159] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][160] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][161] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][162] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][164:163] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][165] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][168:166] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][169] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][170] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][171] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][172] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][173] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][174] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][175] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][176] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][180:177] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][181] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][184:182] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][185] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][186] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][187] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][188] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][190:189] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][191] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][192] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][193] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][194] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][195] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][196] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][197] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][198] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][199] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][200] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][201] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][202] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][203] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][204] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][205] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][206] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][207] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][208] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][210:209] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][211] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][212] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][213] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][215:214] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][216] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][217] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][218] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][219] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][220] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][221] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][222] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][223] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][224] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][226:225] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][227] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][228] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][229] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][230] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][231] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][232] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][233] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][234] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][235] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][236] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][237] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][238] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][239] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[1][241:240] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][242] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][243] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][244] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][245] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][246] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][247] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][248] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][249] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][250] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][253:251] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][254] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][255] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.valid Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
app_i[0].last Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[0].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[0].data[63:0] Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[0].valid Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[1].last Yes Yes T23,T31,T51 Yes T3,T17,T23 INPUT
app_i[1].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[1].data[63:0] Yes Yes T3,T17,T23 Yes T3,T17,T23 INPUT
app_i[1].valid Yes Yes T3,T17,T23 Yes T3,T17,T23 INPUT
app_i[2].last Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_i[2].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[2].data[63:0] Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_i[2].valid Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_o[0].error Yes Yes T4,T5,T24 Yes T4,T5,T24 OUTPUT
app_o[0].digest_share1[383:0] No No No OUTPUT
app_o[0].digest_share0[383:0] Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[0].done Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[0].ready Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[1].error Yes Yes T24,T25,T26 Yes T24,T25,T26 OUTPUT
app_o[1].digest_share1[383:0] No No No OUTPUT
app_o[1].digest_share0[383:0] Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[1].done Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[1].ready Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[2].error Yes Yes T24,T25,T26 Yes T24,T25,T26 OUTPUT
app_o[2].digest_share1[383:0] No No No OUTPUT
app_o[2].digest_share0[383:0] Yes Yes T23,T31,T51 Yes T23,T31,T51 OUTPUT
app_o[2].done Yes Yes T3,T23,T31 Yes T3,T23,T31 OUTPUT
app_o[2].ready Yes Yes T3,T23,T31 Yes T3,T23,T31 OUTPUT
entropy_o.edn_req No No No OUTPUT
entropy_i.edn_bus[31:0] No No No INPUT
entropy_i.edn_fips No No No INPUT
entropy_i.edn_ack No No No INPUT
lc_escalate_en_i[3:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
intr_kmac_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_fifo_empty_o Yes Yes T55,T56,T57 Yes T55,T56,T57 OUTPUT
intr_kmac_err_o Yes Yes T3,T30,T4 Yes T3,T30,T4 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 817 Covered T1,T2,T3
KmacIdle 785 Covered T1,T2,T3
KmacKeyBlock 792 Covered T1,T3,T15
KmacMsgFeed 782 Covered T1,T2,T3
KmacPrefix 779 Covered T1,T3,T15
KmacTerminalError 834 Covered T4,T5,T6


transitionsLine No.CoveredTests
KmacDigest->KmacIdle 826 Covered T1,T2,T3
KmacDigest->KmacTerminalError 848 Covered T65
KmacIdle->KmacMsgFeed 782 Covered T1,T2,T3
KmacIdle->KmacPrefix 779 Covered T1,T3,T15
KmacIdle->KmacTerminalError 848 Covered T6,T10,T42
KmacKeyBlock->KmacMsgFeed 801 Covered T1,T3,T15
KmacKeyBlock->KmacTerminalError 848 Covered T66,T67,T68
KmacMsgFeed->KmacDigest 817 Covered T1,T2,T3
KmacMsgFeed->KmacIdle 814 Covered T3,T17,T23
KmacMsgFeed->KmacTerminalError 848 Covered T4,T5,T38
KmacPrefix->KmacKeyBlock 792 Covered T1,T3,T15
KmacPrefix->KmacMsgFeed 792 Covered T3,T17,T23
KmacPrefix->KmacTerminalError 848 Covered T39,T7,T9



Branch Coverage for Module : kmac
Line No.TotalCoveredPercent
Branches 65 61 93.85
TERNARY 426 2 2 100.00
TERNARY 635 4 4 100.00
TERNARY 643 4 4 100.00
TERNARY 648 2 2 100.00
CASE 434 6 5 83.33
IF 488 3 3 100.00
IF 561 3 3 100.00
IF 651 2 2 100.00
CASE 689 6 4 66.67
IF 765 2 2 100.00
CASE 774 15 15 100.00
IF 847 2 2 100.00
TERNARY 1162 2 2 100.00
IF 1423 4 3 75.00
IF 1446 3 3 100.00
IF 1475 3 3 100.00
IF 1485 2 2 100.00

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

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

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


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

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


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

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


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T55,T56,T57


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

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


LineNo. Expression -1-: 488 if ((!rst_ni)) -2-: 490 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-: 561 if ((!rst_ni)) -2-: 563 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-: 651 if ((!rst_ni))

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


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

Branches:
-1-StatusTests
app_err.valid Covered T3,T30,T4
errchecker_err.valid Covered T3,T30,T34
sha3_err.valid Covered T24,T25,T26
entropy_err.valid Not Covered
msgfifo_err.valid Not Covered
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 774 case (kmac_st) -2-: 776 if ((kmac_cmd == CmdStart)) -3-: 778 if ((CShake == app_sha3_mode)) -4-: 791 if (sha3_block_processed) -5-: 792 (app_kmac_en) ? -6-: 800 if (sha3_block_processed) -7-: 809 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done))) -8-: 815 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done))) -9-: 825 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 T1,T3,T15
KmacIdle 1 0 - - - - - - Covered T1,T2,T3
KmacIdle 0 - - - - - - - Covered T1,T2,T3
KmacPrefix - - 1 1 - - - - Covered T1,T3,T15
KmacPrefix - - 1 0 - - - - Covered T3,T17,T23
KmacPrefix - - 0 - - - - - Covered T1,T3,T15
KmacKeyBlock - - - - 1 - - - Covered T1,T3,T15
KmacKeyBlock - - - - 0 - - - Covered T1,T3,T15
KmacMsgFeed - - - - - 1 - - Covered T3,T17,T23
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 T4,T5,T6
default - - - - - - - - Covered T10,T11,T12


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

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


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

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


LineNo. Expression -1-: 1423 if ((!rst_ni)) -2-: 1425 if (alert_recov_operation) -3-: 1427 if (err_processed)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Not Covered
0 0 1 Covered T20,T21,T22
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1446 if ((!rst_ni)) -2-: 1448 if (alert_fatal)

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


LineNo. Expression -1-: 1475 if ((!rst_ni)) -2-: 1477 if (alerts[1])

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 1500842167 1500680698 0 0
CmdSparse_M 1500842167 833071 0 0
EnMaskingKnown_A 1500842167 1500680698 0 0
EntropyReadyLatched_A 1500842167 211146 0 0
EntrySizeRegSameToEntrySizePkg_A 958 958 0 0
ErrProcessedLatched_A 1500842167 562 0 0
FifoEmpty_A 1500842167 1500680698 0 0
FpvSecCmErrorCheckFsmCheck_A 1500842167 80 0 0
FpvSecCmKeccackFsmCheck_A 1500842167 80 0 0
FpvSecCmKeyIndexCountCheck_A 1500842167 80 0 0
FpvSecCmKmacAppFsmCheck_A 1500842167 80 0 0
FpvSecCmKmacCoreFsmCheck_A 1500842167 80 0 0
FpvSecCmKmacFsmCheck_A 1500842167 80 0 0
FpvSecCmRegWeOnehotCheck_A 1500842167 80 0 0
FpvSecCmRoundCountCheck_A 1500842167 80 0 0
FpvSecCmSHA3FsmCheck_A 1500842167 80 0 0
FpvSecCmSHA3padFsmCheck_A 1500842167 80 0 0
FpvSecCmSentMsgCountCheck_A 1500842167 80 0 0
KmacCmd_A 1500842167 1500680698 0 0
KmacDone_A 1500842167 1500680698 0 0
KmacErr_A 1500842167 1500680698 0 0
KmacStKnown_A 1500842167 1500680698 0 0
NumAlerts2_A 958 958 0 0
NumEntriesRegSameToNumEntriesPkg_A 958 958 0 0
PrefixRegSameToPrefixPkg_A 958 958 0 0
SecretKeyDivideBy32_A 958 958 0 0
Sha3AbsorbedPulse_A 1500842167 217214 0 0
TlOAReadyKnown_A 1500842167 1500680698 0 0
TlODValidKnown_A 1500842167 1500680698 0 0
u_state_regs_A 1500842167 1500680698 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

CmdSparse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 833071 0 0
T1 417838 238 0 0
T2 134487 996 0 0
T3 127237 856 0 0
T13 176374 1188 0 0
T14 317593 789 0 0
T15 295574 924 0 0
T16 34204 15 0 0
T17 120172 111 0 0
T18 176807 1199 0 0
T19 25617 20 0 0

EnMaskingKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

EntropyReadyLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 211146 0 0
T1 417838 31 0 0
T2 134487 303 0 0
T3 127237 120 0 0
T13 176374 357 0 0
T14 317593 234 0 0
T15 295574 127 0 0
T16 34204 3 0 0
T17 120172 15 0 0
T18 176807 361 0 0
T19 25617 3 0 0

EntrySizeRegSameToEntrySizePkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

ErrProcessedLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 562 0 0
T20 37735 5 0 0
T21 148614 18 0 0
T22 0 8 0 0
T63 2024 0 0 0
T69 0 14 0 0
T70 0 15 0 0
T71 0 14 0 0
T72 0 18 0 0
T73 0 12 0 0
T74 0 13 0 0
T75 0 19 0 0
T76 951367 0 0 0
T77 16637 0 0 0
T78 646988 0 0 0
T79 1177 0 0 0
T80 605631 0 0 0
T81 110717 0 0 0
T82 237517 0 0 0

FifoEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

FpvSecCmErrorCheckFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKeccackFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKeyIndexCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacAppFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacCoreFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmRoundCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSHA3FsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSHA3padFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSentMsgCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

KmacCmd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacDone_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacStKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

NumAlerts2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

NumEntriesRegSameToNumEntriesPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

PrefixRegSameToPrefixPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

SecretKeyDivideBy32_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

Sha3AbsorbedPulse_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 217214 0 0
T1 417838 31 0 0
T2 134487 310 0 0
T3 127237 109 0 0
T13 176374 374 0 0
T14 317593 246 0 0
T15 295574 128 0 0
T16 34204 3 0 0
T17 120172 15 0 0
T18 176807 374 0 0
T19 25617 3 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

Line Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
TOTAL16115596.27
ALWAYS34600
ALWAYS34622100.00
ALWAYS352100.00
CONT_ASSIGN42111100.00
CONT_ASSIGN42211100.00
CONT_ASSIGN42611100.00
ALWAYS42999100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46511100.00
CONT_ASSIGN46611100.00
CONT_ASSIGN46911100.00
CONT_ASSIGN47311100.00
CONT_ASSIGN47411100.00
CONT_ASSIGN47811100.00
CONT_ASSIGN48111100.00
ALWAYS48866100.00
CONT_ASSIGN51311100.00
CONT_ASSIGN51811100.00
CONT_ASSIGN52511100.00
CONT_ASSIGN52811100.00
CONT_ASSIGN52911100.00
CONT_ASSIGN53011100.00
CONT_ASSIGN53211100.00
CONT_ASSIGN53311100.00
CONT_ASSIGN53511100.00
CONT_ASSIGN53700
CONT_ASSIGN53911100.00
CONT_ASSIGN54311100.00
CONT_ASSIGN54511100.00
CONT_ASSIGN54611100.00
CONT_ASSIGN54911100.00
CONT_ASSIGN55011100.00
CONT_ASSIGN55311100.00
ALWAYS56155100.00
CONT_ASSIGN57111100.00
CONT_ASSIGN57711100.00
CONT_ASSIGN57811100.00
CONT_ASSIGN57911100.00
CONT_ASSIGN58711100.00
CONT_ASSIGN62911100.00
CONT_ASSIGN63511100.00
CONT_ASSIGN64311100.00
CONT_ASSIGN64811100.00
ALWAYS65155100.00
CONT_ASSIGN67911100.00
CONT_ASSIGN68411100.00
ALWAYS6877571.43
CONT_ASSIGN72311100.00
CONT_ASSIGN728100.00
CONT_ASSIGN73511100.00
CONT_ASSIGN74511100.00
ALWAYS76533100.00
ALWAYS7692828100.00
CONT_ASSIGN92011100.00
CONT_ASSIGN92311100.00
CONT_ASSIGN99211100.00
CONT_ASSIGN99411100.00
CONT_ASSIGN102911100.00
CONT_ASSIGN103411100.00
CONT_ASSIGN103511100.00
CONT_ASSIGN103711100.00
CONT_ASSIGN104000
ALWAYS116100
ALWAYS116122100.00
CONT_ASSIGN1315100.00
CONT_ASSIGN131611100.00
CONT_ASSIGN131711100.00
CONT_ASSIGN132711100.00
CONT_ASSIGN132811100.00
CONT_ASSIGN133411100.00
CONT_ASSIGN133511100.00
CONT_ASSIGN133611100.00
CONT_ASSIGN133711100.00
CONT_ASSIGN134011100.00
CONT_ASSIGN134911100.00
CONT_ASSIGN139111100.00
CONT_ASSIGN140511100.00
CONT_ASSIGN141211100.00
CONT_ASSIGN141711100.00
ALWAYS14236583.33
CONT_ASSIGN143211100.00
CONT_ASSIGN143411100.00
ALWAYS144644100.00
CONT_ASSIGN145211100.00
ALWAYS147544100.00
ALWAYS148533100.00
CONT_ASSIGN149611100.00
CONT_ASSIGN150011100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
CONT_ASSIGN150211100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' or '../src/lowrisc_ip_kmac_0.1/rtl/kmac.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
346 1 1
347 1 1
352 0 1
421 1 1
422 1 1
426 1 1
429 1 1
430 1 1
431 1 1
432 1 1
434 1 1
436 1 1
440 1 1
444 1 1
448 1 1
464 1 1
465 1 1
466 1 1
469 1 1
473 1 1
474 1 1
478 1 1
481 1 1
488 1 1
489 1 1
490 1 1
491 1 1
492 1 1
493 1 1
MISSING_ELSE
MISSING_ELSE
513 1 1
518 1 1
525 1 1
528 1 1
529 1 1
530 1 1
532 1 1
533 1 1
535 1 1
537 unreachable
539 1 1
543 1 1
545 1 1
546 1 1
549 1 1
550 1 1
553 1 1
561 1 1
562 1 1
563 1 1
564 1 1
566 1 1
571 1 1
577 1 1
578 1 1
579 1 1
587 1 1
629 1 1
635 1 1
643 1 1
648 1 1
651 1 1
652 1 1
653 1 1
655 1 1
656 1 1
679 1 1
684 1 1
687 1 1
689 1 1
694 1 1
698 1 1
702 1 1
706 0 1
710 0 1
723 1 1
728 0 1
735 1 1
745 1 1
765 3 3
769 1 1
771 1 1
772 1 1
774 1 1
776 1 1
778 1 1
779 1 1
782 1 1
785 1 1
791 1 1
792 1 1
794 1 1
799 1 1
800 1 1
801 1 1
803 1 1
809 1 1
814 1 1
815 1 1
817 1 1
819 1 1
825 1 1
826 1 1
828 1 1
834 1 1
835 1 1
847 1 1
848 1 1
MISSING_ELSE
920 1 1
923 1 1
992 1 1
994 1 1
1029 1 1
1034 1 1
1035 1 1
1037 1 1
1040 unreachable
1161 1 1
1162 1 1
1315 0 1
1316 1 1
1317 1 1
1327 1 1
1328 1 1
1334 1 1
1335 1 1
1336 1 1
1337 1 1
1340 1 1
1349 1 1
1391 1 1
1405 1 1
1412 1 1
1417 1 1
1423 1 1
1424 1 1
1425 1 1
1426 0 1
1427 1 1
1428 1 1
MISSING_ELSE
1432 1 1
1434 1 1
1446 1 1
1447 1 1
1448 1 1
1449 1 1
MISSING_ELSE
1452 1 1
1475 1 1
1476 1 1
1477 1 1
1479 1 1
MISSING_ELSE
1485 1 1
1486 1 1
1489 1 1
1496 1 1
1500 1 1
1502 6 6


Cond Coverage for Instance : tb.dut
TotalCoveredPercent
Conditions908493.33
Logical908493.33
Non-Logical00
Event00

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

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

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

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

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

 LINE       530
 EXPRESSION (reg2hw.cmd.entropy_req.q && reg2hw.cmd.entropy_req.qe)
             ------------1-----------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT28,T32,T33

 LINE       539
 EXPRESSION (reg2hw.cmd.hash_cnt_clr.qe && reg2hw.cmd.hash_cnt_clr.q)
             -------------1------------    ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT28,T32,T33

 LINE       543
 EXPRESSION (reg2hw.cfg_shadowed.entropy_ready.q & reg2hw.cfg_shadowed.entropy_ready.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT52,T59,T60
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       550
 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       563
 EXPRESSION ((sha3_fsm == StIdle) && (msgfifo_empty || SecIdleAcceptSwMsg))
             ----------1---------    ------------------2------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

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

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

 LINE       571
 EXPRESSION (reg2hw.cmd.err_processed.q & reg2hw.cmd.err_processed.qe)
             -------------1------------   -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT20,T21,T22

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

 LINE       635
 EXPRESSION (msgfifo_full ? 1'b1 : (msgfifo_empty_negedge ? 1'b0 : (msgfifo2kmac_process ? 1'b0 : msgfifo_full_seen_q)))
             ------1-----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT23,T31,T52

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

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

 LINE       643
 EXPRESSION (app_active ? 1'b1 : ((sha3_fsm != StAbsorb) ? 1'b1 : (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))))
             -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T17,T23

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

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

 LINE       643
 SUB-EXPRESSION (msgfifo2kmac_process ? 1'b1 : ((~msgfifo_full_seen_q)))
                 ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       648
 EXPRESSION (msgfifo_empty_gate ? 1'b0 : msgfifo_empty)
             ---------1--------
-1-StatusTests
0CoveredT55,T56,T57
1CoveredT1,T2,T3

 LINE       679
 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,T30,T34
0010Not Covered
0100CoveredT3,T30,T4
1000CoveredT24,T25,T26

 LINE       723
 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
0001Not Covered
0010CoveredT10,T11,T12
0100Unreachable
1000CoveredT10,T11,T12

 LINE       735
 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
000001CoveredT10,T11,T12
000010Unreachable
000100CoveredT10,T11,T12
001000CoveredT10,T11,T12
010000CoveredT10,T11,T12
100000CoveredT10,T11,T12

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

 LINE       778
 EXPRESSION (CShake == app_sha3_mode)
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T3,T15

 LINE       792
 EXPRESSION (app_kmac_en ? KmacKeyBlock : KmacMsgFeed)
             -----1-----
-1-StatusTests
0CoveredT3,T17,T23
1CoveredT1,T3,T15

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

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

 LINE       1405
 SUB-EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
                 -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT61,T62,T63
10CoveredT1,T2,T3
11CoveredT61,T62,T63

 LINE       1405
 SUB-EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
                 -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT61,T62,T63
10CoveredT1,T2,T3
11CoveredT61,T62,T63

 LINE       1434
 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
00010CoveredT10,T11,T12
00100CoveredT4,T5,T6
01000CoveredT10,T11,T12
10000Not Covered

Toggle Coverage for Instance : tb.dut
TotalCoveredPercent
Totals 64 64 100.00
Total Bits 4160 4160 100.00
Total Bits 0->1 2080 2080 100.00
Total Bits 1->0 2080 2080 100.00

Ports 64 64 100.00
Port Bits 4160 4160 100.00
Port Bits 0->1 2080 2080 100.00
Port Bits 1->0 2080 2080 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirectionExclude Annotation
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T4,T5,T6 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T3,T14,T16 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 T1,T13,T15 Yes T1,T13,T15 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,T3,T13 Yes T1,T3,T13 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,T37,T64 Yes T35,T37,T64 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 T61,T62,T63 Yes T61,T62,T63 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 T4,T61,T62 Yes T4,T61,T62 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 T61,T62,T63 Yes T61,T62,T63 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 T4,T61,T62 Yes T4,T61,T62 OUTPUT
keymgr_key_i.key[0][0] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][2:1] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][3] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][4] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][5] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][6] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][7] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][9:8] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][10] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][11] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][13:12] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][14] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][15] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][16] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][17] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][20:18] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][22:21] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][23] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][24] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][28:25] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][29] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][31:30] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][33:32] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][35:34] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][36] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][37] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][38] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][39] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][40] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][41] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][42] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][43] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][44] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][45] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][46] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][48:47] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][49] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][50] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][51] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][53:52] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][54] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][56:55] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][57] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][58] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][59] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][61:60] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][62] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][63] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][64] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][65] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][66] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][67] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][68] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][69] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][71:70] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][72] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][73] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][75:74] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][76] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][77] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][78] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][79] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][80] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][81] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][82] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][83] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][85:84] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][86] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][88:87] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][90:89] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][93:91] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][94] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][95] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][97:96] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][99:98] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][100] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][101] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][102] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][103] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][104] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][106:105] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][108:107] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][110:109] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][111] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][112] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][113] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][114] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][115] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][117:116] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][119:118] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][127:120] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][128] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][130:129] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][131] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][132] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][133] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][136:134] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][137] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][141:138] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][143:142] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][144] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][146:145] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][147] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][148] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][149] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][150] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][151] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][155:152] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][156] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][157] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][158] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][159] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][160] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][161] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][162] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][163] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][164] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][165] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][166] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][167] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][168] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][170:169] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][172:171] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][175:173] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][176] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][181:177] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][182] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][183] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][184] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][185] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][186] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][187] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[0][188] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][189] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][190] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][193:191] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][194] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][195] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][197:196] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][198] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][199] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][200] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][201] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][202] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][204:203] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][206:205] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][207] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][209:208] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][211:210] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][214:212] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][215] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][216] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][217] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][218] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][219] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][221:220] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][222] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][224:223] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][225] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][226] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][227] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][229:228] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][230] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][231] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][232] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][233] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][234] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][235] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][236] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][237] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][239:238] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][240] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][241] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][243:242] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][244] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][245] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][246] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][248:247] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][249] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][251:250] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][253:252] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][254] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[0][255] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][0] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][2:1] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][3] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][6:4] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][7] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][8] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][9] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][10] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][11] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][12] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][13] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][14] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][17:15] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][18] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][19] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][20] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][21] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][22] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][23] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][24] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][25] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][26] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][27] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][28] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][30:29] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][31] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][33:32] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][35:34] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][36] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][37] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][38] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][39] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][40] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][42:41] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][43] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][45:44] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][47:46] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][48] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][49] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][50] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][51] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][52] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][53] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][54] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][55] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][56] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][58:57] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][59] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][60] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][61] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][62] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][64:63] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][65] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][66] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][67] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][68] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][69] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][70] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][71] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][72] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][73] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][75:74] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][76] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][77] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][78] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][79] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][82:80] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][83] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][84] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][85] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][86] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][87] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][88] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][89] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][90] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][91] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][92] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][93] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][94] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][95] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][98:96] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][99] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][100] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][101] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][102] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][103] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][104] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][105] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][106] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][108:107] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][109] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][116:110] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][117] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][121:118] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][122] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][127:123] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][128] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][129] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][130] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][132:131] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][133] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][137:134] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][138] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][140:139] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][141] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][143:142] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][145:144] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][146] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][147] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][148] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][149] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][150] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][152:151] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][153] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][154] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][155] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][156] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][157] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][158] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][159] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][160] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][161] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][162] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][164:163] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][165] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][168:166] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][169] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][170] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][171] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][172] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][173] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][174] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][175] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][176] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][180:177] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][181] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][184:182] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][185] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][186] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][187] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][188] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][190:189] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][191] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][192] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][193] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][194] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][195] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][196] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][197] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][198] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][199] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][200] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][201] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][202] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][203] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][204] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][205] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][206] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][207] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][208] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][210:209] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][211] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][212] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][213] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][215:214] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][216] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][217] Yes Yes T3,T15,T23 Yes T3,T15,T23 INPUT
keymgr_key_i.key[1][218] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][219] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][220] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][221] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][222] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][223] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][224] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][226:225] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][227] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][228] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][229] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][230] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][231] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][232] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][233] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][234] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][235] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][236] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][237] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][238] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][239] Yes Yes T3,T15,T17 Yes T3,T15,T17 INPUT
keymgr_key_i.key[1][241:240] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][242] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][243] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][244] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][245] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][246] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][247] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][248] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][249] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][250] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][253:251] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][254] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.key[1][255] Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
keymgr_key_i.valid Yes Yes T1,T3,T15 Yes T1,T3,T15 INPUT
app_i[0].last Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[0].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[0].data[63:0] Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[0].valid Yes Yes T23,T30,T31 Yes T23,T30,T31 INPUT
app_i[1].last Yes Yes T23,T31,T51 Yes T3,T17,T23 INPUT
app_i[1].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[1].data[63:0] Yes Yes T3,T17,T23 Yes T3,T17,T23 INPUT
app_i[1].valid Yes Yes T3,T17,T23 Yes T3,T17,T23 INPUT
app_i[2].last Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_i[2].strb[7:0] Yes Yes T28,T32,T33 Yes T28,T32,T33 INPUT
app_i[2].data[63:0] Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_i[2].valid Yes Yes T3,T23,T31 Yes T3,T23,T31 INPUT
app_o[0].error Yes Yes T4,T5,T24 Yes T4,T5,T24 OUTPUT
app_o[0].digest_share1[383:0] Excluded Excluded Excluded OUTPUT [UNSUPPORTED]: unmasked kmac share1 always output 0.
app_o[0].digest_share0[383:0] Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[0].done Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[0].ready Yes Yes T23,T30,T31 Yes T23,T30,T31 OUTPUT
app_o[1].error Yes Yes T24,T25,T26 Yes T24,T25,T26 OUTPUT
app_o[1].digest_share1[383:0] Excluded Excluded Excluded OUTPUT [UNSUPPORTED]: unmasked kmac share1 always output 0.
app_o[1].digest_share0[383:0] Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[1].done Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[1].ready Yes Yes T3,T17,T23 Yes T3,T17,T23 OUTPUT
app_o[2].error Yes Yes T24,T25,T26 Yes T24,T25,T26 OUTPUT
app_o[2].digest_share1[383:0] Excluded Excluded Excluded OUTPUT [UNSUPPORTED]: unmasked kmac share1 always output 0.
app_o[2].digest_share0[383:0] Yes Yes T23,T31,T51 Yes T23,T31,T51 OUTPUT
app_o[2].done Yes Yes T3,T23,T31 Yes T3,T23,T31 OUTPUT
app_o[2].ready Yes Yes T3,T23,T31 Yes T3,T23,T31 OUTPUT
entropy_o.edn_req[0:0] Excluded Excluded Excluded OUTPUT [UNSUPPORTED]: unmasked kmac does not use entropy.
entropy_i.edn_bus[31:0] Excluded Excluded Excluded INPUT [UNSUPPORTED]: unmasked kmac does not use entropy.
entropy_i.edn_fips[0:0] Excluded Excluded Excluded INPUT [UNSUPPORTED]: unmasked kmac does not use entropy.
entropy_i.edn_ack[0:0] Excluded Excluded Excluded INPUT [UNSUPPORTED]: unmasked kmac does not use entropy.
lc_escalate_en_i[3:0] Yes Yes T4,T5,T6 Yes T4,T5,T6 INPUT
intr_kmac_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_fifo_empty_o Yes Yes T55,T56,T57 Yes T55,T56,T57 OUTPUT
intr_kmac_err_o Yes Yes T3,T30,T4 Yes T3,T30,T4 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 Instance : tb.dut
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 817 Covered T1,T2,T3
KmacIdle 785 Covered T1,T2,T3
KmacKeyBlock 792 Covered T1,T3,T15
KmacMsgFeed 782 Covered T1,T2,T3
KmacPrefix 779 Covered T1,T3,T15
KmacTerminalError 834 Covered T4,T5,T6


transitionsLine No.CoveredTests
KmacDigest->KmacIdle 826 Covered T1,T2,T3
KmacDigest->KmacTerminalError 848 Covered T65
KmacIdle->KmacMsgFeed 782 Covered T1,T2,T3
KmacIdle->KmacPrefix 779 Covered T1,T3,T15
KmacIdle->KmacTerminalError 848 Covered T6,T10,T42
KmacKeyBlock->KmacMsgFeed 801 Covered T1,T3,T15
KmacKeyBlock->KmacTerminalError 848 Covered T66,T67,T68
KmacMsgFeed->KmacDigest 817 Covered T1,T2,T3
KmacMsgFeed->KmacIdle 814 Covered T3,T17,T23
KmacMsgFeed->KmacTerminalError 848 Covered T4,T5,T38
KmacPrefix->KmacKeyBlock 792 Covered T1,T3,T15
KmacPrefix->KmacMsgFeed 792 Covered T3,T17,T23
KmacPrefix->KmacTerminalError 848 Covered T39,T7,T9



Branch Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
Branches 65 61 93.85
TERNARY 426 2 2 100.00
TERNARY 635 4 4 100.00
TERNARY 643 4 4 100.00
TERNARY 648 2 2 100.00
CASE 434 6 5 83.33
IF 488 3 3 100.00
IF 561 3 3 100.00
IF 651 2 2 100.00
CASE 689 6 4 66.67
IF 765 2 2 100.00
CASE 774 15 15 100.00
IF 847 2 2 100.00
TERNARY 1162 2 2 100.00
IF 1423 4 3 75.00
IF 1446 3 3 100.00
IF 1475 3 3 100.00
IF 1485 2 2 100.00

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

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

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


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

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


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

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


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T55,T56,T57


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

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


LineNo. Expression -1-: 488 if ((!rst_ni)) -2-: 490 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-: 561 if ((!rst_ni)) -2-: 563 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-: 651 if ((!rst_ni))

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


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

Branches:
-1-StatusTests
app_err.valid Covered T3,T30,T4
errchecker_err.valid Covered T3,T30,T34
sha3_err.valid Covered T24,T25,T26
entropy_err.valid Not Covered
msgfifo_err.valid Not Covered
default Covered T1,T2,T3


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

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


LineNo. Expression -1-: 774 case (kmac_st) -2-: 776 if ((kmac_cmd == CmdStart)) -3-: 778 if ((CShake == app_sha3_mode)) -4-: 791 if (sha3_block_processed) -5-: 792 (app_kmac_en) ? -6-: 800 if (sha3_block_processed) -7-: 809 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_true_strict(sha3_done))) -8-: 815 if ((prim_mubi_pkg::mubi4_test_true_strict(sha3_absorbed) && prim_mubi_pkg::mubi4_test_false_loose(sha3_done))) -9-: 825 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 T1,T3,T15
KmacIdle 1 0 - - - - - - Covered T1,T2,T3
KmacIdle 0 - - - - - - - Covered T1,T2,T3
KmacPrefix - - 1 1 - - - - Covered T1,T3,T15
KmacPrefix - - 1 0 - - - - Covered T3,T17,T23
KmacPrefix - - 0 - - - - - Covered T1,T3,T15
KmacKeyBlock - - - - 1 - - - Covered T1,T3,T15
KmacKeyBlock - - - - 0 - - - Covered T1,T3,T15
KmacMsgFeed - - - - - 1 - - Covered T3,T17,T23
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 T4,T5,T6
default - - - - - - - - Covered T10,T11,T12


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

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


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

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


LineNo. Expression -1-: 1423 if ((!rst_ni)) -2-: 1425 if (alert_recov_operation) -3-: 1427 if (err_processed)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T2,T3
0 1 - Not Covered
0 0 1 Covered T20,T21,T22
0 0 0 Covered T1,T2,T3


LineNo. Expression -1-: 1446 if ((!rst_ni)) -2-: 1448 if (alert_fatal)

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


LineNo. Expression -1-: 1475 if ((!rst_ni)) -2-: 1477 if (alerts[1])

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertKnownO_A 1500842167 1500680698 0 0
CmdSparse_M 1500842167 833071 0 0
EnMaskingKnown_A 1500842167 1500680698 0 0
EntropyReadyLatched_A 1500842167 211146 0 0
EntrySizeRegSameToEntrySizePkg_A 958 958 0 0
ErrProcessedLatched_A 1500842167 562 0 0
FifoEmpty_A 1500842167 1500680698 0 0
FpvSecCmErrorCheckFsmCheck_A 1500842167 80 0 0
FpvSecCmKeccackFsmCheck_A 1500842167 80 0 0
FpvSecCmKeyIndexCountCheck_A 1500842167 80 0 0
FpvSecCmKmacAppFsmCheck_A 1500842167 80 0 0
FpvSecCmKmacCoreFsmCheck_A 1500842167 80 0 0
FpvSecCmKmacFsmCheck_A 1500842167 80 0 0
FpvSecCmRegWeOnehotCheck_A 1500842167 80 0 0
FpvSecCmRoundCountCheck_A 1500842167 80 0 0
FpvSecCmSHA3FsmCheck_A 1500842167 80 0 0
FpvSecCmSHA3padFsmCheck_A 1500842167 80 0 0
FpvSecCmSentMsgCountCheck_A 1500842167 80 0 0
KmacCmd_A 1500842167 1500680698 0 0
KmacDone_A 1500842167 1500680698 0 0
KmacErr_A 1500842167 1500680698 0 0
KmacStKnown_A 1500842167 1500680698 0 0
NumAlerts2_A 958 958 0 0
NumEntriesRegSameToNumEntriesPkg_A 958 958 0 0
PrefixRegSameToPrefixPkg_A 958 958 0 0
SecretKeyDivideBy32_A 958 958 0 0
Sha3AbsorbedPulse_A 1500842167 217214 0 0
TlOAReadyKnown_A 1500842167 1500680698 0 0
TlODValidKnown_A 1500842167 1500680698 0 0
u_state_regs_A 1500842167 1500680698 0 0


AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

CmdSparse_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 833071 0 0
T1 417838 238 0 0
T2 134487 996 0 0
T3 127237 856 0 0
T13 176374 1188 0 0
T14 317593 789 0 0
T15 295574 924 0 0
T16 34204 15 0 0
T17 120172 111 0 0
T18 176807 1199 0 0
T19 25617 20 0 0

EnMaskingKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

EntropyReadyLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 211146 0 0
T1 417838 31 0 0
T2 134487 303 0 0
T3 127237 120 0 0
T13 176374 357 0 0
T14 317593 234 0 0
T15 295574 127 0 0
T16 34204 3 0 0
T17 120172 15 0 0
T18 176807 361 0 0
T19 25617 3 0 0

EntrySizeRegSameToEntrySizePkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

ErrProcessedLatched_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 562 0 0
T20 37735 5 0 0
T21 148614 18 0 0
T22 0 8 0 0
T63 2024 0 0 0
T69 0 14 0 0
T70 0 15 0 0
T71 0 14 0 0
T72 0 18 0 0
T73 0 12 0 0
T74 0 13 0 0
T75 0 19 0 0
T76 951367 0 0 0
T77 16637 0 0 0
T78 646988 0 0 0
T79 1177 0 0 0
T80 605631 0 0 0
T81 110717 0 0 0
T82 237517 0 0 0

FifoEmpty_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

FpvSecCmErrorCheckFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKeccackFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKeyIndexCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacAppFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacCoreFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmKmacFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmRoundCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSHA3FsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSHA3padFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

FpvSecCmSentMsgCountCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 80 0 0
T10 651542 20 0 0
T11 0 10 0 0
T12 0 10 0 0
T42 1618 0 0 0
T83 0 20 0 0
T84 0 20 0 0
T85 113358 0 0 0
T86 192878 0 0 0
T87 47265 0 0 0
T88 126028 0 0 0
T89 188176 0 0 0
T90 83477 0 0 0
T91 1301 0 0 0
T92 392790 0 0 0

KmacCmd_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacDone_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

KmacStKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

NumAlerts2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

NumEntriesRegSameToNumEntriesPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

PrefixRegSameToPrefixPkg_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

SecretKeyDivideBy32_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 958 958 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T15 1 1 0 0
T16 1 1 0 0
T17 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0

Sha3AbsorbedPulse_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 217214 0 0
T1 417838 31 0 0
T2 134487 310 0 0
T3 127237 109 0 0
T13 176374 374 0 0
T14 317593 246 0 0
T15 295574 128 0 0
T16 34204 3 0 0
T17 120172 15 0 0
T18 176807 374 0 0
T19 25617 3 0 0

TlOAReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

TlODValidKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

u_state_regs_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1500842167 1500680698 0 0
T1 417838 417760 0 0
T2 134487 134479 0 0
T3 127237 127231 0 0
T13 176374 176364 0 0
T14 317593 317584 0 0
T15 295574 295482 0 0
T16 34204 34115 0 0
T17 120172 120097 0 0
T18 176807 176799 0 0
T19 25617 25566 0 0

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