Cond split page
dashboard | hierarchy | modlist | groups | tests | asserts
Go back
 LINE       298
 EXPRESSION (edn_cntr_err_sum || edn_main_sm_err_sum || edn_ack_sm_err_sum)
             --------1-------    ---------2---------    ---------3--------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT84,T43,T86
010CoveredT4,T6,T37
100CoveredT5,T15,T16

 LINE       303
 EXPRESSION ((edn_enable_fo[FatalErr] && (sfifo_rescmd_err_sum || sfifo_gencmd_err_sum || sfifo_output_err_sum)) || fatal_loc_events)
             -------------------------------------------------1-------------------------------------------------    --------2-------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT4,T5,T6
10CoveredT58,T110,T111

 LINE       303
 SUB-EXPRESSION (edn_enable_fo[FatalErr] && (sfifo_rescmd_err_sum || sfifo_gencmd_err_sum || sfifo_output_err_sum))
                 -----------1-----------    -----------------------------------2----------------------------------
-1--2-StatusTests
01CoveredT58,T110,T111
10CoveredT1,T2,T7
11CoveredT58,T110,T111

 LINE       303
 SUB-EXPRESSION (sfifo_rescmd_err_sum || sfifo_gencmd_err_sum || sfifo_output_err_sum)
                 ----------1---------    ----------2---------    ----------3---------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001Not Covered
010CoveredT110,T111,T112
100CoveredT58,T113,T114

 LINE       310
 EXPRESSION (((|sfifo_rescmd_err)) || err_code_test_bit[0])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT58,T113,T114

 LINE       312
 EXPRESSION (((|sfifo_gencmd_err)) || err_code_test_bit[1])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT110,T111,T112

 LINE       314
 EXPRESSION (((|sfifo_output_err)) || err_code_test_bit[2])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10Not Covered

 LINE       316
 EXPRESSION (((|edn_ack_sm_err)) || err_code_test_bit[20])
             ---------1---------    ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT4,T5,T6

 LINE       318
 EXPRESSION (edn_main_sm_err || err_code_test_bit[21])
             -------1-------    ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT4,T5,T6

 LINE       320
 EXPRESSION (edn_cntr_err || err_code_test_bit[22])
             ------1-----    ----------2----------
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT5,T15,T16

 LINE       323
 EXPRESSION (sfifo_rescmd_err[2] || sfifo_gencmd_err[2] || sfifo_output_err[2] || err_code_test_bit[28])
             ---------1---------    ---------2---------    ---------3---------    ----------4----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010Not Covered
0100Not Covered
1000CoveredT115,T116

 LINE       328
 EXPRESSION (sfifo_rescmd_err[1] || sfifo_gencmd_err[1] || sfifo_output_err[1] || err_code_test_bit[29])
             ---------1---------    ---------2---------    ---------3---------    ----------4----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010Not Covered
0100CoveredT110,T111,T117
1000CoveredT58,T118

 LINE       333
 EXPRESSION (sfifo_rescmd_err[0] || sfifo_gencmd_err[0] || sfifo_output_err[0] || err_code_test_bit[30])
             ---------1---------    ---------2---------    ---------3---------    ----------4----------
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010Not Covered
0100CoveredT112
1000CoveredT113,T114,T115

 LINE       342
 EXPRESSION (edn_enable_fo[ReseedCmdErr] && sfifo_rescmd_err_sum)
             -------------1-------------    ----------2---------
-1--2-StatusTests
01CoveredT58,T113,T114
10CoveredT1,T2,T7
11CoveredT58,T113,T114

 LINE       345
 EXPRESSION (edn_enable_fo[GenCmdErr] && sfifo_gencmd_err_sum)
             ------------1-----------    ----------2---------
-1--2-StatusTests
01CoveredT110,T111,T112
10CoveredT1,T2,T7
11CoveredT110,T111,T112

 LINE       348
 EXPRESSION (edn_enable_fo[OutputErr] && sfifo_output_err_sum)
             ------------1-----------    ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T7
11Not Covered

 LINE       365
 EXPRESSION (edn_enable_fo[FifoWrErr] && fifo_write_err_sum)
             ------------1-----------    ---------2--------
-1--2-StatusTests
01CoveredT115
10CoveredT1,T2,T7
11CoveredT115,T116

 LINE       368
 EXPRESSION (edn_enable_fo[FifoRdErr] && fifo_read_err_sum)
             ------------1-----------    --------2--------
