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
000CoveredT16,T17,T18
001CoveredT30,T31,T32
010CoveredT30,T31,T32
100CoveredT18,T19,T24

 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
00CoveredT16,T17,T18
01CoveredT18,T19,T24
10Not Covered

 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
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       303
 SUB-EXPRESSION (sfifo_rescmd_err_sum || sfifo_gencmd_err_sum || sfifo_output_err_sum)
                 ----------1---------    ----------2---------    ----------3---------
-1--2--3-StatusTests
000CoveredT16,T17,T18
001Not Covered
010Not Covered
100Not Covered

 LINE       310
 EXPRESSION (((|sfifo_rescmd_err)) || err_code_test_bit[0])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10Not Covered

 LINE       312
 EXPRESSION (((|sfifo_gencmd_err)) || err_code_test_bit[1])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10Not Covered

 LINE       314
 EXPRESSION (((|sfifo_output_err)) || err_code_test_bit[2])
             ----------1----------    ----------2---------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10Not Covered

 LINE       316
 EXPRESSION (((|edn_ack_sm_err)) || err_code_test_bit[20])
             ---------1---------    ----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10CoveredT18,T19,T24

 LINE       318
 EXPRESSION (edn_main_sm_err || err_code_test_bit[21])
             -------1-------    ----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10CoveredT18,T19,T24

 LINE       320
 EXPRESSION (edn_cntr_err || err_code_test_bit[22])
             ------1-----    ----------2----------
-1--2-StatusTests
00CoveredT16,T17,T18
01Not Covered
10CoveredT18,T19,T24

 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
0000CoveredT16,T17,T18
0001Not Covered
0010Not Covered
0100Not Covered
1000Not Covered

 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
0000CoveredT16,T17,T18
0001Not Covered
0010Not Covered
0100Not Covered
1000Not Covered

 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
0000CoveredT16,T17,T18
0001Not Covered
0010Not Covered
0100Not Covered
1000Not Covered

 LINE       342
 EXPRESSION (edn_enable_fo[ReseedCmdErr] && sfifo_rescmd_err_sum)
             -------------1-------------    ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       345
 EXPRESSION (edn_enable_fo[GenCmdErr] && sfifo_gencmd_err_sum)
             ------------1-----------    ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       348
 EXPRESSION (edn_enable_fo[OutputErr] && sfifo_output_err_sum)
             ------------1-----------    ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       365
 EXPRESSION (edn_enable_fo[FifoWrErr] && fifo_write_err_sum)
             ------------1-----------    ---------2--------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       368
 EXPRESSION (edn_enable_fo[FifoRdErr] && fifo_read_err_sum)
             ------------1-----------    --------2--------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       371
 EXPRESSION (edn_enable_fo[FifoStErr] && fifo_status_err_sum)
             ------------1-----------    ---------2---------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T18
11Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 0) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT16,T17,T18
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 0)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 1) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 1)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 2) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 2)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 3) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 3)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 4) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 4)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 5) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 5)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 6) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 6)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 7) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 7)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 8) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 8)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 9) && reg2hw.err_code_test.qe)
             --------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 9)
                --------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 10) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 10)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 11) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 11)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 12) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 12)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 13) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 13)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 14) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 14)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 15) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 15)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 16) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 16)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 17) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 17)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 18) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT20,T1,T34
11CoveredT20,T1,T34

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 18)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT20,T1,T34

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 19) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 19)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 20) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 20)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 21) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 21)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 22) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 22)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 23) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 23)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 24) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 24)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 25) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 25)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 26) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10CoveredT1,T44,T45
11CoveredT1,T44,T45

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 26)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T44,T45

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 27) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 27)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 28) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 28)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 29) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 29)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       376
 EXPRESSION ((reg2hw.err_code_test.q == 30) && reg2hw.err_code_test.qe)
             ---------------1--------------    -----------2-----------
-1--2-StatusTests
01CoveredT20,T1,T34
10Not Covered
11Not Covered

 LINE       376
 SUB-EXPRESSION (reg2hw.err_code_test.q == 30)
                ---------------1--------------
-1-StatusTests
0CoveredT16,T17,T18
1Not Covered

 LINE       384
 SUB-EXPRESSION (reg2hw.alert_test.recov_alert.q && reg2hw.alert_test.recov_alert.qe)
                 ---------------1---------------    ----------------2---------------
