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

Module : otp_ctrl
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.30 96.79 86.96 87.47 93.10 97.18

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut 97.01 98.05 96.15 97.22 96.43 97.18



Module Instance : tb.dut

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.01 98.05 96.15 97.22 96.43 97.18


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.34 93.89 96.77 96.17 91.65 97.24 96.33


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
tb


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
core_tlul_assert_device 100.00 100.00 100.00 100.00
gen_alert_tx[0].u_prim_alert_sender 100.00 100.00
gen_alert_tx[1].u_prim_alert_sender 100.00 100.00
gen_alert_tx[2].u_prim_alert_sender 100.00 100.00
gen_alert_tx[3].u_prim_alert_sender 100.00 100.00
gen_alert_tx[4].u_prim_alert_sender 100.00 100.00
gen_bufs[0].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[0].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[10].u_prim_mubi8_sender_read_lock 79.17 37.50 100.00 100.00
gen_bufs[10].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[1].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[1].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[2].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[2].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[3].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[3].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[4].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[4].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[5].u_prim_mubi8_sender_read_lock 79.17 37.50 100.00 100.00
gen_bufs[5].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[6].u_prim_mubi8_sender_read_lock 79.17 37.50 100.00 100.00
gen_bufs[6].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[7].u_prim_mubi8_sender_read_lock 79.17 37.50 100.00 100.00
gen_bufs[7].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[8].u_prim_mubi8_sender_read_lock 79.17 37.50 100.00 100.00
gen_bufs[8].u_prim_mubi8_sender_write_lock 79.17 37.50 100.00 100.00
gen_bufs[9].u_prim_mubi8_sender_read_lock 100.00 100.00 100.00 100.00
gen_bufs[9].u_prim_mubi8_sender_write_lock 100.00 100.00 100.00 100.00
gen_partitions[0].gen_unbuffered.u_part_unbuf 96.73 100.00 100.00 100.00 85.00 98.15 97.22
gen_partitions[10].gen_lifecycle.u_part_buf 91.31 90.44 100.00 76.47 95.24 100.00 85.71
gen_partitions[1].gen_unbuffered.u_part_unbuf 98.32 100.00 100.00 100.00 91.67 98.25 100.00
gen_partitions[2].gen_unbuffered.u_part_unbuf 97.83 100.00 97.06 100.00 91.67 98.25 100.00
gen_partitions[3].gen_unbuffered.u_part_unbuf 98.32 100.00 100.00 100.00 91.67 98.25 100.00
gen_partitions[4].gen_unbuffered.u_part_unbuf 98.32 100.00 100.00 100.00 91.67 98.25 100.00
gen_partitions[5].gen_buffered.u_part_buf 94.82 98.28 95.24 100.00 92.00 97.06 86.36
gen_partitions[6].gen_buffered.u_part_buf 93.35 96.65 92.86 100.00 91.67 92.54 86.36
gen_partitions[7].gen_buffered.u_part_buf 96.44 98.54 93.75 100.00 94.44 96.25 95.65
gen_partitions[8].gen_buffered.u_part_buf 95.98 98.54 93.75 100.00 91.67 96.25 95.65
gen_partitions[9].gen_buffered.u_part_buf 95.98 98.54 93.75 100.00 91.67 96.25 95.65
otp_ctrl_core_csr_assert 100.00 100.00
prim_tlul_assert_device 100.00 100.00 100.00 100.00
u_edn_arb 95.39 92.31 95.92 100.00 93.33
u_intr_error 100.00 100.00 100.00 100.00 100.00
u_intr_operation_done 100.00 100.00 100.00 100.00 100.00
u_keygmr_key_valid 100.00 100.00 100.00
u_otp 98.90 93.58 99.81 100.00 100.00 100.00 100.00
u_otp_arb 97.29 98.07 97.35 100.00 93.75
u_otp_ctrl_dai 90.09 85.64 91.96 100.00 85.96 89.73 87.23
u_otp_ctrl_kdi 97.21 99.63 99.64 100.00 90.91 95.70 97.37
u_otp_ctrl_lci 100.00 100.00 100.00 100.00 100.00 100.00 100.00
u_otp_ctrl_lfsr_timer 97.82 100.00 97.47 89.42 100.00 100.00 100.00
u_otp_ctrl_scrmbl 96.92 81.50 100.00 100.00 100.00 100.00 100.00
u_otp_init_sync 100.00 100.00 100.00
u_otp_rsp_fifo 96.83 100.00 92.31 95.00 100.00
u_part_sel_idx 74.55 65.65 89.83 88.89 53.85
u_prim_edn_req 92.19 100.00 93.75 100.00 75.00
u_prim_lc_sender_otp_broadcast_valid 100.00 100.00 100.00
u_prim_lc_sender_rma_token_valid 100.00 100.00 100.00
u_prim_lc_sender_secrets_valid 100.00 100.00 100.00
u_prim_lc_sender_test_tokens_valid 100.00 100.00 100.00
u_prim_lc_sync_check_byp_en 100.00 100.00 100.00 100.00
u_prim_lc_sync_creator_seed_sw_rw_en 100.00 100.00 100.00 100.00
u_prim_lc_sync_dft_en 100.00 100.00 100.00 100.00
u_prim_lc_sync_escalate_en 100.00 100.00 100.00 100.00
u_prim_lc_sync_owner_seed_sw_rw_en 100.00 100.00 100.00 100.00
u_prim_lc_sync_seed_hw_rd_en 100.00 100.00 100.00 100.00
u_reg_core 99.17 99.65 96.20 100.00 100.00 100.00
u_scrmbl_mtx 79.48 75.00 99.17 100.00 43.75
u_tlul_adapter_sram 93.13 89.71 93.03 89.77 100.00
u_tlul_lc_gate 92.41 99.21 92.86 85.71 96.77 87.50

Line Coverage for Module : otp_ctrl
Line No.TotalCoveredPercent
TOTAL15615196.79
CONT_ASSIGN25111100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
ALWAYS284141392.86
ALWAYS30833100.00
ALWAYS324111090.91
CONT_ASSIGN38211100.00
CONT_ASSIGN38611100.00
CONT_ASSIGN39011100.00
CONT_ASSIGN39411100.00
CONT_ASSIGN39511100.00
CONT_ASSIGN40311100.00
CONT_ASSIGN40411100.00
ALWAYS40755100.00
ALWAYS4341919100.00
CONT_ASSIGN48811100.00
CONT_ASSIGN49611100.00
ALWAYS49999100.00
ALWAYS5211010100.00
CONT_ASSIGN58511100.00
CONT_ASSIGN59311100.00
CONT_ASSIGN64011100.00
CONT_ASSIGN64211100.00
CONT_ASSIGN76511100.00
CONT_ASSIGN76611100.00
CONT_ASSIGN76711100.00
CONT_ASSIGN79711100.00
CONT_ASSIGN79911100.00
ALWAYS87622100.00
ALWAYS93422100.00
ALWAYS96144100.00
CONT_ASSIGN98811100.00
ALWAYS99133100.00
CONT_ASSIGN104311100.00
CONT_ASSIGN104511100.00
CONT_ASSIGN1079100.00
CONT_ASSIGN1130100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN130011100.00
CONT_ASSIGN1312100.00
CONT_ASSIGN133611100.00
ALWAYS134822100.00
CONT_ASSIGN136211100.00
ALWAYS139099100.00
CONT_ASSIGN142111100.00
CONT_ASSIGN142211100.00
CONT_ASSIGN142411100.00
CONT_ASSIGN142611100.00
CONT_ASSIGN143011100.00
CONT_ASSIGN143211100.00
CONT_ASSIGN143411100.00
CONT_ASSIGN143911100.00
CONT_ASSIGN144111100.00
CONT_ASSIGN144311100.00
CONT_ASSIGN147511100.00
CONT_ASSIGN147711100.00
CONT_ASSIGN148111100.00
CONT_ASSIGN148511100.00
CONT_ASSIGN148911100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
251 1 1
253 10 10
284 1 1
285 1 1
286 1 1
287 1 1
288 1 1
289 1 1
292 0 1
MISSING_ELSE
297 1 1
298 1 1
299 1 1
300 1 1
301 1 1
302 1 1
303 1 1
308 1 1
309 1 1
311 1 1
324 1 1
329 1 1
330 1 1
334 1 1
335 1 1
336 1 1
337 1 1
MISSING_ELSE
MISSING_ELSE
341 1 1
342 1 1
343 1 1
344 0 1
MISSING_ELSE
MISSING_ELSE
382 1 1
386 1 1
390 1 1
394 1 1
395 1 1
403 1 1
404 1 1
407 1 1
408 1 1
410 1 1
412 1 1
413 1 1
434 1 1
435 1 1
436 1 1
438 1 1
440 1 1
443 1 1
445 1 1
448 1 1
449 1 1
MISSING_ELSE
453 1 1
455 1 1
459 1 1
462 1 1
464 1 1
469 1 1
470 1 1
MISSING_ELSE
472 1 1
473 1 1
MISSING_ELSE
478 1 1
488 1 1
496 1 1
499 1 1
500 1 1
501 1 1
502 1 1
503 1 1
505 1 1
506 1 1
507 1 1
508 1 1
521 1 1
523 1 1
525 1 1
527 1 1
529 1 1
538 1 1
540 1 1
541 1 1
542 1 1
543 1 1
585 1 1
593 1 1
640 1 1
642 1 1
765 1 1
766 1 1
767 1 1
797 1 1
799 1 1
876 1 1
877 1 1
934 1 1
935 1 1
961 1 1
962 1 1
963 1 1
964 1 1
988 1 1
991 1 1
992 1 1
994 1 1
1043 1 1
1045 1 1
1079 0 1
1130 0 1
1185 5 5
1240 5 5
1300 1 1
1312 0 1
1336 1 1
1348 1 1
1349 1 1
1362 1 1
1390 1 1
1391 1 1
1392 1 1
1393 1 1
1395 1 1
1396 1 1
1397 1 1
1398 1 1
1399 1 1
1421 1 1
1422 1 1
1424 1 1
1426 1 1
1430 1 1
1432 1 1
1434 1 1
1439 1 1
1441 1 1
1443 1 1
1475 1 1
1477 1 1
1481 1 1
1485 1 1
1489 1 1


