Cond split page
dashboard | hierarchy | modlist | groups | tests | asserts
Go back
 LINE       67
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT31,T54,T55
11CoveredT1,T2,T3

 LINE       79
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT6,T10,T11
10CoveredT111,T112,T113

 LINE       86
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT6,T10,T11
010CoveredT111,T112,T113
100CoveredT6,T10,T11

 LINE       136
 EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[1024:1535]}) ? 2'b0 : ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 2'b1 : 2'd2))
             ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       136
 SUB-EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 2'b1 : 2'd2)
                 ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       175
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT111,T112,T113
010CoveredT31,T54,T55
100CoveredT31,T54,T55

 LINE       664
 EXPRESSION (cfg_shadowed_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT1,T2,T3

 LINE       1267
 EXPRESSION (entropy_period_we & cfg_regwen_qs)
             --------1--------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT12,T13,T4
11CoveredT1,T2,T3

 LINE       1354
 EXPRESSION (entropy_refresh_threshold_shadowed_we & cfg_regwen_qs)
             ------------------1------------------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT1,T2,T3

 LINE       1419
 EXPRESSION (key_share0_0_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1443
 EXPRESSION (key_share0_1_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1467
 EXPRESSION (key_share0_2_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1491
 EXPRESSION (key_share0_3_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1515
 EXPRESSION (key_share0_4_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1539
 EXPRESSION (key_share0_5_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1563
 EXPRESSION (key_share0_6_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1587
 EXPRESSION (key_share0_7_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1611
 EXPRESSION (key_share0_8_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1635
 EXPRESSION (key_share0_9_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1659
 EXPRESSION (key_share0_10_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1683
 EXPRESSION (key_share0_11_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1707
 EXPRESSION (key_share0_12_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1731
 EXPRESSION (key_share0_13_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1755
 EXPRESSION (key_share0_14_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1779
 EXPRESSION (key_share0_15_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1803
 EXPRESSION (key_share1_0_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1827
 EXPRESSION (key_share1_1_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1851
 EXPRESSION (key_share1_2_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1875
 EXPRESSION (key_share1_3_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1899
 EXPRESSION (key_share1_4_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1923
 EXPRESSION (key_share1_5_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1947
 EXPRESSION (key_share1_6_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1971
 EXPRESSION (key_share1_7_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       1995
 EXPRESSION (key_share1_8_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2019
 EXPRESSION (key_share1_9_we & cfg_regwen_qs)
             -------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2043
 EXPRESSION (key_share1_10_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2067
 EXPRESSION (key_share1_11_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2091
 EXPRESSION (key_share1_12_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2115
 EXPRESSION (key_share1_13_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2139
 EXPRESSION (key_share1_14_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2163
 EXPRESSION (key_share1_15_we & cfg_regwen_qs)
             --------1-------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2183
 EXPRESSION (key_len_we & cfg_regwen_qs)
             -----1----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT1,T2,T3

 LINE       2215
 EXPRESSION (prefix_0_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2247
 EXPRESSION (prefix_1_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2279
 EXPRESSION (prefix_2_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2311
 EXPRESSION (prefix_3_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2343
 EXPRESSION (prefix_4_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2375
 EXPRESSION (prefix_5_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2407
 EXPRESSION (prefix_6_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2439
 EXPRESSION (prefix_7_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2471
 EXPRESSION (prefix_8_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2503
 EXPRESSION (prefix_9_we & cfg_regwen_qs)
             -----1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2535
 EXPRESSION (prefix_10_we & cfg_regwen_qs)
             ------1-----   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T5,T6
11CoveredT12,T13,T4

 LINE       2595
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_INTR_STATE_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2596
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_INTR_ENABLE_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2597
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_INTR_TEST_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T39,T21

 LINE       2598
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ALERT_TEST_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T15,T39

 LINE       2599
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_CFG_REGWEN_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2600
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_CFG_SHADOWED_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2601
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_CMD_OFFSET)
            ---------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2602
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_STATUS_OFFSET)
            -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2603
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ENTROPY_PERIOD_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2604
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ENTROPY_REFRESH_HASH_CNT_OFFSET)
            --------------------------------1-------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2605
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ENTROPY_REFRESH_THRESHOLD_SHADOWED_OFFSET)
            -------------------------------------1------------------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2606
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ENTROPY_SEED_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T4,T15

 LINE       2607
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_0_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2608
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_1_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2609
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_2_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2610
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_3_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2611
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_4_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2612
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_5_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2613
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_6_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2614
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_7_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2615
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_8_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2616
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_9_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2617
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_10_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2618
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_11_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2619
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_12_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2620
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_13_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2621
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_14_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2622
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE0_15_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2623
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_0_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2624
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_1_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2625
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_2_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2626
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_3_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2627
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_4_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2628
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_5_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2629
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_6_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2630
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_7_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2631
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_8_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2632
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_9_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2633
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_10_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2634
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_11_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2635
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_12_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2636
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_13_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2637
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_14_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2638
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_SHARE1_15_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2639
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_KEY_LEN_OFFSET)
            -----------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2640
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_0_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2641
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_1_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2642
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_2_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2643
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_3_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2644
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_4_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2645
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_5_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2646
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_6_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2647
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_7_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2648
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_8_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2649
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_9_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2650
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_PREFIX_10_OFFSET)
            ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T12,T13

 LINE       2651
 EXPRESSION (reg_addr == kmac_reg_pkg::KMAC_ERR_CODE_OFFSET)
            ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T39,T21

 LINE       2654
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       2654
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3

 LINE       2658
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[10] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[35] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[36] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[37] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[38] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[39] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[40] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[41] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[42] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[43] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[44] & ((|(4'b1 & (~reg_be))))) | (addr_hit[45] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[46] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[47] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[48] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[49] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[50] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[51] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[52] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[53] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[54] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[55] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[56] & ((|(4'b1111 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT31,T54,T55

 LINE       2658
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b0111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b0011 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b0011 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | 
     13  (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | 
     14  (addr_hit[13] & ((|(4'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | 
     17  (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | 
     18  (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | 
     19  (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | 
     20  (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | 
     21  (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | 
     22  (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | 
     23  (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b1111 & (~reg_be))))) | 
     36  (addr_hit[35] & ((|(4'b1111 & (~reg_be))))) | 
     37  (addr_hit[36] & ((|(4'b1111 & (~reg_be))))) | 
     38  (addr_hit[37] & ((|(4'b1111 & (~reg_be))))) | 
     39  (addr_hit[38] & ((|(4'b1111 & (~reg_be))))) | 
     40  (addr_hit[39] & ((|(4'b1111 & (~reg_be))))) | 
     41  (addr_hit[40] & ((|(4'b1111 & (~reg_be))))) | 
     42  (addr_hit[41] & ((|(4'b1111 & (~reg_be))))) | 
     43  (addr_hit[42] & ((|(4'b1111 & (~reg_be))))) | 
     44  (addr_hit[43] & ((|(4'b1111 & (~reg_be))))) | 
     45  (addr_hit[44] & ((|(4'b1 & (~reg_be))))) | 
     46  (addr_hit[45] & ((|(4'b1111 & (~reg_be))))) | 
     47  (addr_hit[46] & ((|(4'b1111 & (~reg_be))))) | 
     48  (addr_hit[47] & ((|(4'b1111 & (~reg_be))))) | 
     49  (addr_hit[48] & ((|(4'b1111 & (~reg_be))))) | 
     50  (addr_hit[49] & ((|(4'b1111 & (~reg_be))))) | 
     51  (addr_hit[50] & ((|(4'b1111 & (~reg_be))))) | 
     52  (addr_hit[51] & ((|(4'b1111 & (~reg_be))))) | 
     53  (addr_hit[52] & ((|(4'b1111 & (~reg_be))))) | 
     54  (addr_hit[53] & ((|(4'b1111 & (~reg_be))))) | 
     55  (addr_hit[54] & ((|(4'b1111 & (~reg_be))))) | 
     56  (addr_hit[55] & ((|(4'b1111 & (~reg_be))))) | 
     57  (addr_hit[56] & ((|(4'b1111 & (~reg_be))))))
Sensitive Expression == 1StatusTests
ALL ZEROSCoveredT1,T2,T3
57 (addr_hit[56] & ((|(4'...CoveredT1,T39,T21
56 (addr_hit[55] & ((|(4'...CoveredT1,T15,T39
55 (addr_hit[54] & ((|(4'...CoveredT1,T15,T39
54 (addr_hit[53] & ((|(4'...CoveredT1,T15,T39
53 (addr_hit[52] & ((|(4'...CoveredT1,T15,T39
52 (addr_hit[51] & ((|(4'...CoveredT1,T15,T39
51 (addr_hit[50] & ((|(4'...CoveredT1,T15,T39
50 (addr_hit[49] & ((|(4'...CoveredT1,T15,T39
49 (addr_hit[48] & ((|(4'...CoveredT1,T15,T39
48 (addr_hit[47] & ((|(4'...CoveredT1,T15,T39
47 (addr_hit[46] & ((|(4'...CoveredT1,T21,T41
46 (addr_hit[45] & ((|(4'...CoveredT1,T15,T39
45 (addr_hit[44] & ((|(4'...CoveredT1,T39,T21
44 (addr_hit[43] & ((|(4'...CoveredT1,T15,T39
43 (addr_hit[42] & ((|(4'...CoveredT1,T15,T21
42 (addr_hit[41] & ((|(4'...CoveredT1,T15,T39
41 (addr_hit[40] & ((|(4'...CoveredT1,T15,T39
40 (addr_hit[39] & ((|(4'...CoveredT1,T15,T39
39 (addr_hit[38] & ((|(4'...CoveredT1,T15,T39
38 (addr_hit[37] & ((|(4'...CoveredT1,T15,T39
37 (addr_hit[36] & ((|(4'...CoveredT1,T15,T21
36 (addr_hit[35] & ((|(4'...CoveredT1,T15,T39
35 (addr_hit[34] & ((|(4'...CoveredT1,T15,T39
34 (addr_hit[33] & ((|(4'...CoveredT1,T15,T21
33 (addr_hit[32] & ((|(4'...CoveredT1,T15,T39
32 (addr_hit[31] & ((|(4'...CoveredT1,T15,T39
31 (addr_hit[30] & ((|(4'...CoveredT1,T15,T39
30 (addr_hit[29] & ((|(4'...CoveredT1,T15,T39
29 (addr_hit[28] & ((|(4'...CoveredT1,T15,T39
28 (addr_hit[27] & ((|(4'...CoveredT1,T15,T39
27 (addr_hit[26] & ((|(4'...CoveredT1,T15,T21
26 (addr_hit[25] & ((|(4'...CoveredT1,T15,T39
25 (addr_hit[24] & ((|(4'...CoveredT1,T15,T39
24 (addr_hit[23] & ((|(4'...CoveredT1,T15,T39
23 (addr_hit[22] & ((|(4'...CoveredT1,T39,T21
22 (addr_hit[21] & ((|(4'...CoveredT1,T15,T39
21 (addr_hit[20] & ((|(4'...CoveredT1,T15,T21
20 (addr_hit[19] & ((|(4'...CoveredT1,T15,T39
19 (addr_hit[18] & ((|(4'...CoveredT1,T39,T21
18 (addr_hit[17] & ((|(4'...CoveredT1,T15,T39
17 (addr_hit[16] & ((|(4'...CoveredT1,T15,T21
16 (addr_hit[15] & ((|(4'...CoveredT1,T15,T39
15 (addr_hit[14] & ((|(4'...CoveredT1,T15,T39
14 (addr_hit[13] & ((|(4'...CoveredT1,T15,T39
13 (addr_hit[12] & ((|(4'...CoveredT1,T15,T39
12 (addr_hit[11] & ((|(4'...CoveredT1,T15,T39
11 (addr_hit[10] & ((|(4'...CoveredT1,T15,T39
10 (addr_hit[9] & ((|(4'b...CoveredT1,T12,T13
9 (addr_hit[8] & ((|(4'b...CoveredT1,T15,T39
8 (addr_hit[7] & ((|(4'b...CoveredT1,T2,T3
7 (addr_hit[6] & ((|(4'b...CoveredT1,T39,T21
6 (addr_hit[5] & ((|(4'b...CoveredT1,T39,T21
5 (addr_hit[4] & ((|(4'b...CoveredT1,T12,T13
4 (addr_hit[3] & ((|(4'b...CoveredT1,T39,T21
3 (addr_hit[2] & ((|(4'b...CoveredT1,T39,T21
2 (addr_hit[1] & ((|(4'b...CoveredT1,T15,T39
1 (addr_hit[0] & ((|(4'b...CoveredT1,T2,T3

 LINE       2658
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       2658
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T21,T41
11CoveredT1,T39,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T15,T39
11CoveredT1,T39,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T12,T13

 LINE       2658
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T39,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T39,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       2658
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T12,T13

 LINE       2658
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T4,T21
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T39,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T21

 LINE       2658
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T15,T39

 LINE       2658
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T12,T13
11CoveredT1,T39,T21
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%