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

Module : keymgr
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.04 95.95 98.39 99.96 95.92 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 98.04 95.95 98.39 99.96 95.92 100.00



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.04 95.95 98.39 99.96 95.92 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.82 99.07 98.03 98.32 100.00 99.11 98.41


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_sw_assigns[0].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[0].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[0].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[0].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[0].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[1].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[1].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[1].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[1].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[1].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[2].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[2].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[2].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[2].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[2].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[3].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[3].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[3].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[3].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[3].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[4].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[4].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[4].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[4].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[4].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[5].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[5].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[5].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[5].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[5].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[6].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[6].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[6].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[6].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[6].u_prim_buf_share1_de 100.00 100.00
gen_sw_assigns[7].u_mubi_buf 100.00 100.00 100.00
gen_sw_assigns[7].u_prim_buf_share0_d 100.00 100.00
gen_sw_assigns[7].u_prim_buf_share0_de 100.00 100.00
gen_sw_assigns[7].u_prim_buf_share1_d 100.00 100.00
gen_sw_assigns[7].u_prim_buf_share1_de 100.00 100.00
keymgr_csr_assert 100.00 100.00
tlul_assert_device 99.30 100.00 100.00 97.90
u_cfgen 98.15 100.00 94.44 100.00
u_checks 100.00 100.00 100.00
u_ctrl 97.01 99.70 95.19 94.46 100.00 98.60 94.12
u_fault_alert 100.00 100.00
u_intr_op_done 100.00 100.00 100.00 100.00 100.00
u_kmac_if 97.35 100.00 90.91 100.00 100.00 93.18 100.00
u_lc_keymgr_en_sync 100.00 100.00 100.00 100.00
u_lfsr 100.00 100.00
u_op_err_alert 100.00 100.00
u_reg 99.50 98.80 99.07 100.00 99.61 100.00
u_reseed_ctrl 98.36 100.00 91.80 100.00 100.00 100.00
u_seed_anchor 0.00 0.00
u_sideload_ctrl 98.87 100.00 94.34 100.00 100.00 100.00
u_sw_binding_regwen 98.25 100.00 94.74 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : keymgr
Line No.TotalCoveredPercent
TOTAL747195.95
CONT_ASSIGN23411100.00
CONT_ASSIGN23511100.00
CONT_ASSIGN23711100.00
CONT_ASSIGN23811100.00
CONT_ASSIGN27111100.00
CONT_ASSIGN27111100.00
CONT_ASSIGN27511100.00
CONT_ASSIGN32511100.00
CONT_ASSIGN32711100.00
CONT_ASSIGN34511100.00
CONT_ASSIGN35211100.00
CONT_ASSIGN36811100.00
CONT_ASSIGN39811100.00
CONT_ASSIGN40311100.00
CONT_ASSIGN41611100.00
CONT_ASSIGN41811100.00
CONT_ASSIGN43611100.00
CONT_ASSIGN44311100.00
CONT_ASSIGN45611100.00
CONT_ASSIGN45811100.00
CONT_ASSIGN46011100.00
CONT_ASSIGN46111100.00
CONT_ASSIGN46411100.00
CONT_ASSIGN46911100.00
CONT_ASSIGN472100.00
CONT_ASSIGN473100.00
CONT_ASSIGN474100.00
CONT_ASSIGN48211100.00
CONT_ASSIGN48311100.00
CONT_ASSIGN48611100.00
CONT_ASSIGN48811100.00
CONT_ASSIGN49811100.00
CONT_ASSIGN49911100.00
CONT_ASSIGN50011100.00
CONT_ASSIGN53711100.00
CONT_ASSIGN53811100.00
CONT_ASSIGN53911100.00
CONT_ASSIGN54011100.00
CONT_ASSIGN54111100.00
CONT_ASSIGN54211100.00
CONT_ASSIGN54311100.00
CONT_ASSIGN54411100.00
CONT_ASSIGN55111100.00
CONT_ASSIGN55211100.00
CONT_ASSIGN55311100.00
CONT_ASSIGN55411100.00
CONT_ASSIGN67111100.00
CONT_ASSIGN67211100.00
CONT_ASSIGN67311100.00
CONT_ASSIGN67511100.00
CONT_ASSIGN67611100.00
CONT_ASSIGN67711100.00
CONT_ASSIGN67811100.00
CONT_ASSIGN67911100.00
CONT_ASSIGN68011100.00
CONT_ASSIGN68111100.00
CONT_ASSIGN68211100.00
CONT_ASSIGN68311100.00
CONT_ASSIGN68411100.00
CONT_ASSIGN68511100.00
CONT_ASSIGN68611100.00
CONT_ASSIGN68711100.00
CONT_ASSIGN68811100.00
CONT_ASSIGN71211100.00
CONT_ASSIGN71411100.00
CONT_ASSIGN71711100.00
CONT_ASSIGN71811100.00
ALWAYS72255100.00
CONT_ASSIGN73211100.00
CONT_ASSIGN74911100.00
CONT_ASSIGN78000
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_keymgr_0.1/rtl/keymgr.sv' or '../src/lowrisc_ip_keymgr_0.1/rtl/keymgr.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
234 1 1
235 1 1
237 1 1
238 1 1
271 2 2
275 1 1
325 1 1
327 1 1
345 1 1
352 1 1
368 1 1
398 1 1
403 1 1
416 1 1
418 1 1
436 1 1
443 1 1
456 1 1
458 1 1
460 1 1
461 1 1
464 1 1
469 1 1
472 0 1
473 0 1
474 0 1
482 1 1
483 1 1
486 1 1
488 1 1
498 1 1
499 1 1
500 1 1
537 1 1
538 1 1
539 1 1
540 1 1
541 1 1
542 1 1
543 1 1
544 1 1
551 1 1
552 1 1
553 1 1
554 1 1
671 1 1
672 1 1
673 1 1
675 1 1
676 1 1
677 1 1
678 1 1
679 1 1
680 1 1
681 1 1
682 1 1
683 1 1
684 1 1
685 1 1
686 1 1
687 1 1
688 1 1
712 1 1
714 1 1
717 1 1
718 1 1
722 1 1
723 1 1
724 1 1
726 1 1
727 1 1
732 1 1
749 1 1
780 unreachable