-1--2-StatusTests
01CoveredT46,T47,T48
10CoveredT16,T17,T18
11CoveredT46,T47,T48

 LINE       388
 SUB-EXPRESSION (reg2hw.alert_test.fatal_alert.q && reg2hw.alert_test.fatal_alert.qe)
                 ---------------1---------------    ----------------2---------------
-1--2-StatusTests
01CoveredT46,T47,T48
10CoveredT16,T17,T18
11CoveredT46,T47,T48

 LINE       464
 EXPRESSION (reg2hw.sw_cmd_req.qe & sw_cmd_valid)
             ----------1---------   ------2-----
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11CoveredT16,T17,T25

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 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
0CoveredT16,T17,T18
1CoveredT17,T25,T26

 LINE       476
 SUB-EXPRESSION (sw_cmd_req_load ? sw_cmd_req_bus : cs_cmd_req_q)
                 -------1-------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT16,T17,T25

 LINE       482
 EXPRESSION (((!edn_enable_fo[CsrngCmdReqValid])) ? '0 : (sw_cmd_req_load || boot_wr_cmd_reg))
             ------------------1-----------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 LINE       482
 SUB-EXPRESSION (sw_cmd_req_load || boot_wr_cmd_reg)
                 -------1-------    -------2-------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT17,T25,T26
10CoveredT16,T17,T25

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 LINE       486
 SUB-EXPRESSION (send_rescmd ? sfifo_rescmd_rdata : ((send_gencmd || boot_send_gencmd) ? sfifo_gencmd_rdata : cs_cmd_req_q))
                 -----1-----
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       486
 SUB-EXPRESSION ((send_gencmd || boot_send_gencmd) ? sfifo_gencmd_rdata : cs_cmd_req_q)
                 ----------------1----------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT17,T25,T21

 LINE       486
 SUB-EXPRESSION (send_gencmd || boot_send_gencmd)
                 -----1-----    --------2-------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT17,T25,T26
10CoveredT21,T22,T23

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 LINE       492
 SUB-EXPRESSION ((send_rescmd || send_gencmd || (boot_send_gencmd && cmd_sent)) ? 1'b1 : cs_cmd_req_vld_q)
                 -------------------------------1------------------------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT17,T25,T21

 LINE       492
 SUB-EXPRESSION (send_rescmd || send_gencmd || (boot_send_gencmd && cmd_sent))
                 -----1-----    -----2-----    ---------------3--------------
-1--2--3-StatusTests
000CoveredT16,T17,T18
001CoveredT17,T25,T26
010CoveredT21,T22,T23
100CoveredT21,T22,T23

 LINE       492
 SUB-EXPRESSION (boot_send_gencmd && cmd_sent)
                 --------1-------    ----2---
-1--2-StatusTests
01CoveredT21,T22,T23
10Not Covered
11CoveredT17,T25,T26

 LINE       501
 EXPRESSION (((!sw_cmd_req_load)) && sw_rdy_sts_q)
             ----------1---------    ------2-----
-1--2-StatusTests
01CoveredT16,T17,T25
10CoveredT16,T17,T18
11CoveredT16,T17,T18

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T25

 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
0CoveredT16,T17,T18
1CoveredT18,T21,T19

 LINE       502
 SUB-EXPRESSION (main_sm_busy ? 1'b0 : (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q))
                 ------1-----
-1-StatusTests
0CoveredT16,T17,T25
1CoveredT17,T18,T25

 LINE       502
 SUB-EXPRESSION (csrng_cmd_i.csrng_req_ready ? 1'b1 : sw_rdy_sts_q)
                 -------------1-------------
-1-StatusTests
0CoveredT16,T17,T25
1CoveredT16,T17,T25

 LINE       514
 EXPRESSION (csrng_cmd_ack && intr_sts_gate_q)
             ------1------    -------2-------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT17,T25,T21
11CoveredT16,T17,T25

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T25

 LINE       518
 SUB-EXPRESSION (auto_set_intr_gate ? 1'b1 : (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q))
                 ---------1--------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT18,T21,T19

 LINE       518
 SUB-EXPRESSION (auto_clr_intr_gate ? 1'b0 : intr_sts_gate_q)
                 ---------1--------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       548
 EXPRESSION ((send_rescmd_q & edn_enable_fo[SendReseedCmd]) ? 1'b1 : reseed_cmd_load)
             -----------------------1----------------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       548
 SUB-EXPRESSION (send_rescmd_q & edn_enable_fo[SendReseedCmd])
                 ------1------   --------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11CoveredT21,T22,T23

 LINE       552
 EXPRESSION (auto_req_mode_busy ? cs_cmd_req_out_q : reseed_cmd_bus)
             ---------1--------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       558
 EXPRESSION (cmd_fifo_rst_fo[1] || main_sm_done_pulse)
             ---------1--------    ---------2--------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT16,T17,T25
10CoveredT18,T21,T19

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_push && sfifo_rescmd_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01Not Covered
10CoveredT18,T21,T19
11Not Covered

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_pop && ((!sfifo_rescmd_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT21,T22,T23
11Not Covered

 LINE       560
 SUB-EXPRESSION (sfifo_rescmd_full && ((!sfifo_rescmd_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11Not Covered

 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
0CoveredT16,T17,T18
1CoveredT17,T25,T26

 LINE       588
 SUB-EXPRESSION (boot_wr_cmd_genfifo & edn_enable_fo[SendGenCmd])
                 ---------1---------   ------------2------------
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11CoveredT17,T25,T26

 LINE       588
 SUB-EXPRESSION ((send_gencmd_q & edn_enable_fo[SendGenCmd]) ? 1'b1 : generate_cmd_load)
                 ---------------------1---------------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       588
 SUB-EXPRESSION (send_gencmd_q & edn_enable_fo[SendGenCmd])
                 ------1------   ------------2------------
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11CoveredT21,T22,T23

 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
0CoveredT16,T17,T18
1CoveredT17,T25,T26

 LINE       593
 SUB-EXPRESSION (auto_req_mode_busy ? cs_cmd_req_out_q : generate_cmd_bus)
                 ---------1--------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT21,T22,T23

 LINE       598
 EXPRESSION (send_gencmd || boot_send_gencmd)
             -----1-----    --------2-------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT17,T25,T26
10CoveredT21,T22,T23

 LINE       600
 EXPRESSION (cmd_fifo_rst_fo[2] || main_sm_done_pulse)
             ---------1--------    ---------2--------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT16,T17,T25
10CoveredT18,T21,T19

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_push && sfifo_gencmd_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01CoveredT18,T21,T19
10CoveredT17,T18,T25
11Not Covered

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_pop && ((!sfifo_gencmd_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT17,T25,T21
11Not Covered

 LINE       602
 SUB-EXPRESSION (sfifo_gencmd_full && ((!sfifo_gencmd_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT18,T21,T19
11Not Covered

 LINE       634
 EXPRESSION (sfifo_output_not_empty && csrng_cmd_i.csrng_req_ready)
             -----------1----------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT16,T17,T25
11CoveredT16,T17,T25

 LINE       636
 SUB-EXPRESSION (sfifo_output_push && sfifo_output_full)
                 --------1--------    --------2--------
-1--2-StatusTests
01Not Covered
10CoveredT16,T17,T25
11Not Covered

 LINE       636
 SUB-EXPRESSION (sfifo_output_pop && ((!sfifo_output_not_empty)))
                 --------1-------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10CoveredT16,T17,T25
11Not Covered

 LINE       636
 SUB-EXPRESSION (sfifo_output_full && ((!sfifo_output_not_empty)))
                 --------1--------    -------------2-------------
-1--2-StatusTests
01CoveredT16,T17,T18
10Not Covered
11Not Covered

 LINE       680
 EXPRESSION (send_gencmd && cmd_sent)
             -----1-----    ----2---
-1--2-StatusTests
01CoveredT17,T25,T21
10CoveredT21,T22,T23
11CoveredT21,T22,T23

 LINE       695
 EXPRESSION (max_reqs_between_reseed_load || (send_rescmd && cmd_sent) || main_sm_done_pulse)
             --------------1-------------    ------------2------------    ---------3--------
-1--2--3-StatusTests
000CoveredT16,T17,T18
001CoveredT16,T17,T25
010CoveredT21,T22,T23
100CoveredT18,T21,T19

 LINE       695
 SUB-EXPRESSION (send_rescmd && cmd_sent)
                 -----1-----    ----2---
-1--2-StatusTests
01CoveredT17,T25,T21
10CoveredT21,T22,T23
11CoveredT21,T22,T23

 LINE       699
 EXPRESSION (max_reqs_cnt == '0)
            ----------1---------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT16,T17,T18

 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
0CoveredT16,T17,T18
1CoveredT16,T17,T18
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%