-1--2-StatusTests
01CoveredT58,T110,T111
10CoveredT1,T2,T7
11CoveredT58,T110,T111

 LINE       371
 EXPRESSION (edn_enable_fo[FifoStErr] && fifo_status_err_sum)
             ------------1-----------    ---------2---------
-1--2-StatusTests
01CoveredT113,T114,T115
10CoveredT1,T2,T7
11CoveredT113,T114,T115

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 0) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT1,T2,T3
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 0)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 1) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 1)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 2) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 2)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 3) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT46,T84,T47
11CoveredT46,T84,T47

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 3)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT46,T84,T47

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 4) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT47,T82,T41
11CoveredT47,T82,T41

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 4)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT47,T82,T41

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 5) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT2,T47,T82
11CoveredT2,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 5)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 6) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T4,T45
10CoveredT7,T47,T82
11CoveredT7,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 6)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT7,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 7) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT47,T82,T98
11CoveredT47,T82,T98

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 7)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT47,T82,T98

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 8) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT36,T47,T82
11CoveredT36,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 8)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT36,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 9) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT47,T82,T92
11CoveredT47,T82,T92

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 9)
                --------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT47,T82,T92

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 10) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT45,T46,T47
11CoveredT45,T46,T47

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 10)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT45,T46,T47

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 11) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT47,T82,T15
11CoveredT47,T82,T15

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 11)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT47,T82,T15

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 12) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT17,T47,T40
11CoveredT17,T47,T40

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 12)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT17,T47,T40

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 13) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT45,T46,T47
11CoveredT45,T46,T47

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 13)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT45,T46,T47

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 14) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT47,T82,T119
11CoveredT47,T82,T119

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 14)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT47,T82,T119

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 15) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT46,T84,T47
11CoveredT46,T84,T47

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 15)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT46,T84,T47

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 16) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT2,T4,T47
11CoveredT2,T4,T47

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 16)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T47

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 17) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT4,T47,T82
11CoveredT4,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 17)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 18) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT46,T47,T82
11CoveredT46,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 18)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT46,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 19) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT46,T47,T82
11CoveredT46,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 19)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT46,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 20) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 20)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 21) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 21)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 22) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 22)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 23) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT82,T120,T121
11CoveredT82,T120,T121

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 23)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT82,T120,T121

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 24) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT45,T47,T82
11CoveredT45,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 24)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT45,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 25) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT46,T82,T95
11CoveredT46,T82,T95

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 25)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT46,T82,T95

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 26) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT45,T47,T82
11CoveredT45,T47,T82

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 26)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT45,T47,T82

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 27) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10CoveredT82,T15,T122
11CoveredT82,T15,T122

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 27)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT82,T15,T122

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 28) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 28)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 29) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 29)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 30) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT2,T7,T4
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 30)
                ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T3
1Not Covered

 LINE       384
 SUB-EXPRESSION (reg2hw.alert_test.recov_alert.q && reg2hw.alert_test.recov_alert.qe)
                 ---------------1---------------    ----------------2---------------
-1--2-StatusTests
01CoveredT3,T63,T70
10CoveredT1,T2,T3
11CoveredT3,T63,T70

 LINE       388
 SUB-EXPRESSION (reg2hw.alert_test.fatal_alert.q && reg2hw.alert_test.fatal_alert.qe)
                 ---------------1---------------    ----------------2---------------
-1--2-StatusTests
01CoveredT3,T63,T70
10CoveredT1,T2,T3
11CoveredT3,T63,T70

 LINE       464
 EXPRESSION (reg2hw.sw_cmd_req.qe & sw_cmd_valid)
             ----------1---------   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T44,T93