Cond Coverage for Module : otp_ctrl
TotalCoveredPercent
Conditions11510086.96
Logical11510086.96
Non-Logical00
Event00

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b00001000000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[1].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT1,T2,T3

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b00111100000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[2].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT2,T5,T4

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b10001111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[3].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT2,T3,T5

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11001010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[4].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T3,T5

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11001111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[5].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011000000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[6].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[7].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[8].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11101010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[9].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11110101000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[10].PartEnd))
             -------------------1------------------   ---------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT2,T6,T11

 LINE       288
 EXPRESSION (tlul_part_sel_oh != '0)
            ------------1-----------
-1-StatusTests
0Not Covered
1CoveredT1,T2,T3

 LINE       297
 EXPRESSION (((|part_tlul_gnt)) | tlul_oob_err_q)
             ---------1--------   -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       298
 EXPRESSION (((|part_tlul_rvalid)) | tlul_oob_err_q)
             ----------1----------   -------2------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       382
 EXPRESSION ((reg2hw.direct_access_regwen.qe && ((!reg2hw.direct_access_regwen.q))) ? 1'b0 : direct_access_regwen_q)
             -----------------------------------1----------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       382
 SUB-EXPRESSION (reg2hw.direct_access_regwen.qe && ((!reg2hw.direct_access_regwen.q)))
                 ---------------1--------------    -----------------2----------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11Not Covered

 LINE       386
 EXPRESSION (reg2hw.direct_access_cmd.digest.qe | reg2hw.direct_access_cmd.wr.qe | reg2hw.direct_access_cmd.rd.qe)
             -----------------1----------------   ---------------2--------------   ---------------3--------------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001Not Covered
010Not Covered
100Not Covered

 LINE       403
 EXPRESSION (lci_prog_idle & dai_prog_idle)
             ------1------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT1,T2,T3

 LINE       436
 EXPRESSION (fatal_bus_integ_error_q | ((|intg_error)))
             -----------1-----------   -------2-------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT17,T18,T19
10Not Covered

 LINE       445
 EXPRESSION (part_error[k] == MacroError)
            --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       449
 EXPRESSION (part_error[k] == MacroEccUncorrError)
            -------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T10,T111

 LINE       469
 EXPRESSION (fatal_macro_error_q || fatal_check_error_q)
             ---------1---------    ---------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T4
10CoveredT2,T5,T4

 LINE       478
 EXPRESSION (chk_timeout | lfsr_fsm_err | scrmbl_fsm_err | ((|part_fsm_err)))
             -----1-----   ------2-----   -------3------   --------4--------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001CoveredT2,T5,T4
0010CoveredT17,T18,T19
0100CoveredT17,T18,T19
1000CoveredT4,T13,T34

 LINE       527
 EXPRESSION (direct_access_regwen_q & dai_idle)
             -----------1----------   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.recov_prim_otp_alert.q & reg2hw.alert_test.recov_prim_otp_alert.qe)
                 --------------------1-------------------   --------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_prim_otp_alert.q & reg2hw.alert_test.fatal_prim_otp_alert.qe)
                 --------------------1-------------------   --------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_bus_integ_error.q & reg2hw.alert_test.fatal_bus_integ_error.qe)
                 --------------------1--------------------   ---------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_check_error.q & reg2hw.alert_test.fatal_check_error.qe)
                 ------------------1------------------   -------------------2------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_macro_error.q & reg2hw.alert_test.fatal_macro_error.qe)
                 ------------------1------------------   -------------------2------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       640
 EXPRESSION (reg2hw.check_trigger.integrity.q & reg2hw.check_trigger.integrity.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T4

 LINE       642
 EXPRESSION (reg2hw.check_trigger.consistency.q & reg2hw.check_trigger.consistency.qe)
             -----------------1----------------   -----------------2-----------------
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       765
 EXPRESSION (otp_prim_ready & otp_rsp_fifo_ready)
             -------1------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       766
 EXPRESSION (otp_arb_valid & otp_rsp_fifo_ready)
             ------1------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       767
 EXPRESSION (otp_prim_ready & otp_prim_valid)
             -------1------   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       877
 EXPRESSION (otp_rvalid & otp_fifo_valid)
             -----1----   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T2,T3

 LINE       1421
 EXPRESSION (part_digest[Secret1Idx] != '0)
            ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T7,T9

 LINE       1439
 EXPRESSION ((part_digest[Secret0Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1439
 SUB-EXPRESSION (part_digest[Secret0Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1441
 EXPRESSION ((part_digest[Secret2Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1441
 SUB-EXPRESSION (part_digest[Secret2Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1443
 EXPRESSION ((part_digest[Secret2Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1443
 SUB-EXPRESSION (part_digest[Secret2Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

Toggle Coverage for Module : otp_ctrl
TotalCoveredPercent
Totals 156 142 91.03
Total Bits 11096 9706 87.47
Total Bits 0->1 5548 4853 87.47
Total Bits 1->0 5548 4853 87.47

Ports 156 142 91.03
Port Bits 11096 9706 87.47
Port Bits 0->1 5548 4853 87.47
Port Bits 1->0 5548 4853 87.47

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
edn_o.edn_req Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
edn_i.edn_bus[31:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
edn_i.edn_fips Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
edn_i.edn_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
core_tl_i.d_ready Yes Yes T1,T3,T5 Yes T1,T2,T3 INPUT
core_tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_user.instr_type[3:0] Yes Yes T2,T4,T9 Yes T2,T4,T9 INPUT
core_tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
core_tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_mask[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_address[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_source[7:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
core_tl_i.a_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
core_tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_error Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.rsp_intg[5:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_source[7:0] Yes Yes T2,T5,T7 Yes T2,T5,T7 OUTPUT
core_tl_o.d_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
prim_tl_i.d_ready Yes Yes T1,T3,T5 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.instr_type[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
prim_tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_mask[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_address[31:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_source[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_size[1:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
prim_tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_error Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_user.data_intg[6:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_user.rsp_intg[5:0] Yes Yes *T1,T2,*T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_data[31:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_source[7:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
prim_tl_o.d_size[1:0] Yes Yes T2,T6,T11 Yes T2,T6,T11 OUTPUT
prim_tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_otp_operation_done_o Yes Yes T3,T5,T4 Yes T3,T5,T4 OUTPUT
intr_otp_error_o Yes Yes T1,T3,T5 Yes T1,T3,T5 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 T2,T5,T4 Yes T2,T5,T4 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,T2,T5 Yes T1,T2,T5 INPUT
alert_rx_i[1].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[2].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[2].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[2].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[2].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[3].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[3].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[3].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[3].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[4].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[4].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[4].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[4].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 T2,T5,T4 Yes T2,T5,T4 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,T2,T5 Yes T1,T2,T5 OUTPUT
alert_tx_o[2].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[2].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
alert_tx_o[3].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[3].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
alert_tx_o[4].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[4].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
obs_ctrl_i.obmen[3:0] No No No INPUT
obs_ctrl_i.obmsl[3:0] No No No INPUT
obs_ctrl_i.obgsl[3:0] No No No INPUT
otp_obs_o[7:0] Unreachable Unreachable Unreachable OUTPUT
otp_ast_pwr_seq_o.pwr_seq[1:0] No No No OUTPUT
otp_ast_pwr_seq_h_i.pwr_seq_h[1:0] Yes Yes T1,T2,T3 Yes T2,T4,T7 INPUT
pwr_otp_i.otp_init Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
pwr_otp_o.otp_idle Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
pwr_otp_o.otp_done Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
lc_otp_vendor_test_i.ctrl[31:0] No No No INPUT
lc_otp_vendor_test_o.status[31:0] No No No OUTPUT
lc_otp_program_i.count[383:0] Yes Yes T2,T4,T154 Yes T2,T4,T12 INPUT
lc_otp_program_i.state[319:0] Yes Yes T2,T4,T33 Yes T2,T4,T12 INPUT
lc_otp_program_i.req Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
lc_otp_program_o.ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
lc_otp_program_o.err Yes Yes T33,T233,T99 Yes T33,T233,T99 OUTPUT
lc_creator_seed_sw_rw_en_i[3:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
lc_owner_seed_sw_rw_en_i[3:0] Yes Yes T1,T2,T3 Yes T2,T3,T4 INPUT
lc_seed_hw_rd_en_i[3:0] Yes Yes T2,T4,T7 Yes T1,T2,T3 INPUT
lc_dft_en_i[3:0] Yes Yes T2,T4,T7 Yes T2,T3,T4 INPUT
lc_escalate_en_i[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
lc_check_byp_en_i[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
otp_lc_data_o.rma_token[127:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.rma_token_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.test_exit_token[127:0] Yes Yes T4,T88,T89 Yes T4,T88,T89 OUTPUT
otp_lc_data_o.test_unlock_token[127:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.test_tokens_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.secrets_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[0] No No No OUTPUT
otp_lc_data_o.count[3:1] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[4] No No No OUTPUT
otp_lc_data_o.count[29:5] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[31:30] No No No OUTPUT
otp_lc_data_o.count[51:32] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[52] No No No OUTPUT
otp_lc_data_o.count[54:53] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[55] No No No OUTPUT
otp_lc_data_o.count[62:56] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[65:63] No No No OUTPUT
otp_lc_data_o.count[78:66] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[79] No No No OUTPUT
otp_lc_data_o.count[84:80] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[85] No No No OUTPUT
otp_lc_data_o.count[104:86] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[106:105] No No No OUTPUT
otp_lc_data_o.count[115:107] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[116] No No No OUTPUT
otp_lc_data_o.count[121:117] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[122] No No No OUTPUT
otp_lc_data_o.count[138:123] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[139] No No No OUTPUT
otp_lc_data_o.count[147:140] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[148] No No No OUTPUT
otp_lc_data_o.count[150:149] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[153:151] No No No OUTPUT
otp_lc_data_o.count[155:154] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[156] No No No OUTPUT
otp_lc_data_o.count[164:157] Yes Yes T3,T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[165] No No No OUTPUT
otp_lc_data_o.count[171:166] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[172] No No No OUTPUT
otp_lc_data_o.count[176:173] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[177] No No No OUTPUT
otp_lc_data_o.count[185:178] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[186] No No No OUTPUT
otp_lc_data_o.count[194:187] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[195] No No No OUTPUT
otp_lc_data_o.count[198:196] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[199] No No No OUTPUT
otp_lc_data_o.count[206:200] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[208:207] No No No OUTPUT
otp_lc_data_o.count[215:209] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[216] No No No OUTPUT
otp_lc_data_o.count[217] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[218] No No No OUTPUT
otp_lc_data_o.count[225:219] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[226] No No No OUTPUT
otp_lc_data_o.count[243:227] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[244] No No No OUTPUT
otp_lc_data_o.count[251:245] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[252] No No No OUTPUT
otp_lc_data_o.count[254:253] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[255] No No No OUTPUT
otp_lc_data_o.count[257:256] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[258] No No No OUTPUT
otp_lc_data_o.count[274:259] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[275] No No No OUTPUT
otp_lc_data_o.count[285:276] Yes Yes T3,T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[286] No No No OUTPUT
otp_lc_data_o.count[324:287] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[325] No No No OUTPUT
otp_lc_data_o.count[327:326] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[328] No No No OUTPUT
otp_lc_data_o.count[333:329] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[334] No No No OUTPUT
otp_lc_data_o.count[345:335] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[346] No No No OUTPUT
otp_lc_data_o.count[357:347] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[358] No No No OUTPUT
otp_lc_data_o.count[379:359] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[381:380] No No No OUTPUT
otp_lc_data_o.count[383:382] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[5:0] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[6] No No No OUTPUT
otp_lc_data_o.state[17:7] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[18] No No No OUTPUT
otp_lc_data_o.state[21:19] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[22] No No No OUTPUT
otp_lc_data_o.state[46:23] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[48:47] No No No OUTPUT
otp_lc_data_o.state[68:49] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[69] No No No OUTPUT
otp_lc_data_o.state[73:70] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[74] No No No OUTPUT
otp_lc_data_o.state[77:75] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[78] No No No OUTPUT
otp_lc_data_o.state[79] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[80] No No No OUTPUT
otp_lc_data_o.state[84:81] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[85] No No No OUTPUT
otp_lc_data_o.state[87:86] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[88] No No No OUTPUT
otp_lc_data_o.state[95:89] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[96] No No No OUTPUT
otp_lc_data_o.state[98:97] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[99] No No No OUTPUT
otp_lc_data_o.state[101:100] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[102] No No No OUTPUT
otp_lc_data_o.state[103] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[104] No No No OUTPUT
otp_lc_data_o.state[105] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[106] No No No OUTPUT
otp_lc_data_o.state[113:107] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[115:114] No No No OUTPUT
otp_lc_data_o.state[131:116] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[133:132] No No No OUTPUT
otp_lc_data_o.state[134] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[135] No No No OUTPUT
otp_lc_data_o.state[136] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[137] No No No OUTPUT
otp_lc_data_o.state[141:138] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[142] No No No OUTPUT
otp_lc_data_o.state[146:143] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[147] No No No OUTPUT
otp_lc_data_o.state[151:148] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[152] No No No OUTPUT
otp_lc_data_o.state[156:153] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[158:157] No No No OUTPUT
otp_lc_data_o.state[165:159] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[166] No No No OUTPUT
otp_lc_data_o.state[167] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[168] No No No OUTPUT
otp_lc_data_o.state[180:169] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[181] No No No OUTPUT
otp_lc_data_o.state[183:182] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[184] No No No OUTPUT
otp_lc_data_o.state[198:185] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[200:199] No No No OUTPUT
otp_lc_data_o.state[206:201] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[207] No No No OUTPUT
otp_lc_data_o.state[217:208] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[218] No No No OUTPUT
otp_lc_data_o.state[219] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[220] No No No OUTPUT
otp_lc_data_o.state[226:221] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[227] No No No OUTPUT
otp_lc_data_o.state[230:228] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[231] No No No OUTPUT
otp_lc_data_o.state[235:232] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[237:236] No No No OUTPUT
otp_lc_data_o.state[260:238] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[261] No No No OUTPUT
otp_lc_data_o.state[263:262] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[264] No No No OUTPUT
otp_lc_data_o.state[273:265] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[274] No No No OUTPUT
otp_lc_data_o.state[277:275] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[279:278] No No No OUTPUT
otp_lc_data_o.state[284:280] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[286:285] No No No OUTPUT
otp_lc_data_o.state[307:287] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[308] No No No OUTPUT
otp_lc_data_o.state[316:309] Yes Yes T4,T7,*T95 Yes T4,T7,T95 OUTPUT
otp_lc_data_o.state[317] No No No OUTPUT
otp_lc_data_o.state[319:318] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.error Yes Yes T1,T2,T5 Yes T1,T2,T5 OUTPUT
otp_lc_data_o.valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_keymgr_key_o.owner_seed_valid No No No OUTPUT
otp_keymgr_key_o.owner_seed[255:0] No No No OUTPUT
otp_keymgr_key_o.creator_seed_valid No No No OUTPUT
otp_keymgr_key_o.creator_seed[255:0] No No No OUTPUT
otp_keymgr_key_o.creator_root_key_share1_valid Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_keymgr_key_o.creator_root_key_share1[255:0] Yes Yes T2,T3,T4 Yes T1,T2,T3 OUTPUT
otp_keymgr_key_o.creator_root_key_share0_valid Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_keymgr_key_o.creator_root_key_share0[255:0] Yes Yes T2,T3,T4 Yes T1,T2,T3 OUTPUT
flash_otp_key_i.addr_req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
flash_otp_key_i.data_req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
flash_otp_key_o.seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
flash_otp_key_o.rand_key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.addr_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.data_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_i[0].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[1].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[2].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[3].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_o[0].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[0].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[0].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[0].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[1].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[2].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[3].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_i.req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
otbn_otp_key_o.seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
otbn_otp_key_o.nonce[63:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_o.key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_o.ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otp_broadcast_o.hw_cfg0_data.device_id[255:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg0_data.manuf_state[255:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg0_data.hw_cfg0_digest[63:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.en_sram_ifetch[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.en_csrng_sw_app_read[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.dis_rv_dm_late_debug[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.unallocated[39:0] Yes Yes T4,T103,T37 Yes T4,T103,T37 OUTPUT
otp_broadcast_o.hw_cfg1_data.hw_cfg1_digest[63:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_broadcast_o.valid[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_ext_voltage_h_io No No No INOUT
scan_en_i Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
scan_rst_ni Yes Yes T2,T3,T4 Yes T1,T2,T3 INPUT
scanmode_i[3:0] Yes Yes T1,T2,T4 Yes T2,T3,T4 INPUT
cio_test_o[7:0] No No No OUTPUT
cio_test_en_o[7:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : otp_ctrl
Line No.TotalCoveredPercent
Branches 29 27 93.10
TERNARY 382 2 1 50.00
TERNARY 1439 2 2 100.00
TERNARY 1441 2 2 100.00
TERNARY 1443 2 2 100.00
IF 287 3 2 66.67
IF 308 2 2 100.00
IF 334 2 2 100.00
IF 341 2 2 100.00
IF 407 2 2 100.00
IF 448 2 2 100.00
IF 469 2 2 100.00
IF 472 2 2 100.00
IF 499 2 2 100.00
IF 991 2 2 100.00

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

LineNo. Expression -1-: 382 ((reg2hw.direct_access_regwen.qe && (!reg2hw.direct_access_regwen.q))) ?

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


LineNo. Expression -1-: 1439 ((part_digest[Secret0Idx] != '0)) ?

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


LineNo. Expression -1-: 1441 ((part_digest[Secret2Idx] != '0)) ?

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


LineNo. Expression -1-: 1443 ((part_digest[Secret2Idx] != '0)) ?

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


LineNo. Expression -1-: 287 if (tlul_req) -2-: 288 if ((tlul_part_sel_oh != '0))

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


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

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


LineNo. Expression -1-: 334 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_creator_seed_sw_rw_en))

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


LineNo. Expression -1-: 341 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_owner_seed_sw_rw_en))

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


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

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


LineNo. Expression -1-: 448 if (otp_ctrl_part_pkg::PartInfo[k].integrity)

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


LineNo. Expression -1-: 469 if ((fatal_macro_error_q || fatal_check_error_q))

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


LineNo. Expression -1-: 472 if (lc_ctrl_pkg::lc_tx_test_true_strict(lc_escalate_en[k]))

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


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

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


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

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


Assert Coverage for Module : otp_ctrl
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 71 71 100.00 69 97.18
Cover properties 0 0 0
Cover sequences 0 0 0
Total 71 71 100.00 69 97.18




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertTxKnown_A 424786196 423902480 0 0
CoreTlOutKnown_A 424786196 423902480 0 0
CreatorRootKeyShare0Size_A 1146 1146 0 0
CreatorRootKeyShare1Size_A 1146 1146 0 0
ErrorCodeWidth_A 1146 1146 0 0
FlashAddrKeySeedSize_A 1146 1146 0 0
FlashDataKeySeedSize_A 1146 1146 0 0
FlashOtpKeyRspKnown_A 424786196 423902480 0 0
FpvSecCmCntCnstyCheck_A 424786196 50 0 0
FpvSecCmCntDaiCheck_A 424786196 50 0 0
FpvSecCmCntIntegCheck_A 424786196 50 0 0
FpvSecCmCntKdiEntropyCheck_A 424786196 50 0 0
FpvSecCmCntKdiSeedCheck_A 424786196 50 0 0
FpvSecCmCntLciCheck_A 424786196 50 0 0
FpvSecCmCntScrmblCheck_A 424786196 50 0 0
FpvSecCmCtrlDaiFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlKdiFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlLciFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlLfsrTimerFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlScrambleFsmCheck_A 424786196 50 0 0
FpvSecCmDoubleLfsrCheck_A 424786196 50 0 0
FpvSecCmRegWeOnehotCheck_A 424786196 50 0 0
FpvSecCmTlLcGateFsm_A 424786196 50 0 0
IntrOtpErrorKnown_A 424786196 423902480 0 0
IntrOtpOperationDoneKnown_A 424786196 423902480 0 0
LcOtpProgramRspKnown_A 424786196 423902480 0 0
LcSeedHwRdEnStable0_A 424786196 2294 0 0
LcSeedHwRdEnStable1_A 424786196 2294 0 0
LcSeedHwRdEnStable2_A 424786196 0 0 0
LcSeedHwRdEnStable3_A 424786196 0 0 0
LcStateSize_A 1146 1146 0 0
LcTransitionCntSize_A 1146 1146 0 0
OtpAstPwrSeqKnown_A 424786196 423902480 0 0
OtpBroadcastKnown_A 424786196 423902480 0 0
OtpErrorCode0_A 1146 1146 0 0
OtpErrorCode1_A 1146 1146 0 0
OtpErrorCode2_A 1146 1146 0 0
OtpErrorCode3_A 1146 1146 0 0
OtpErrorCode4_A 1146 1146 0 0
OtpIfWidth_A 1146 1146 0 0
OtpKeymgrKeyKnown_A 424786196 423902480 0 0
OtpLcDataKnown_A 424786196 423902480 0 0
OtpOtgnKeyKnown_A 424786196 423902480 0 0
OtpRespFifoUnderflow_A 424786196 1389190 0 0
OtpSramKeyKnown_A 424786196 423902480 0 0
PartSelMustBeOnehot_A 424786196 423902480 0 0
PrimTlOutKnown_A 424786196 423902480 0 0
PwrOtpInitRspKnown_A 424786196 423902480 0 0
RmaTokenSize_A 1146 1146 0 0
SramDataKeySeedSize_A 1146 1146 0 0
TestExitTokenSize_A 1146 1146 0 0
TestUnlockTokenSize_A 1146 1146 0 0
gen_partitions[0].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[10].gen_lifecycle.FpvSecCmCntPartLcCheck_A 424786196 50 0 0
gen_partitions[10].gen_lifecycle.FpvSecCmCtrlPartLcFsmCheck_A 424786196 50 0 0
gen_partitions[1].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[2].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[3].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[4].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[5].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[5].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[6].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[6].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[7].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[7].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[8].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[8].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[9].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[9].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_reg_we_assert_generic.FpvSecCmPrimFsmCheck_A 424786196 50 0 0
gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 424786196 50 0 0


AlertTxKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

CoreTlOutKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

CreatorRootKeyShare0Size_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

CreatorRootKeyShare1Size_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

ErrorCodeWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashAddrKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashDataKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashOtpKeyRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

FpvSecCmCntCnstyCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntDaiCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntIntegCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntKdiEntropyCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntKdiSeedCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntLciCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntScrmblCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlDaiFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlKdiFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlLciFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlLfsrTimerFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlScrambleFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmDoubleLfsrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmTlLcGateFsm_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

IntrOtpErrorKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

IntrOtpOperationDoneKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

LcOtpProgramRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

LcSeedHwRdEnStable0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 2294 0 0
T3 16462 2 0 0
T4 112508 67 0 0
T5 9247 0 0 0
T6 585817 0 0 0
T7 71574 5 0 0
T8 50211 0 0 0
T9 135357 3 0 0
T10 15930 0 0 0
T11 294515 0 0 0
T24 65347 3 0 0
T88 0 4 0 0
T95 0 3 0 0
T96 0 6 0 0
T103 0 2 0 0
T105 0 2 0 0

LcSeedHwRdEnStable1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 2294 0 0
T3 16462 2 0 0
T4 112508 67 0 0
T5 9247 0 0 0
T6 585817 0 0 0
T7 71574 5 0 0
T8 50211 0 0 0
T9 135357 3 0 0
T10 15930 0 0 0
T11 294515 0 0 0
T24 65347 3 0 0
T88 0 4 0 0
T95 0 3 0 0
T96 0 6 0 0
T103 0 2 0 0
T105 0 2 0 0

LcSeedHwRdEnStable2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 0 0 0

LcSeedHwRdEnStable3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 0 0 0

LcStateSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

LcTransitionCntSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpAstPwrSeqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpBroadcastKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpErrorCode0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode4_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpIfWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpKeymgrKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpLcDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpOtgnKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpRespFifoUnderflow_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 1389190 0 0
T1 9526 110 0 0
T2 219033 2833 0 0
T3 16462 690 0 0
T4 112508 32050 0 0
T5 9247 112 0 0
T6 585817 3226 0 0
T7 71574 789 0 0
T8 50211 284 0 0
T9 135357 1441 0 0
T10 15930 210 0 0

OtpSramKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PartSelMustBeOnehot_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PrimTlOutKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PwrOtpInitRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

RmaTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

SramDataKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

TestExitTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

TestUnlockTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_partitions[0].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[10].gen_lifecycle.FpvSecCmCntPartLcCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[10].gen_lifecycle.FpvSecCmCtrlPartLcFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[1].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[2].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[3].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[4].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[5].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[5].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[6].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[6].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[7].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[7].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[8].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[8].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[9].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[9].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_reg_we_assert_generic.FpvSecCmPrimFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

Line Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
TOTAL15415198.05
CONT_ASSIGN25111100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN25311100.00
ALWAYS2841313100.00
ALWAYS30833100.00
ALWAYS3241010100.00
CONT_ASSIGN38211100.00
CONT_ASSIGN38611100.00
CONT_ASSIGN39011100.00
CONT_ASSIGN39411100.00
CONT_ASSIGN39511100.00
CONT_ASSIGN40311100.00
CONT_ASSIGN40411100.00
ALWAYS40755100.00
ALWAYS4341919100.00
CONT_ASSIGN48811100.00
CONT_ASSIGN49611100.00
ALWAYS49999100.00
ALWAYS5211010100.00
CONT_ASSIGN58511100.00
CONT_ASSIGN59311100.00
CONT_ASSIGN64011100.00
CONT_ASSIGN64211100.00
CONT_ASSIGN76511100.00
CONT_ASSIGN76611100.00
CONT_ASSIGN76711100.00
CONT_ASSIGN79711100.00
CONT_ASSIGN79911100.00
ALWAYS87622100.00
ALWAYS93422100.00
ALWAYS96144100.00
CONT_ASSIGN98811100.00
ALWAYS99133100.00
CONT_ASSIGN104311100.00
CONT_ASSIGN104511100.00
CONT_ASSIGN1079100.00
CONT_ASSIGN1130100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN118511100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN124011100.00
CONT_ASSIGN130011100.00
CONT_ASSIGN1312100.00
CONT_ASSIGN133611100.00
ALWAYS134822100.00
CONT_ASSIGN136211100.00
ALWAYS139099100.00
CONT_ASSIGN142111100.00
CONT_ASSIGN142211100.00
CONT_ASSIGN142411100.00
CONT_ASSIGN142611100.00
CONT_ASSIGN143011100.00
CONT_ASSIGN143211100.00
CONT_ASSIGN143411100.00
CONT_ASSIGN143911100.00
CONT_ASSIGN144111100.00
CONT_ASSIGN144311100.00
CONT_ASSIGN147511100.00
CONT_ASSIGN147711100.00
CONT_ASSIGN148111100.00
CONT_ASSIGN148511100.00
CONT_ASSIGN148911100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
251 1 1
253 10 10
284 1 1
285 1 1
286 1 1
287 1 1
288 1 1
289 1 1
292 excluded
Exclude Annotation: VC_COV_UNR
MISSING_ELSE
297 1 1
298 1 1
299 1 1
300 1 1
301 1 1
302 1 1
303 1 1
308 1 1
309 1 1
311 1 1
324 1 1
329 1 1
330 1 1
334 1 1
335 1 1
336 1 1
337 1 1
MISSING_ELSE
MISSING_ELSE
341 1 1
342 1 1
343 1 1
344 excluded
Exclude Annotation: VC_COV_UNR
MISSING_ELSE
MISSING_ELSE
382 1 1
386 1 1
390 1 1
394 1 1
395 1 1
403 1 1
404 1 1
407 1 1
408 1 1
410 1 1
412 1 1
413 1 1
434 1 1
435 1 1
436 1 1
438 1 1
440 1 1
443 1 1
445 1 1
448 1 1
449 1 1
MISSING_ELSE
453 1 1
455 1 1
459 1 1
462 1 1
464 1 1
469 1 1
470 1 1
MISSING_ELSE
472 1 1
473 1 1
MISSING_ELSE
478 1 1
488 1 1
496 1 1
499 1 1
500 1 1
501 1 1
502 1 1
503 1 1
505 1 1
506 1 1
507 1 1
508 1 1
521 1 1
523 1 1
525 1 1
527 1 1
529 1 1
538 1 1
540 1 1
541 1 1
542 1 1
543 1 1
585 1 1
593 1 1
640 1 1
642 1 1
765 1 1
766 1 1
767 1 1
797 1 1
799 1 1
876 1 1
877 1 1
934 1 1
935 1 1
961 1 1
962 1 1
963 1 1
964 1 1
988 1 1
991 1 1
992 1 1
994 1 1
1043 1 1
1045 1 1
1079 0 1
1130 0 1
1185 5 5
1240 5 5
1300 1 1
1312 0 1
1336 1 1
1348 1 1
1349 1 1
1362 1 1
1390 1 1
1391 1 1
1392 1 1
1393 1 1
1395 1 1
1396 1 1
1397 1 1
1398 1 1
1399 1 1
1421 1 1
1422 1 1
1424 1 1
1426 1 1
1430 1 1
1432 1 1
1434 1 1
1439 1 1
1441 1 1
1443 1 1
1475 1 1
1477 1 1
1481 1 1
1485 1 1
1489 1 1


Cond Coverage for Instance : tb.dut
TotalCoveredPercent
Conditions10410096.15
Logical10410096.15
Non-Logical00
Event00

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b00001000000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[1].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT1,T2,T3

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b00111100000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[2].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT2,T5,T4

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b10001111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[3].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT2,T3,T5

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11001010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[4].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T3,T5

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11001111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[5].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011000000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[6].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[7].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11011111000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[8].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11101010000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[9].PartEnd))
             -------------------1------------------   --------------------------2--------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T6,T11
11CoveredT2,T6,T11

 LINE       253
 EXPRESSION (({tlul_addr, 2'b0} >= 11'b11110101000) & ({1'b0, {tlul_addr, 2'b0}} < gen_part_sel[10].PartEnd))
             -------------------1------------------   ---------------------------2--------------------------
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10Excluded vcs_gen_start:k=10:vcs_gen_end:VC_COV_UNR
11CoveredT2,T6,T11

 LINE       288
 EXPRESSION (tlul_part_sel_oh != '0)
            ------------1-----------
-1-StatusTestsExclude Annotation
0Excluded VC_COV_UNR
1CoveredT1,T2,T3

 LINE       297
 EXPRESSION (((|part_tlul_gnt)) | tlul_oob_err_q)
             ---------1--------   -------2------
-1--2-StatusTestsExclude Annotation
00CoveredT1,T2,T3
01Excluded VC_COV_UNR
10CoveredT1,T2,T3

 LINE       298
 EXPRESSION (((|part_tlul_rvalid)) | tlul_oob_err_q)
             ----------1----------   -------2------
-1--2-StatusTestsExclude Annotation
00CoveredT1,T2,T3
01Excluded VC_COV_UNR
10CoveredT1,T2,T3

 LINE       382
 EXPRESSION ((reg2hw.direct_access_regwen.qe && ((!reg2hw.direct_access_regwen.q))) ? 1'b0 : direct_access_regwen_q)
             -----------------------------------1----------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       382
 SUB-EXPRESSION (reg2hw.direct_access_regwen.qe && ((!reg2hw.direct_access_regwen.q)))
                 ---------------1--------------    -----------------2----------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11Not Covered

 LINE       386
 EXPRESSION (reg2hw.direct_access_cmd.digest.qe | reg2hw.direct_access_cmd.wr.qe | reg2hw.direct_access_cmd.rd.qe)
             -----------------1----------------   ---------------2--------------   ---------------3--------------
-1--2--3-StatusTestsExclude Annotation
000CoveredT1,T2,T3
001Excluded VC_COV_UNR
010Excluded VC_COV_UNR
100Excluded VC_COV_UNR

 LINE       403
 EXPRESSION (lci_prog_idle & dai_prog_idle)
             ------1------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T5
11CoveredT1,T2,T3

 LINE       436
 EXPRESSION (fatal_bus_integ_error_q | ((|intg_error)))
             -----------1-----------   -------2-------
-1--2-StatusTestsExclude Annotation
00CoveredT1,T2,T3
01CoveredT17,T18,T19
10Excluded VC_COV_UNR

 LINE       445
 EXPRESSION (part_error[k] == MacroError)
            --------------1--------------
-1-StatusTestsExclude Annotation
0CoveredT1,T2,T3
1Excluded VC_COV_UNR

 LINE       449
 EXPRESSION (part_error[k] == MacroEccUncorrError)
            -------------------1------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T10,T111

 LINE       469
 EXPRESSION (fatal_macro_error_q || fatal_check_error_q)
             ---------1---------    ---------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T4
10CoveredT2,T5,T4

 LINE       478
 EXPRESSION (chk_timeout | lfsr_fsm_err | scrmbl_fsm_err | ((|part_fsm_err)))
             -----1-----   ------2-----   -------3------   --------4--------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001CoveredT2,T5,T4
0010CoveredT17,T18,T19
0100CoveredT17,T18,T19
1000CoveredT4,T13,T34

 LINE       527
 EXPRESSION (direct_access_regwen_q & dai_idle)
             -----------1----------   ----2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.recov_prim_otp_alert.q & reg2hw.alert_test.recov_prim_otp_alert.qe)
                 --------------------1-------------------   --------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_prim_otp_alert.q & reg2hw.alert_test.fatal_prim_otp_alert.qe)
                 --------------------1-------------------   --------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_bus_integ_error.q & reg2hw.alert_test.fatal_bus_integ_error.qe)
                 --------------------1--------------------   ---------------------2--------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_check_error.q & reg2hw.alert_test.fatal_check_error.qe)
                 ------------------1------------------   -------------------2------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       593
 SUB-EXPRESSION (reg2hw.alert_test.fatal_macro_error.q & reg2hw.alert_test.fatal_macro_error.qe)
                 ------------------1------------------   -------------------2------------------
-1--2-StatusTests
01CoveredT222,T93,T229
10CoveredT1,T2,T3
11CoveredT222,T93,T229

 LINE       640
 EXPRESSION (reg2hw.check_trigger.integrity.q & reg2hw.check_trigger.integrity.qe)
             ----------------1---------------   ----------------2----------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T4

 LINE       642
 EXPRESSION (reg2hw.check_trigger.consistency.q & reg2hw.check_trigger.consistency.qe)
             -----------------1----------------   -----------------2-----------------
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       765
 EXPRESSION (otp_prim_ready & otp_rsp_fifo_ready)
             -------1------   ---------2--------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       766
 EXPRESSION (otp_arb_valid & otp_rsp_fifo_ready)
             ------1------   ---------2--------
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

 LINE       767
 EXPRESSION (otp_prim_ready & otp_prim_valid)
             -------1------   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       877
 EXPRESSION (otp_rvalid & otp_fifo_valid)
             -----1----   -------2------
-1--2-StatusTestsExclude Annotation
01CoveredT1,T2,T3
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

 LINE       1421
 EXPRESSION (part_digest[Secret1Idx] != '0)
            ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T7,T9

 LINE       1439
 EXPRESSION ((part_digest[Secret0Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1439
 SUB-EXPRESSION (part_digest[Secret0Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1441
 EXPRESSION ((part_digest[Secret2Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1441
 SUB-EXPRESSION (part_digest[Secret2Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1443
 EXPRESSION ((part_digest[Secret2Idx] != '0) ? On : Off)
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

 LINE       1443
 SUB-EXPRESSION (part_digest[Secret2Idx] != '0)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T4,T7

Toggle Coverage for Instance : tb.dut
TotalCoveredPercent
Totals 149 142 95.30
Total Bits 9984 9706 97.22
Total Bits 0->1 4992 4853 97.22
Total Bits 1->0 4992 4853 97.22

Ports 149 142 95.30
Port Bits 9984 9706 97.22
Port Bits 0->1 4992 4853 97.22
Port Bits 1->0 4992 4853 97.22

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirectionExclude Annotation
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_edn_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_edn_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
edn_o.edn_req Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
edn_i.edn_bus[31:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
edn_i.edn_fips Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
edn_i.edn_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
core_tl_i.d_ready Yes Yes T1,T3,T5 Yes T1,T2,T3 INPUT
core_tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_user.instr_type[3:0] Yes Yes T2,T4,T9 Yes T2,T4,T9 INPUT
core_tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
core_tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_mask[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_address[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_source[7:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
core_tl_i.a_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
core_tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_error Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.rsp_intg[5:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_source[7:0] Yes Yes T2,T5,T7 Yes T2,T5,T7 OUTPUT
core_tl_o.d_size[1:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
core_tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
core_tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
prim_tl_i.d_ready Yes Yes T1,T3,T5 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.data_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_user.instr_type[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
prim_tl_i.a_data[31:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_mask[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_address[31:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_source[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_size[1:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
prim_tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
prim_tl_i.a_opcode[2:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_i.a_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
prim_tl_o.a_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_error Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_user.data_intg[6:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_user.rsp_intg[5:0] Yes Yes *T1,T2,*T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_user.rsp_intg[6] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_data[31:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT
prim_tl_o.d_sink Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_source[7:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
prim_tl_o.d_size[1:0] Yes Yes T2,T6,T11 Yes T2,T6,T11 OUTPUT
prim_tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_opcode[0] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
prim_tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
prim_tl_o.d_valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
intr_otp_operation_done_o Yes Yes T3,T5,T4 Yes T3,T5,T4 OUTPUT
intr_otp_error_o Yes Yes T1,T3,T5 Yes T1,T3,T5 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 T2,T5,T4 Yes T2,T5,T4 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,T2,T5 Yes T1,T2,T5 INPUT
alert_rx_i[1].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[1].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[2].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[2].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[2].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[2].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[3].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[3].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[3].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[3].ping_p Unreachable Unreachable Unreachable INPUT
alert_rx_i[4].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[4].ack_p Yes Yes T222,T93,T229 Yes T222,T93,T229 INPUT
alert_rx_i[4].ping_n Unreachable Unreachable Unreachable INPUT
alert_rx_i[4].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 T2,T5,T4 Yes T2,T5,T4 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,T2,T5 Yes T1,T2,T5 OUTPUT
alert_tx_o[2].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[2].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
alert_tx_o[3].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[3].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
alert_tx_o[4].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[4].alert_p Yes Yes T222,T93,T229 Yes T222,T93,T229 OUTPUT
obs_ctrl_i.obmen[3:0] No No No INPUT
obs_ctrl_i.obmsl[3:0] No No No INPUT
obs_ctrl_i.obgsl[3:0] No No No INPUT
otp_obs_o[7:0] Unreachable Unreachable Unreachable OUTPUT
otp_ast_pwr_seq_o.pwr_seq[1:0] Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
otp_ast_pwr_seq_h_i.pwr_seq_h[1:0] Yes Yes T1,T2,T3 Yes T2,T4,T7 INPUT
pwr_otp_i.otp_init Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
pwr_otp_o.otp_idle Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
pwr_otp_o.otp_done Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
lc_otp_vendor_test_i.ctrl[31:0] No No No INPUT
lc_otp_vendor_test_o.status[31:0] Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
lc_otp_program_i.count[383:0] Yes Yes T2,T4,T154 Yes T2,T4,T12 INPUT
lc_otp_program_i.state[319:0] Yes Yes T2,T4,T33 Yes T2,T4,T12 INPUT
lc_otp_program_i.req Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
lc_otp_program_o.ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
lc_otp_program_o.err Yes Yes T33,T233,T99 Yes T33,T233,T99 OUTPUT
lc_creator_seed_sw_rw_en_i[3:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 INPUT
lc_owner_seed_sw_rw_en_i[3:0] Yes Yes T1,T2,T3 Yes T2,T3,T4 INPUT
lc_seed_hw_rd_en_i[3:0] Yes Yes T2,T4,T7 Yes T1,T2,T3 INPUT
lc_dft_en_i[3:0] Yes Yes T2,T4,T7 Yes T2,T3,T4 INPUT
lc_escalate_en_i[3:0] Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
lc_check_byp_en_i[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
otp_lc_data_o.rma_token[127:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.rma_token_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.test_exit_token[127:0] Yes Yes T4,T88,T89 Yes T4,T88,T89 OUTPUT
otp_lc_data_o.test_unlock_token[127:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.test_tokens_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.secrets_valid[3:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[0] No No No OUTPUT
otp_lc_data_o.count[3:1] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[4] No No No OUTPUT
otp_lc_data_o.count[29:5] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[31:30] No No No OUTPUT
otp_lc_data_o.count[51:32] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[52] No No No OUTPUT
otp_lc_data_o.count[54:53] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[55] No No No OUTPUT
otp_lc_data_o.count[62:56] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[65:63] No No No OUTPUT
otp_lc_data_o.count[78:66] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[79] No No No OUTPUT
otp_lc_data_o.count[84:80] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[85] No No No OUTPUT
otp_lc_data_o.count[104:86] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[106:105] No No No OUTPUT
otp_lc_data_o.count[115:107] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[116] No No No OUTPUT
otp_lc_data_o.count[121:117] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[122] No No No OUTPUT
otp_lc_data_o.count[138:123] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[139] No No No OUTPUT
otp_lc_data_o.count[147:140] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[148] No No No OUTPUT
otp_lc_data_o.count[150:149] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[153:151] No No No OUTPUT
otp_lc_data_o.count[155:154] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[156] No No No OUTPUT
otp_lc_data_o.count[164:157] Yes Yes T3,T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[165] No No No OUTPUT
otp_lc_data_o.count[171:166] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[172] No No No OUTPUT
otp_lc_data_o.count[176:173] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[177] No No No OUTPUT
otp_lc_data_o.count[185:178] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[186] No No No OUTPUT
otp_lc_data_o.count[194:187] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[195] No No No OUTPUT
otp_lc_data_o.count[198:196] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[199] No No No OUTPUT
otp_lc_data_o.count[206:200] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[208:207] No No No OUTPUT
otp_lc_data_o.count[215:209] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[216] No No No OUTPUT
otp_lc_data_o.count[217] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[218] No No No OUTPUT
otp_lc_data_o.count[225:219] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[226] No No No OUTPUT
otp_lc_data_o.count[243:227] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[244] No No No OUTPUT
otp_lc_data_o.count[251:245] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[252] No No No OUTPUT
otp_lc_data_o.count[254:253] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[255] No No No OUTPUT
otp_lc_data_o.count[257:256] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[258] No No No OUTPUT
otp_lc_data_o.count[274:259] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[275] No No No OUTPUT
otp_lc_data_o.count[285:276] Yes Yes T3,T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[286] No No No OUTPUT
otp_lc_data_o.count[324:287] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[325] No No No OUTPUT
otp_lc_data_o.count[327:326] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[328] No No No OUTPUT
otp_lc_data_o.count[333:329] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[334] No No No OUTPUT
otp_lc_data_o.count[345:335] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[346] No No No OUTPUT
otp_lc_data_o.count[357:347] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.count[358] No No No OUTPUT
otp_lc_data_o.count[379:359] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.count[381:380] No No No OUTPUT
otp_lc_data_o.count[383:382] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[5:0] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[6] No No No OUTPUT
otp_lc_data_o.state[17:7] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[18] No No No OUTPUT
otp_lc_data_o.state[21:19] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[22] No No No OUTPUT
otp_lc_data_o.state[46:23] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[48:47] No No No OUTPUT
otp_lc_data_o.state[68:49] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[69] No No No OUTPUT
otp_lc_data_o.state[73:70] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[74] No No No OUTPUT
otp_lc_data_o.state[77:75] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[78] No No No OUTPUT
otp_lc_data_o.state[79] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[80] No No No OUTPUT
otp_lc_data_o.state[84:81] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[85] No No No OUTPUT
otp_lc_data_o.state[87:86] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[88] No No No OUTPUT
otp_lc_data_o.state[95:89] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[96] No No No OUTPUT
otp_lc_data_o.state[98:97] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[99] No No No OUTPUT
otp_lc_data_o.state[101:100] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[102] No No No OUTPUT
otp_lc_data_o.state[103] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[104] No No No OUTPUT
otp_lc_data_o.state[105] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[106] No No No OUTPUT
otp_lc_data_o.state[113:107] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[115:114] No No No OUTPUT
otp_lc_data_o.state[131:116] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[133:132] No No No OUTPUT
otp_lc_data_o.state[134] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[135] No No No OUTPUT
otp_lc_data_o.state[136] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[137] No No No OUTPUT
otp_lc_data_o.state[141:138] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[142] No No No OUTPUT
otp_lc_data_o.state[146:143] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[147] No No No OUTPUT
otp_lc_data_o.state[151:148] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[152] No No No OUTPUT
otp_lc_data_o.state[156:153] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[158:157] No No No OUTPUT
otp_lc_data_o.state[165:159] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[166] No No No OUTPUT
otp_lc_data_o.state[167] Yes Yes *T1,*T2,*T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[168] No No No OUTPUT
otp_lc_data_o.state[180:169] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[181] No No No OUTPUT
otp_lc_data_o.state[183:182] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[184] No No No OUTPUT
otp_lc_data_o.state[198:185] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[200:199] No No No OUTPUT
otp_lc_data_o.state[206:201] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[207] No No No OUTPUT
otp_lc_data_o.state[217:208] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[218] No No No OUTPUT
otp_lc_data_o.state[219] Yes Yes *T3,*T4,*T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[220] No No No OUTPUT
otp_lc_data_o.state[226:221] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[227] No No No OUTPUT
otp_lc_data_o.state[230:228] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[231] No No No OUTPUT
otp_lc_data_o.state[235:232] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[237:236] No No No OUTPUT
otp_lc_data_o.state[260:238] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[261] No No No OUTPUT
otp_lc_data_o.state[263:262] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[264] No No No OUTPUT
otp_lc_data_o.state[273:265] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_lc_data_o.state[274] No No No OUTPUT
otp_lc_data_o.state[277:275] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[279:278] No No No OUTPUT
otp_lc_data_o.state[284:280] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[286:285] No No No OUTPUT
otp_lc_data_o.state[307:287] Yes Yes *T1,*T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.state[308] No No No OUTPUT
otp_lc_data_o.state[316:309] Yes Yes T4,T7,*T95 Yes T4,T7,T95 OUTPUT
otp_lc_data_o.state[317] No No No OUTPUT
otp_lc_data_o.state[319:318] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_lc_data_o.error Yes Yes T1,T2,T5 Yes T1,T2,T5 OUTPUT
otp_lc_data_o.valid Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_keymgr_key_o.owner_seed_valid Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
otp_keymgr_key_o.owner_seed[255:0] Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
otp_keymgr_key_o.creator_seed_valid Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
otp_keymgr_key_o.creator_seed[255:0] Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
otp_keymgr_key_o.creator_root_key_share1_valid Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_keymgr_key_o.creator_root_key_share1[255:0] Yes Yes T2,T3,T4 Yes T1,T2,T3 OUTPUT
otp_keymgr_key_o.creator_root_key_share0_valid Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_keymgr_key_o.creator_root_key_share0[255:0] Yes Yes T2,T3,T4 Yes T1,T2,T3 OUTPUT
flash_otp_key_i.addr_req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
flash_otp_key_i.data_req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
flash_otp_key_o.seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
flash_otp_key_o.rand_key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.addr_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
flash_otp_key_o.data_ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_i[0].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[1].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[2].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_i[3].req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
sram_otp_key_o[0].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[0].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[0].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[0].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[1].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[1].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[2].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[2].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
sram_otp_key_o[3].nonce[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
sram_otp_key_o[3].ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_i.req Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
otbn_otp_key_o.seed_valid Yes Yes T4,T7,T9 Yes T4,T7,T9 OUTPUT
otbn_otp_key_o.nonce[63:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_o.key[127:0] Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otbn_otp_key_o.ack Yes Yes T2,T3,T4 Yes T2,T3,T4 OUTPUT
otp_broadcast_o.hw_cfg0_data.device_id[255:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg0_data.manuf_state[255:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg0_data.hw_cfg0_digest[63:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.en_sram_ifetch[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.en_csrng_sw_app_read[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.dis_rv_dm_late_debug[7:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_broadcast_o.hw_cfg1_data.unallocated[39:0] Yes Yes T4,T103,T37 Yes T4,T103,T37 OUTPUT
otp_broadcast_o.hw_cfg1_data.hw_cfg1_digest[63:0] Yes Yes T3,T4,T7 Yes T3,T4,T7 OUTPUT
otp_broadcast_o.valid[3:0] Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
otp_ext_voltage_h_io No No No INOUT
scan_en_i Yes Yes T2,T3,T4 Yes T2,T3,T4 INPUT
scan_rst_ni Yes Yes T2,T3,T4 Yes T1,T2,T3 INPUT
scanmode_i[3:0] Yes Yes T1,T2,T4 Yes T2,T3,T4 INPUT
cio_test_o[7:0] Excluded Excluded Excluded OUTPUT 0->1:VC_COV_UNR / 1->0:VC_COV_UNR
cio_test_en_o[7:0] Yes Yes T2,T4,T7 Yes T2,T4,T7 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Instance : tb.dut
Line No.TotalCoveredPercent
Branches 28 27 96.43
TERNARY 382 2 1 50.00
TERNARY 1439 2 2 100.00
TERNARY 1441 2 2 100.00
TERNARY 1443 2 2 100.00
IF 287 2 2 100.00
IF 308 2 2 100.00
IF 334 2 2 100.00
IF 341 2 2 100.00
IF 407 2 2 100.00
IF 448 2 2 100.00
IF 469 2 2 100.00
IF 472 2 2 100.00
IF 499 2 2 100.00
IF 991 2 2 100.00

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

LineNo. Expression -1-: 382 ((reg2hw.direct_access_regwen.qe && (!reg2hw.direct_access_regwen.q))) ?

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


LineNo. Expression -1-: 1439 ((part_digest[Secret0Idx] != '0)) ?

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


LineNo. Expression -1-: 1441 ((part_digest[Secret2Idx] != '0)) ?

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


LineNo. Expression -1-: 1443 ((part_digest[Secret2Idx] != '0)) ?

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


LineNo. Expression -1-: 287 if (tlul_req) -2-: 288 if ((tlul_part_sel_oh != '0))

Branches:
-1--2-StatusTestsExclude Annotation
1 1 Covered T1,T2,T3
1 0 Excluded VC_COV_UNR
0 - Covered T1,T2,T3


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

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


LineNo. Expression -1-: 334 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_creator_seed_sw_rw_en))

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


LineNo. Expression -1-: 341 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_owner_seed_sw_rw_en))

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


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

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


LineNo. Expression -1-: 448 if (otp_ctrl_part_pkg::PartInfo[k].integrity)

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


LineNo. Expression -1-: 469 if ((fatal_macro_error_q || fatal_check_error_q))

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


LineNo. Expression -1-: 472 if (lc_ctrl_pkg::lc_tx_test_true_strict(lc_escalate_en[k]))

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


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

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


LineNo. Expression -1-: 991 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 71 71 100.00 69 97.18
Cover properties 0 0 0
Cover sequences 0 0 0
Total 71 71 100.00 69 97.18




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
AlertTxKnown_A 424786196 423902480 0 0
CoreTlOutKnown_A 424786196 423902480 0 0
CreatorRootKeyShare0Size_A 1146 1146 0 0
CreatorRootKeyShare1Size_A 1146 1146 0 0
ErrorCodeWidth_A 1146 1146 0 0
FlashAddrKeySeedSize_A 1146 1146 0 0
FlashDataKeySeedSize_A 1146 1146 0 0
FlashOtpKeyRspKnown_A 424786196 423902480 0 0
FpvSecCmCntCnstyCheck_A 424786196 50 0 0
FpvSecCmCntDaiCheck_A 424786196 50 0 0
FpvSecCmCntIntegCheck_A 424786196 50 0 0
FpvSecCmCntKdiEntropyCheck_A 424786196 50 0 0
FpvSecCmCntKdiSeedCheck_A 424786196 50 0 0
FpvSecCmCntLciCheck_A 424786196 50 0 0
FpvSecCmCntScrmblCheck_A 424786196 50 0 0
FpvSecCmCtrlDaiFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlKdiFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlLciFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlLfsrTimerFsmCheck_A 424786196 50 0 0
FpvSecCmCtrlScrambleFsmCheck_A 424786196 50 0 0
FpvSecCmDoubleLfsrCheck_A 424786196 50 0 0
FpvSecCmRegWeOnehotCheck_A 424786196 50 0 0
FpvSecCmTlLcGateFsm_A 424786196 50 0 0
IntrOtpErrorKnown_A 424786196 423902480 0 0
IntrOtpOperationDoneKnown_A 424786196 423902480 0 0
LcOtpProgramRspKnown_A 424786196 423902480 0 0
LcSeedHwRdEnStable0_A 424786196 2294 0 0
LcSeedHwRdEnStable1_A 424786196 2294 0 0
LcSeedHwRdEnStable2_A 424786196 0 0 0
LcSeedHwRdEnStable3_A 424786196 0 0 0
LcStateSize_A 1146 1146 0 0
LcTransitionCntSize_A 1146 1146 0 0
OtpAstPwrSeqKnown_A 424786196 423902480 0 0
OtpBroadcastKnown_A 424786196 423902480 0 0
OtpErrorCode0_A 1146 1146 0 0
OtpErrorCode1_A 1146 1146 0 0
OtpErrorCode2_A 1146 1146 0 0
OtpErrorCode3_A 1146 1146 0 0
OtpErrorCode4_A 1146 1146 0 0
OtpIfWidth_A 1146 1146 0 0
OtpKeymgrKeyKnown_A 424786196 423902480 0 0
OtpLcDataKnown_A 424786196 423902480 0 0
OtpOtgnKeyKnown_A 424786196 423902480 0 0
OtpRespFifoUnderflow_A 424786196 1389190 0 0
OtpSramKeyKnown_A 424786196 423902480 0 0
PartSelMustBeOnehot_A 424786196 423902480 0 0
PrimTlOutKnown_A 424786196 423902480 0 0
PwrOtpInitRspKnown_A 424786196 423902480 0 0
RmaTokenSize_A 1146 1146 0 0
SramDataKeySeedSize_A 1146 1146 0 0
TestExitTokenSize_A 1146 1146 0 0
TestUnlockTokenSize_A 1146 1146 0 0
gen_partitions[0].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[10].gen_lifecycle.FpvSecCmCntPartLcCheck_A 424786196 50 0 0
gen_partitions[10].gen_lifecycle.FpvSecCmCtrlPartLcFsmCheck_A 424786196 50 0 0
gen_partitions[1].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[2].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[3].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[4].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A 424786196 50 0 0
gen_partitions[5].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[5].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[6].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[6].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[7].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[7].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[8].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[8].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_partitions[9].gen_buffered.FpvSecCmCntPartBufCheck_A 424786196 50 0 0
gen_partitions[9].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A 424786196 50 0 0
gen_reg_we_assert_generic.FpvSecCmPrimFsmCheck_A 424786196 50 0 0
gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 424786196 50 0 0


AlertTxKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

CoreTlOutKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

CreatorRootKeyShare0Size_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

CreatorRootKeyShare1Size_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

ErrorCodeWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashAddrKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashDataKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

FlashOtpKeyRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

FpvSecCmCntCnstyCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntDaiCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntIntegCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntKdiEntropyCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntKdiSeedCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntLciCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCntScrmblCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlDaiFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlKdiFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlLciFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlLfsrTimerFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmCtrlScrambleFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmDoubleLfsrCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

FpvSecCmTlLcGateFsm_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

IntrOtpErrorKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

IntrOtpOperationDoneKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

LcOtpProgramRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

LcSeedHwRdEnStable0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 2294 0 0
T3 16462 2 0 0
T4 112508 67 0 0
T5 9247 0 0 0
T6 585817 0 0 0
T7 71574 5 0 0
T8 50211 0 0 0
T9 135357 3 0 0
T10 15930 0 0 0
T11 294515 0 0 0
T24 65347 3 0 0
T88 0 4 0 0
T95 0 3 0 0
T96 0 6 0 0
T103 0 2 0 0
T105 0 2 0 0

LcSeedHwRdEnStable1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 2294 0 0
T3 16462 2 0 0
T4 112508 67 0 0
T5 9247 0 0 0
T6 585817 0 0 0
T7 71574 5 0 0
T8 50211 0 0 0
T9 135357 3 0 0
T10 15930 0 0 0
T11 294515 0 0 0
T24 65347 3 0 0
T88 0 4 0 0
T95 0 3 0 0
T96 0 6 0 0
T103 0 2 0 0
T105 0 2 0 0

LcSeedHwRdEnStable2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 0 0 0

LcSeedHwRdEnStable3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 0 0 0

LcStateSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

LcTransitionCntSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpAstPwrSeqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpBroadcastKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpErrorCode0_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode1_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode2_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode3_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpErrorCode4_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpIfWidth_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

OtpKeymgrKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpLcDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpOtgnKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

OtpRespFifoUnderflow_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 1389190 0 0
T1 9526 110 0 0
T2 219033 2833 0 0
T3 16462 690 0 0
T4 112508 32050 0 0
T5 9247 112 0 0
T6 585817 3226 0 0
T7 71574 789 0 0
T8 50211 284 0 0
T9 135357 1441 0 0
T10 15930 210 0 0

OtpSramKeyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PartSelMustBeOnehot_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PrimTlOutKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

PwrOtpInitRspKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 423902480 0 0
T1 9526 9250 0 0
T2 219033 219019 0 0
T3 16462 16141 0 0
T4 112508 111247 0 0
T5 9247 8978 0 0
T6 585817 585805 0 0
T7 71574 70709 0 0
T8 50211 49947 0 0
T9 135357 133875 0 0
T10 15930 15625 0 0

RmaTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

SramDataKeySeedSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

TestExitTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

TestUnlockTokenSize_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1146 1146 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_partitions[0].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[10].gen_lifecycle.FpvSecCmCntPartLcCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[10].gen_lifecycle.FpvSecCmCtrlPartLcFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[1].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[2].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[3].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[4].gen_unbuffered.FpvSecCmCtrlPartUnbufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[5].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[5].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[6].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[6].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[7].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[7].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[8].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[8].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[9].gen_buffered.FpvSecCmCntPartBufCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_partitions[9].gen_buffered.FpvSecCmCtrlPartBufFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_reg_we_assert_generic.FpvSecCmPrimFsmCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 424786196 50 0 0
T17 994168 10 0 0
T18 0 10 0 0
T19 0 10 0 0
T52 18479 0 0 0
T234 0 10 0 0
T235 0 10 0 0
T236 398443 0 0 0
T237 10192 0 0 0
T238 29629 0 0 0
T239 13736 0 0 0
T240 381107 0 0 0
T241 13025 0 0 0
T242 8682 0 0 0
T243 43960 0 0 0

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