Cond Coverage for Module : keymgr
TotalCoveredPercent
Conditions18618398.39
Logical18618398.39
Non-Logical00
Event00

 LINE       214
 EXPRESSION (ctrl_lfsr_en | data_lfsr_en | sideload_lfsr_en)
             ------1-----   ------2-----   --------3-------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT2,T3,T4
010CoveredT1,T2,T3
100CoveredT1,T2,T3

 LINE       214
 EXPRESSION (seed_en & ((~reg2hw.start.q)))
             ---1---   ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT2,T4,T14

 LINE       335
 EXPRESSION (op_start & op_done)
             ----1---   ---2---
-1--2-StatusTests
01CoveredT11,T12,T13
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       352
 EXPRESSION (reg2hw.sw_binding_regwen.qe & ((~reg2hw.sw_binding_regwen.q)))
             -------------1-------------   ---------------2---------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T4,T16
11CoveredT1,T2,T4

 LINE       368
 EXPRESSION (sw_binding_regwen & cfg_regwen)
             --------1--------   -----2----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       398
 EXPRESSION ((cdi_sel == 1'b0) ? reg2hw.sealing_sw_binding : ((cdi_sel == 1'b1) ? reg2hw.attest_sw_binding : RndCnstCdi))
             --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       398
 SUB-EXPRESSION (cdi_sel == 1'b0)
                --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       398
 SUB-EXPRESSION ((cdi_sel == 1'b1) ? reg2hw.attest_sw_binding : RndCnstCdi)
                 --------1--------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3

 LINE       398
 SUB-EXPRESSION (cdi_sel == 1'b1)
                --------1--------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3

 LINE       443
 EXPRESSION (creator_seed_vld & devid_vld & health_state_vld & rom_digest_vld)
             --------1-------   ----2----   --------3-------   -------4------
-1--2--3--4-StatusTests
0111CoveredT28,T86,T61
1011CoveredT87,T88,T89
1101CoveredT26,T90,T91
1110CoveredT87,T28,T92
1111CoveredT1,T2,T3

 LINE       483
 EXPRESSION ((dest_sel == Aes) ? aes_seed : ((dest_sel == Kmac) ? kmac_seed : ((dest_sel == Otbn) ? otbn_seed : none_seed)))
             --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       483
 SUB-EXPRESSION (dest_sel == Aes)
                --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       483
 SUB-EXPRESSION ((dest_sel == Kmac) ? kmac_seed : ((dest_sel == Otbn) ? otbn_seed : none_seed))
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       483
 SUB-EXPRESSION (dest_sel == Kmac)
                ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       483
 SUB-EXPRESSION ((dest_sel == Otbn) ? otbn_seed : none_seed)
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       483
 SUB-EXPRESSION (dest_sel == Otbn)
                ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T4

 LINE       488
 EXPRESSION (invalid_stage_sel ? ({GenLfsrCopies {lfsr[31:0]}}) : ({reg2hw.key_version, reg2hw.salt, dest_seed, output_key}))
             --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       537
 EXPRESSION (adv_en | id_en | gen_en)
             ---1--   --2--   ---3--
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT1,T2,T3
010CoveredT1,T2,T4
100CoveredT1,T2,T3

 LINE       538
 EXPRESSION (adv_en & (stage_sel == Creator) & ((~creator_seed_vld)))
             ---1--   -----------2----------   ----------3----------
-1--2--3-StatusTests
011CoveredT25,T28,T86
101CoveredT87,T93,T94
110CoveredT1,T2,T3
111CoveredT25,T28,T86

 LINE       538
 SUB-EXPRESSION (stage_sel == Creator)
                -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       539
 EXPRESSION (adv_en & (stage_sel == OwnerInt) & ((~owner_seed_vld)))
             ---1--   -----------2-----------   ---------3---------
-1--2--3-StatusTests
011CoveredT95,T96
101CoveredT87,T92,T97
110CoveredT1,T2,T3
111CoveredT95,T96

 LINE       539
 SUB-EXPRESSION (stage_sel == OwnerInt)
                -----------1-----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       540
 EXPRESSION (adv_en & (stage_sel == Creator) & ((~devid_vld)))
             ---1--   -----------2----------   -------3------
-1--2--3-StatusTests
011CoveredT27,T28,T86
101CoveredT87,T93,T98
110CoveredT1,T2,T3
111CoveredT27,T28,T86

 LINE       540
 SUB-EXPRESSION (stage_sel == Creator)
                -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       541
 EXPRESSION (adv_en & (stage_sel == Creator) & ((~health_state_vld)))
             ---1--   -----------2----------   ----------3----------
-1--2--3-StatusTests
011CoveredT25,T26,T28
101CoveredT87,T91,T93
110CoveredT1,T2,T3
111CoveredT25,T26,T28

 LINE       541
 SUB-EXPRESSION (stage_sel == Creator)
                -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       542
 EXPRESSION (gen_en & ((~key_version_vld)))
             ---1--   ----------2---------
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT19,T29,T30

 LINE       543
 EXPRESSION (valid_op & ((~key_vld)))
             ----1---   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT26,T27,T28

 LINE       544
 EXPRESSION (adv_en & (stage_sel == Creator) & ((~rom_digest_vld)))
             ---1--   -----------2----------   ---------3---------
-1--2--3-StatusTests
011CoveredT27,T28,T88
101CoveredT87,T92,T57
110CoveredT1,T2,T3
111CoveredT27,T28,T88

 LINE       544
 SUB-EXPRESSION (stage_sel == Creator)
                -----------1----------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       551
 EXPRESSION (((~key_vld)) | ((~adv_dvalid[stage_sel])))
             ------1-----   -------------2------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT25,T92,T57
10CoveredT1,T2,T3

 LINE       553
 EXPRESSION (((~key_vld)) | ((~key_version_vld)))
             ------1-----   ----------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T4
10CoveredT1,T2,T3

 LINE       554
 EXPRESSION (((~key_vld)) | ((~key_version_vld)))
             ------1-----   ----------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T4
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(0 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(1 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(2 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(3 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(4 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(5 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(6 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       624
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[0] : kmac_data[0][(7 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       624
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(0 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(1 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(2 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(3 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(4 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(5 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(6 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       631
 EXPRESSION ((((~data_sw_en)) | wipe_key) ? data_rand[1] : kmac_data[1][(7 * 32)+:32])
             --------------1-------------
-1-StatusTests
0CoveredT1,T2,T4
1CoveredT1,T2,T3

 LINE       631
 SUB-EXPRESSION (((~data_sw_en)) | wipe_key)
                 -------1-------   ----2---
-1--2-StatusTests
00CoveredT1,T2,T4
01CoveredT38,T52,T56
10CoveredT1,T2,T3

 LINE       714
 EXPRESSION (fault_errs ? 1'b1 : (fault_err_ack ? 1'b0 : fault_err_req_q))
             -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T37,T20

 LINE       714
 SUB-EXPRESSION (fault_err_ack ? 1'b0 : fault_err_req_q)
                 ------1------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       718
 EXPRESSION (op_errs ? 1'b1 : (op_err_ack ? 1'b0 : op_err_req_q))
             ---1---
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       718
 SUB-EXPRESSION (op_err_ack ? 1'b0 : op_err_req_q)
                 -----1----
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       732
 EXPRESSION (reg2hw.alert_test.fatal_fault_err.q & reg2hw.alert_test.fatal_fault_err.qe)
             -----------------1-----------------   ------------------2-----------------
-1--2-StatusTests
01CoveredT99,T81,T84
10CoveredT1,T2,T3
11CoveredT99,T81,T84

 LINE       749
 EXPRESSION (reg2hw.alert_test.recov_operation_err.q & reg2hw.alert_test.recov_operation_err.qe)
             -------------------1-------------------   --------------------2-------------------
-1--2-StatusTests
01CoveredT99,T81,T84
10CoveredT1,T2,T3
11CoveredT99,T81,T84

Toggle Coverage for Module : keymgr
TotalCoveredPercent
Totals 67 65 97.01
Total Bits 10068 10064 99.96
Total Bits 0->1 5034 5032 99.96
Total Bits 1->0 5034 5032 99.96

Ports 67 65 97.01
Port Bits 10068 10064 99.96
Port Bits 0->1 5034 5032 99.96
Port Bits 1->0 5034 5032 99.96

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T19,T37 Yes T1,T2,T3 INPUT
rst_shadowed_ni Yes Yes T1,T19,T37 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T1,T19,T37 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T15,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 T2,T4,T19 Yes T2,T4,T19 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 T2,T4,T14 Yes T2,T4,T14 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 T19,T37,T38 Yes T19,T37,T38 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 T2,T4,T14 Yes T2,T3,T4 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
aes_key_o.key[0][25:0] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][27:26] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][47:28] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][48] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][64:49] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][65] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][71:66] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][72] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][80:73] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][81] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][89:82] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][90] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][94:91] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][95] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][103:96] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][104] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][119:105] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][120] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][121] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][122] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][135:123] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][136] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][148:137] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][149] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][185:150] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][187:186] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][190:188] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][191] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][213:192] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][214] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][217:215] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][218] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][232:219] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[0][233] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][234] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[0][255:235] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][3:0] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][5:4] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][7:6] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][8] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][12:9] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][13] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][37:14] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][38] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][39] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][40] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][44:41] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][45] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][67:46] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][68] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][99:69] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][100] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][101] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][102] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][112:103] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][113] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][126:114] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][127] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][134:128] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][135] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][136] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][159:137] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][160] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][165:161] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][167:166] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][168] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][176:169] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][177] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][184:178] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][185] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][198:186] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][199] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][204:200] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][205] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][216:206] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][217] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][222:218] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][223] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][224] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][229:225] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][230] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][231] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][232] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][245:233] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][246] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][247] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][248] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.key[1][254:249] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
aes_key_o.key[1][255] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
aes_key_o.valid Yes Yes T1,T3,T85 Yes T1,T3,T4 OUTPUT
kmac_key_o.key[1:0][255:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
kmac_key_o.valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][20:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][21] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][35:22] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][36] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][37] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][38] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][39] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][41:40] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][42] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][55:43] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][56] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][57] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][58] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][59] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
otbn_key_o.key[0][72:60] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][73] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][77:74] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][78] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][85:79] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][87:86] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][96:88] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][97] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][101:98] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][102] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][103] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][110:104] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][111] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][126:112] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][127] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
otbn_key_o.key[0][129:128] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][132:130] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][136:133] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][137] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][143:138] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][144] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][145] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][146] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][154:147] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][155] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][156] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][157] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][180:158] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][181] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][183:182] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][184] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][185] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][186] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][207:187] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][209:208] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][218:210] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][219] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][235:220] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][236] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][246:237] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][247] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][248] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][249] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][257:250] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][258] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][260:259] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][261] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][272:262] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][273] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][277:274] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][278] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][280:279] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][281] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][286:282] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][287] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][309:288] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][310] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][313:311] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][314] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
otbn_key_o.key[0][320:315] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][321] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][325:322] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][326] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][327] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][328] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][329] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][330] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][332:331] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][333] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][339:334] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][340] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][343:341] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][344] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][350:345] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][351] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][365:352] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][366] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[0][373:367] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[0][375:374] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[0][383:376] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][6:1] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][7] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][8] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][9] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][12:10] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][13] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][24:14] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][25] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][27:26] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][28] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][34:29] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][35] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][38:36] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][39] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][70:40] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][71] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][75:72] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][76] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][77] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][78] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][87:79] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][88] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
otbn_key_o.key[1][89] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][97:90] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][98] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][101:99] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][102] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][126:103] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][127] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][143:128] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][144] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][151:145] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][152] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][159:153] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][160] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][164:161] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][165] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][167:166] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][168] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][184:169] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][186:185] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][190:187] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][191] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][202:192] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][203] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][204] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][205] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][215:206] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][216] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][217] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][218] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][221:219] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][222] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][231:223] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][232] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][237:233] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][238] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][245:239] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][246] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][248:247] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][249] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][254:250] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][255] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][262:256] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][263] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][265:264] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][266] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][268:267] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][269] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][275:270] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][276] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][279:277] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][280] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][285:281] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][286] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][287] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][288] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][295:289] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][296] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][306:297] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][307] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][309:308] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][310] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][311] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][314:312] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][315] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][324:316] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][325] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][327:326] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][328] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][334:329] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][335] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][336] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][337] Yes Yes T3,T4,T15 Yes T3,T4,T15 OUTPUT
otbn_key_o.key[1][343:338] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][344] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_key_o.key[1][348:345] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][349] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][351:350] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][352] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][379:353] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][380] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][381] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.key[1][382] Yes Yes T1,T3,T4 Yes T1,T3,T4 OUTPUT
otbn_key_o.key[1][383] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otbn_key_o.valid Yes Yes T1,T17,T18 Yes T1,T2,T17 OUTPUT
kmac_data_o.last Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
kmac_data_o.strb[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
kmac_data_o.data[63:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
kmac_data_o.valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
kmac_data_i.error Yes Yes T1,T30,T25 Yes T1,T37,T38 INPUT
kmac_data_i.digest_share1[383:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
kmac_data_i.digest_share0[383:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
kmac_data_i.done Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
kmac_data_i.ready Yes Yes T1,T2,T4 Yes T1,T2,T3 INPUT
kmac_en_masking_i Unreachable Unreachable Unreachable INPUT
lc_keymgr_en_i[3:0] Yes Yes T17,T19,T20 Yes T3,T4,T16 INPUT
lc_keymgr_div_i[127:0] Yes Yes T1,T4,T16 Yes T1,T2,T4 INPUT
otp_key_i.owner_seed_valid Yes Yes T19,T40,T53 Yes T19,T20,T53 INPUT
otp_key_i.owner_seed[255:0] Yes Yes T19,T20,T40 Yes T19,T53,T60 INPUT
otp_key_i.creator_seed_valid Yes Yes T19,T40,T53 Yes T19,T53,T71 INPUT
otp_key_i.creator_seed[255:0] Yes Yes T19,T20,T40 Yes T19,T53,T71 INPUT
otp_key_i.creator_root_key_share1_valid No No No INPUT
otp_key_i.creator_root_key_share1[255:0] Yes Yes T19,T40,T53 Yes T19,T53,T45 INPUT
otp_key_i.creator_root_key_share0_valid No No No INPUT
otp_key_i.creator_root_key_share0[255:0] Yes Yes T19,T53,T73 Yes T19,T40,T53 INPUT
otp_device_id_i[255:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][1:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][2] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][3] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][4] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][5] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][8:6] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][9] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][15:10] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][17:16] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][18] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][19] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][20] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][21] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][22] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][23] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][33:24] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][34] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][39:35] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][40] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][41] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][42] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][43] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][44] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][45] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][46] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][47] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][48] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][51:49] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][52] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][57:53] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][58] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[0][62:59] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][63] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][67:64] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][68] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][70:69] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][71] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][74:72] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][75] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][76] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][77] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][78] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][79] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][84:80] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][85] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][86] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][87] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][88] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][89] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[0][91:90] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][92] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][94:93] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][95] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[0][96] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][97] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][98] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][101:99] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][102] Yes Yes T4,T16,T17 Yes T4,T16,T17 INPUT
flash_i.seeds[0][103] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][105:104] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][108:106] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][109] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][120:110] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][121] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[0][123:122] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][125:124] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][128:126] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][129] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][130] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][132:131] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][133] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][139:134] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][140] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][141] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][143:142] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][144] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][145] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][146] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][147] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][149:148] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][150] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][152:151] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][154:153] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][157:155] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][158] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][160:159] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][161] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[0][164:162] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][165] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][166] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][167] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][168] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][169] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][170] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][171] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][172] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][173] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][174] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][175] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][177:176] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][180:178] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][181] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][184:182] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][185] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][186] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][187] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][189:188] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][191:190] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][194:192] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][195] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][196] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][199:197] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][200] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][202:201] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][203] Yes Yes T1,T2,T16 Yes T1,T2,T16 INPUT
flash_i.seeds[0][206:204] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][208:207] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][214:209] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][215] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][216] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][217] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][218] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][219] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][220] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][222:221] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][223] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[0][224] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][225] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][226] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][227] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][228] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][233:229] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][234] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][235] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][236] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][237] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][238] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][239] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[0][241:240] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][242] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][243] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][245:244] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][246] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][247] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][248] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][249] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[0][250] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[0][255:251] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][0] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][1] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][5:2] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][7:6] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][12:8] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][13] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][19:14] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][20] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][24:21] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][25] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][26] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][30:27] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][31] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][34:32] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][35] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][36] Yes Yes T1,T2,T16 Yes T1,T2,T16 INPUT
flash_i.seeds[1][38:37] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][39] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][40] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][41] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][42] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][48:43] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][49] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][50] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][51] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][52] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][53] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][54] Yes Yes T1,T2,T16 Yes T1,T2,T16 INPUT
flash_i.seeds[1][57:55] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][58] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][62:59] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][63] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][64] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][65] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][66] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][67] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][72:68] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][73] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][74] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][75] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][76] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][77] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][78] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][80:79] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][81] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][83:82] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][84] Yes Yes T1,T16,T17 Yes T1,T16,T17 INPUT
flash_i.seeds[1][87:85] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][88] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][89] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][90] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][91] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][92] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][93] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][96:94] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][97] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][98] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][99] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][101:100] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][102] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][106:103] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][107] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][110:108] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][111] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][113:112] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][114] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][115] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][116] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][117] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][118] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][122:119] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][123] Yes Yes T2,T17,T19 Yes T2,T17,T19 INPUT
flash_i.seeds[1][124] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][126:125] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][127] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][128] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[1][129] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][130] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][132:131] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][133] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][136:134] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][137] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][139:138] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][140] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][141] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][142] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][143] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][144] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][145] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][146] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][147] Yes Yes T1,T4,T16 Yes T1,T4,T16 INPUT
flash_i.seeds[1][148] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][149] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][157:150] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][158] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][162:159] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][163] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][164] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][168:165] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][169] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[1][175:170] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][176] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][178:177] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][179] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][180] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][181] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][183:182] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][184] Yes Yes T2,T4,T17 Yes T2,T4,T17 INPUT
flash_i.seeds[1][187:185] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][188] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][189] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][190] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][191] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][192] Yes Yes T1,T4,T17 Yes T1,T4,T17 INPUT
flash_i.seeds[1][195:193] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][196] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][197] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][198] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][204:199] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][205] Yes Yes T1,T2,T16 Yes T1,T2,T16 INPUT
flash_i.seeds[1][206] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][207] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][210:208] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][211] Yes Yes T2,T4,T16 Yes T2,T4,T16 INPUT
flash_i.seeds[1][215:212] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][216] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][217] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][218] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][225:219] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][226] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][227] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][228] Yes Yes T1,T2,T16 Yes T1,T2,T16 INPUT
flash_i.seeds[1][232:229] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][233] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][240:234] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][241] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][251:242] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][252] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
flash_i.seeds[1][255:253] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
edn_o.edn_req Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
edn_i.edn_bus[31:0] Yes Yes T1,T2,T4 Yes T2,T4,T14 INPUT
edn_i.edn_fips Yes Yes T2,T4,T14 Yes T2,T4,T14 INPUT
edn_i.edn_ack Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rom_digest_i.valid Yes Yes T87,T26,T27 Yes T87,T26,T27 INPUT
rom_digest_i.data[255:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
intr_op_done_o Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_rx_i[0].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[0].ack_p Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[0].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[0].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[1].ack_p Yes Yes T1,T37,T20 Yes T1,T37,T20 INPUT
alert_rx_i[1].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ping_p Unreachable Unreachable Unreachable INPUT
alert_tx_o[0].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[0].alert_p Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[1].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[1].alert_p Yes Yes T1,T37,T20 Yes T1,T37,T20 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : keymgr
Line No.TotalCoveredPercent
Branches 49 47 95.92
TERNARY 398 3 2 66.67
TERNARY 483 4 4 100.00
TERNARY 488 2 2 100.00
TERNARY 714 3 2 66.67
TERNARY 718 3 3 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
TERNARY 624 2 2 100.00
TERNARY 631 2 2 100.00
IF 722 2 2 100.00

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

LineNo. Expression -1-: 398 ((cdi_sel == 1'b0)) ? -2-: 398 ((cdi_sel == 1'b1)) ?

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


LineNo. Expression -1-: 483 ((dest_sel == Aes)) ? -2-: 483 ((dest_sel == Kmac)) ? -3-: 483 ((dest_sel == Otbn)) ?

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


LineNo. Expression -1-: 488 (invalid_stage_sel) ?

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


LineNo. Expression -1-: 714 (fault_errs) ? -2-: 714 (fault_err_ack) ?

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


LineNo. Expression -1-: 718 (op_errs) ? -2-: 718 (op_err_ack) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 624 (((~data_sw_en) | wipe_key)) ?

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


LineNo. Expression -1-: 631 (((~data_sw_en) | wipe_key)) ?

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


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

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


Assert Coverage for Module : keymgr
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 26 26 100.00 26 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 26 26 100.00 26 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AdvDataWidth_A 874 874 0 0
AesKeyKnownO_A 25196235 25037167 0 0
AlertKnownO_A 25196235 25037167 0 0
ErrCntMatch_A 874 874 0 0
FaultCntMatch_A 874 874 0 0
FpvSecCmCtrlCntAlertCheck_A 25196235 70 0 0
FpvSecCmCtrlDataFsmCheck_A 25196235 70 0 0
FpvSecCmCtrlMainFsmCheck_A 25196235 70 0 0
FpvSecCmCtrlOpFsmCheck_A 25196235 70 0 0
FpvSecCmKmacIfCntAlertCheck_A 25196235 70 0 0
FpvSecCmKmacIfFsmCheck_A 25196235 70 0 0
FpvSecCmRegWeOnehotCheck_A 25196235 70 0 0
FpvSecCmReseedCtrlCntAlertCheck_A 25196235 70 0 0
FpvSecCmSideloadCtrlFsmCheck_A 25196235 70 0 0
GenDataWidth_A 874 874 0 0
IdDataWidth_A 874 874 0 0
IntrKnownO_A 25196235 25037167 0 0
KmacDataKnownO_A 24260301 24105051 0 0
KmacKeyKnownO_A 25196235 25037167 0 0
KmacMaskCheck_A 874 874 0 0
LfsrWidth_A 874 874 0 0
OtbnKeyKnownO_A 25196235 25037167 0 0
OutputKeyDiff_A 874 874 0 0
StageMatch_A 874 874 0 0
TlAReadyKnownO_A 25196235 25037167 0 0
TlDValidKnownO_A 25196235 25037167 0 0


AdvDataWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

AesKeyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

AlertKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

ErrCntMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

FaultCntMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

FpvSecCmCtrlCntAlertCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmCtrlDataFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmCtrlMainFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmCtrlOpFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmKmacIfCntAlertCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmKmacIfFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmReseedCtrlCntAlertCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

FpvSecCmSideloadCtrlFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 70 0 0
T11 33393 10 0 0
T12 0 20 0 0
T13 0 10 0 0
T44 0 20 0 0
T100 0 10 0 0
T101 9932 0 0 0
T102 9131 0 0 0
T103 15763 0 0 0
T104 1911 0 0 0
T105 42978 0 0 0
T106 9305 0 0 0
T107 1808 0 0 0
T108 5206 0 0 0
T109 2513 0 0 0

GenDataWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

IdDataWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

IntrKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

KmacDataKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 24260301 24105051 0 0
T1 5015 4935 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

KmacKeyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

KmacMaskCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

LfsrWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

OtbnKeyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

OutputKeyDiff_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

StageMatch_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 874 874 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 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

TlAReadyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

TlDValidKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 25196235 25037167 0 0
T1 5387 5256 0 0
T2 161942 161881 0 0
T3 2389 2327 0 0
T4 5338 5259 0 0
T14 1963 1881 0 0
T15 7520 7470 0 0
T16 17018 16924 0 0
T17 9954 9901 0 0
T18 12911 12824 0 0
T19 35567 35077 0 0

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