11CoveredT1,T2,T34

 LINE       476
 EXPRESSION (((!edn_enable_fo[CsrngCmdReq])) ? '0 : (boot_wr_cmd_reg ? boot_ins_cmd : (sw_cmd_req_load ? sw_cmd_req_bus : cs_cmd_req_q)))
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       476
 SUB-EXPRESSION (boot_wr_cmd_reg ? boot_ins_cmd : (sw_cmd_req_load ? sw_cmd_req_bus : cs_cmd_req_q))
                 -------1-------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT7,T4,T37

 LINE       476
 SUB-EXPRESSION (sw_cmd_req_load ? sw_cmd_req_bus : cs_cmd_req_q)
                 -------1-------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T34

 LINE       482
 EXPRESSION (((!edn_enable_fo[CsrngCmdReqValid])) ? '0 : (sw_cmd_req_load || boot_wr_cmd_reg))
             ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       482
 SUB-EXPRESSION (sw_cmd_req_load || boot_wr_cmd_reg)
                 -------1-------    -------2-------
-1--2-StatusTests
00CoveredT1,T2,T7
01CoveredT7,T4,T37
10CoveredT1,T2,T34

 LINE       486
 EXPRESSION 
 Number  Term
      1  ((!edn_enable_fo[CsrngCmdReqOut])) ? '0 : (send_rescmd ? sfifo_rescmd_rdata : ((send_gencmd || boot_send_gencmd) ? sfifo_gencmd_rdata : cs_cmd_req_q)))
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       486
 SUB-EXPRESSION (send_rescmd ? sfifo_rescmd_rdata : ((send_gencmd || boot_send_gencmd) ? sfifo_gencmd_rdata : cs_cmd_req_q))
                 -----1-----
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T11

 LINE       486
 SUB-EXPRESSION ((send_gencmd || boot_send_gencmd) ? sfifo_gencmd_rdata : cs_cmd_req_q)
                 ----------------1----------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       486
 SUB-EXPRESSION (send_gencmd || boot_send_gencmd)
                 -----1-----    --------2-------
-1--2-StatusTests
00CoveredT1,T2,T7
01CoveredT7,T4,T37
10CoveredT1,T2,T11

 LINE       492
 EXPRESSION (((!edn_enable_fo[CsrngCmdReqValidOut])) ? '0 : ((send_rescmd || send_gencmd || (boot_send_gencmd && cmd_sent)) ? 1'b1 : cs_cmd_req_vld_q))
             -------------------1-------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       492
 SUB-EXPRESSION ((send_rescmd || send_gencmd || (boot_send_gencmd && cmd_sent)) ? 1'b1 : cs_cmd_req_vld_q)
                 -------------------------------1------------------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       492
 SUB-EXPRESSION (send_rescmd || send_gencmd || (boot_send_gencmd && cmd_sent))
                 -----1-----    -----2-----    ---------------3--------------
-1--2--3-StatusTests
000CoveredT1,T2,T7
001CoveredT7,T4,T37
010CoveredT1,T2,T11
100CoveredT1,T2,T11

 LINE       492
 SUB-EXPRESSION (boot_send_gencmd && cmd_sent)
                 --------1-------    ----2---
-1--2-StatusTests
01CoveredT1,T2,T11
10CoveredT101,T90,T74
11CoveredT7,T4,T37

 LINE       501
 EXPRESSION (((!sw_cmd_req_load)) && sw_rdy_sts_q)
             ----------1---------    ------2-----
-1--2-StatusTests
01CoveredT1,T2,T34
10CoveredT1,T2,T3
11CoveredT1,T2,T7

 LINE       502
 EXPRESSION 
 Number  Term
      1  ((!edn_enable_q)) ? 1'b0 : (sw_cmd_req_load ? 1'b0 : (auto_first_ack_wait ? 1'b1 : (main_sm_busy ? 1'b0 : (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q)))))
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       502
 SUB-EXPRESSION (sw_cmd_req_load ? 1'b0 : (auto_first_ack_wait ? 1'b1 : (main_sm_busy ? 1'b0 : (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q))))
                 -------1-------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T34

 LINE       502
 SUB-EXPRESSION (auto_first_ack_wait ? 1'b1 : (main_sm_busy ? 1'b0 : (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q)))
                 ---------1---------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T11

 LINE       502
 SUB-EXPRESSION (main_sm_busy ? 1'b0 : (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q))
                 ------1-----
-1-StatusTests
0CoveredT1,T7,T34
1CoveredT1,T2,T7

 LINE       502
 SUB-EXPRESSION (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q)
                 -------------1-------------
-1-StatusTests
0CoveredT1,T7,T34
1CoveredT1,T7,T34

 LINE       514
 EXPRESSION (csrng_cmd_ack && intr_sts_gate_q)
             ------1------    -------2-------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T34

 LINE       518
 EXPRESSION (((!edn_enable_fo[IntrStatus])) ? 1'b0 : (main_sm_done_pulse ? 1'b1 : (auto_set_intr_gate ? 1'b1 : (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q))))
             ---------------1--------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       518
 SUB-EXPRESSION (main_sm_done_pulse ? 1'b1 : (auto_set_intr_gate ? 1'b1 : (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q)))
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T7,T34

 LINE       518
 SUB-EXPRESSION (auto_set_intr_gate ? 1'b1 : (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q))
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T11

 LINE       518
 SUB-EXPRESSION (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q)
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T11

 LINE       548
 EXPRESSION ((send_rescmd_q & edn_enable_fo[SendReseedCmd]) ? 1'b1 : reseed_cmd_load)
             -----------------------1----------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       548
 SUB-EXPRESSION (send_rescmd_q & edn_enable_fo[SendReseedCmd])
                 ------1------   --------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT123,T124,T125
11CoveredT1,T2,T11

 LINE       552
 EXPRESSION (auto_req_mode_busy ? cs_cmd_req_out_q : reseed_cmd_bus)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       558
 EXPRESSION (cmd_fifo_rst_fo[1] || main_sm_done_pulse)
             ---------1--------    ---------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T7,T34
10CoveredT1,T2,T4

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_push && sfifo_rescmd_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01CoveredT104,T12,T126
10CoveredT1,T2,T11
11CoveredT115,T116

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_pop && ((!sfifo_rescmd_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT58,T118

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_full && ((!sfifo_rescmd_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT104,T12,T126
11CoveredT113,T114,T115

 LINE       588
 EXPRESSION ((boot_wr_cmd_genfifo & edn_enable_fo[SendGenCmd]) ? 1'b1 : ((send_gencmd_q & edn_enable_fo[SendGenCmd]) ? 1'b1 : generate_cmd_load))
             ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT7,T4,T37

 LINE       588
 SUB-EXPRESSION (boot_wr_cmd_genfifo & edn_enable_fo[SendGenCmd])
                 ---------1---------   ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10Not Covered
11CoveredT7,T4,T37

 LINE       588
 SUB-EXPRESSION ((send_gencmd_q & edn_enable_fo[SendGenCmd]) ? 1'b1 : generate_cmd_load)
                 ---------------------1---------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       588
 SUB-EXPRESSION (send_gencmd_q & edn_enable_fo[SendGenCmd])
                 ------1------   ------------2------------
-1--2-StatusTests
01CoveredT1,T2,T7
10Not Covered
11CoveredT1,T2,T11

 LINE       593
 EXPRESSION (boot_wr_cmd_genfifo ? boot_gen_cmd : (auto_req_mode_busy ? cs_cmd_req_out_q : generate_cmd_bus))
             ---------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT7,T4,T37

 LINE       593
 SUB-EXPRESSION (auto_req_mode_busy ? cs_cmd_req_out_q : generate_cmd_bus)
                 ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T11

 LINE       598
 EXPRESSION (send_gencmd || boot_send_gencmd)
             -----1-----    --------2-------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT7,T4,T37
10CoveredT1,T2,T11

 LINE       600
 EXPRESSION (cmd_fifo_rst_fo[2] || main_sm_done_pulse)
             ---------1--------    ---------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T7,T34
10CoveredT1,T2,T4

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_push && sfifo_gencmd_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01CoveredT1,T2,T11
10CoveredT1,T2,T7
11Not Covered

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_pop && ((!sfifo_gencmd_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T7
11CoveredT110,T111,T117

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_full && ((!sfifo_gencmd_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T11
11CoveredT112

 LINE       634
 EXPRESSION (sfifo_output_not_empty && csrng_cmd_i.csrng_req_ready)
             -----------1----------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T7
11CoveredT1,T2,T7

 LINE       636
 SUB-EXPRESSION (sfifo_output_push && sfifo_output_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T7
11Not Covered

 LINE       636
 SUB-EXPRESSION (sfifo_output_pop && ((!sfifo_output_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T7
11Not Covered

 LINE       636
 SUB-EXPRESSION (sfifo_output_full && ((!sfifo_output_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11Not Covered

 LINE       680
 EXPRESSION (send_gencmd && cmd_sent)
             -----1-----    ----2---
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T44
11CoveredT1,T2,T11

 LINE       695
 EXPRESSION (max_reqs_between_reseed_load || (send_rescmd && cmd_sent) || main_sm_done_pulse)
             --------------1-------------    ------------2------------    ---------3--------
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT1,T7,T34
010CoveredT1,T2,T11
100CoveredT1,T2,T11

 LINE       695
 SUB-EXPRESSION (send_rescmd && cmd_sent)
                 -----1-----    ----2---
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT11,T44,T93
11CoveredT1,T2,T11

 LINE       699
 EXPRESSION (max_reqs_cnt == '0)
            ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       702
 EXPRESSION 
 Number  Term
      1  ((!edn_enable_fo[CmdFifoCnt])) ? '0 : ((cmd_fifo_rst_fo[3] || main_sm_done_pulse) ? '0 : (capt_gencmd_fifo_cnt ? sfifo_gencmd_depth : (capt_rescmd_fifo_cnt ? sfifo_rescmd_depth : ((send_gencmd || boot_send_gencmd || send_rescmd) ? ((cmd_fifo_cnt_q - 1)) : cmd_fifo_cnt_q)))))
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       702
 SUB-EXPRESSION 
 Number  Term
      1  (cmd_fifo_rst_fo[3] || main_sm_done_pulse) ? '0 : (capt_gencmd_fifo_cnt ? sfifo_gencmd_depth : (capt_rescmd_fifo_cnt ? sfifo_rescmd_depth : ((send_gencmd || boot_send_gencmd || send_rescmd) ? ((cmd_fifo_cnt_q - 1)) : cmd_fifo_cnt_q))))
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T7,T34

 LINE       702
 SUB-EXPRESSION (cmd_fifo_rst_fo[3] || main_sm_done_pulse)
                 ---------1--------    ---------2--------
-1--2-StatusTests
00CoveredT1,T2,T7
01CoveredT1,T7,T34
10CoveredT17,T18,T19

 LINE       702
 SUB-EXPRESSION 
 Number  Term
      1  capt_gencmd_fifo_cnt ? sfifo_gencmd_depth : (capt_rescmd_fifo_cnt ? sfifo_rescmd_depth : ((send_gencmd || boot_send_gencmd || send_rescmd) ? ((cmd_fifo_cnt_q - 1)) : cmd_fifo_cnt_q)))
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       702
 SUB-EXPRESSION (capt_rescmd_fifo_cnt ? sfifo_rescmd_depth : ((send_gencmd || boot_send_gencmd || send_rescmd) ? ((cmd_fifo_cnt_q - 1)) : cmd_fifo_cnt_q))
                 ----------1---------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T11

 LINE       702
 SUB-EXPRESSION ((send_gencmd || boot_send_gencmd || send_rescmd) ? ((cmd_fifo_cnt_q - 1)) : cmd_fifo_cnt_q)
                 ------------------------1-----------------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       702
 SUB-EXPRESSION (send_gencmd || boot_send_gencmd || send_rescmd)
                 -----1-----    --------2-------    -----3-----
-1--2--3-StatusTests
000CoveredT1,T2,T7
001CoveredT1,T2,T11
010CoveredT7,T4,T37
100CoveredT1,T2,T11

 LINE       710
 EXPRESSION (cmd_fifo_cnt_q == 4'(1))
            ------------1------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T7

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[0])) && edn_i[0].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT7,T34,T35
10CoveredT1,T2,T3
11CoveredT7,T34,T35

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[1])) && edn_i[1].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT1,T6,T36
10CoveredT1,T2,T3
11CoveredT1,T6,T36

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[2])) && edn_i[2].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT38,T39,T48
10CoveredT1,T2,T3
11CoveredT37,T38,T39

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[3])) && edn_i[3].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT5,T40,T41
10CoveredT1,T2,T3
11CoveredT5,T40,T41

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[4])) && edn_i[4].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT42,T39,T55
10CoveredT1,T2,T3
11CoveredT42,T15,T43

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[5])) && edn_i[5].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT2,T42,T44
10CoveredT1,T2,T3
11CoveredT2,T42,T44

 LINE       756
 EXPRESSION (((!packer_ep_rvalid[6])) && edn_i[6].edn_req)
             ------------1-----------    --------2-------
-1--2-StatusTests
01CoveredT11,T44,T59
10CoveredT1,T2,T3
11CoveredT4,T11,T44

 LINE       787
 EXPRESSION (((!edn_enable_fo[CsrngFipsEn])) ? 1'b0 : ((packer_cs_push && packer_cs_wready) ? csrng_cmd_i.genbits_fips : csrng_fips_q))
             ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       787
 SUB-EXPRESSION ((packer_cs_push && packer_cs_wready) ? csrng_cmd_i.genbits_fips : csrng_fips_q)
                 ------------------1-----------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       787
 SUB-EXPRESSION (packer_cs_push && packer_cs_wready)
                 -------1------    --------2-------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT1,T2,T7
11CoveredT1,T2,T7

 LINE       802
 EXPRESSION (packer_cs_rvalid && packer_cs_rready)
             --------1-------    --------2-------
-1--2-StatusTests
01CoveredT1,T2,T7
10CoveredT2,T5,T42
11CoveredT1,T2,T7

 LINE       804
 EXPRESSION (cs_rdata_capt_vld ? packer_cs_rdata[63:0] : cs_rdata_capt_q)
             --------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T7

 LINE       806
 EXPRESSION (((!edn_enable_fo[CsrngDataVld])) ? 1'b0 : (cs_rdata_capt_vld ? 1'b1 : cs_rdata_capt_vld_q))
             ----------------1---------------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T3

 LINE       806
 SUB-EXPRESSION (cs_rdata_capt_vld ? 1'b1 : cs_rdata_capt_vld_q)
                 --------1--------
-1-StatusTests
0CoveredT1,T2,T7
1CoveredT1,T2,T7

 LINE       812
 EXPRESSION (cs_rdata_capt_vld && cs_rdata_capt_vld_q && (cs_rdata_capt_q == packer_cs_rdata[63:0]))
             --------1--------    ---------2---------    ---------------------3--------------------
-1--2--3-StatusTests
011CoveredT1,T2,T7
101Not Covered
110CoveredT1,T42,T45
111CoveredT17,T18,T19

 LINE       812
 SUB-EXPRESSION (cs_rdata_capt_q == packer_cs_rdata[63:0])
                ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[0] && packer_arb_gnt[0])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT7,T34,T35

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[1] && packer_arb_gnt[1])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT1,T6,T36

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[2] && packer_arb_gnt[2])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT38,T39,T48

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[3] && packer_arb_gnt[3])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT5,T40,T41

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[4] && packer_arb_gnt[4])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT42,T39,T55

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[5] && packer_arb_gnt[5])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT2,T42,T44

 LINE       855
 EXPRESSION (packer_arb_valid && packer_ep_wready[6] && packer_arb_gnt[6])
             --------1-------    ---------2---------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110CoveredT1,T2,T7
111CoveredT11,T44,T59

 LINE       859
 EXPRESSION (packer_ep_clr[0] ? 1'b0 : ((packer_ep_push[0] && packer_ep_wready[0]) ? csrng_fips_q : edn_fips_q[0]))
             --------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T7

 LINE       859
 SUB-EXPRESSION ((packer_ep_push[0] && packer_ep_wready[0]) ? csrng_fips_q : edn_fips_q[0])
                 ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT7,T34,T35

 LINE       859
 SUB-EXPRESSION (packer_ep_push[0] && packer_ep_wready[0])
                 --------1--------    ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT7,T34,T35

 LINE       859
 EXPRESSION (packer_ep_clr[1] ? 1'b0 : ((packer_ep_push[1] && packer_ep_wready[1]) ? csrng_fips_q : edn_fips_q[1]))
             --------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T7

 LINE       859
 SUB-EXPRESSION ((packer_ep_push[1] && packer_ep_wready[1]) ? csrng_fips_q : edn_fips_q[1])
                 ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T6,T36

 LINE       859
 SUB-EXPRESSION (packer_ep_push[1] && packer_ep_wready[1])
                 --------1--------    ---------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10Not Covered
11CoveredT1,T6,T36

 LINE       859
 EXPRESSION (packer_ep_clr[2] ? 1'b0 : ((packer_ep_push[2] && packer_ep_wready[2]) ? csrng_fips_q : edn_fips_q[2]))
             --------1-------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T7

 LINE       859
 SUB-EXPRESSION ((packer_ep_push[2] && packer_ep_wready[2]) ? csrng_fips_q : edn_fips_q[2])
                 ---------------------1--------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT38,T39,T48
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%