Go
back
LINE 139
EXPRESSION (read_buf[0].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 139
EXPRESSION (read_buf[1].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 139
EXPRESSION (read_buf[2].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 139
EXPRESSION (read_buf[3].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 140
EXPRESSION (read_buf[0].attr == Wip)
------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 140
EXPRESSION (read_buf[1].attr == Wip)
------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 140
EXPRESSION (read_buf[2].attr == Wip)
------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 140
EXPRESSION (read_buf[3].attr == Wip)
------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 145
EXPRESSION ((read_buf[0].attr == Invalid) | ((read_buf[0].attr == Valid) & read_buf[0].err & ((~buf_dependency[0]))))
--------------1-------------- ------------------------------------2-----------------------------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Covered | T2,T35,T137 |
1 | 0 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION (read_buf[0].attr == Invalid)
--------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION ((read_buf[0].attr == Valid) & read_buf[0].err & ((~buf_dependency[0])))
-------------1------------- -------2------- -----------3----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T35,T137 |
LINE 145
SUB-EXPRESSION (read_buf[0].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 145
EXPRESSION ((read_buf[1].attr == Invalid) | ((read_buf[1].attr == Valid) & read_buf[1].err & ((~buf_dependency[1]))))
--------------1-------------- ------------------------------------2-----------------------------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Covered | T2,T35,T137 |
1 | 0 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION (read_buf[1].attr == Invalid)
--------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION ((read_buf[1].attr == Valid) & read_buf[1].err & ((~buf_dependency[1])))
-------------1------------- -------2------- -----------3----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T35,T137 |
LINE 145
SUB-EXPRESSION (read_buf[1].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 145
EXPRESSION ((read_buf[2].attr == Invalid) | ((read_buf[2].attr == Valid) & read_buf[2].err & ((~buf_dependency[2]))))
--------------1-------------- ------------------------------------2-----------------------------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Covered | T2,T35,T137 |
1 | 0 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION (read_buf[2].attr == Invalid)
--------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION ((read_buf[2].attr == Valid) & read_buf[2].err & ((~buf_dependency[2])))
-------------1------------- -------2------- -----------3----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T35,T137 |
LINE 145
SUB-EXPRESSION (read_buf[2].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 145
EXPRESSION ((read_buf[3].attr == Invalid) | ((read_buf[3].attr == Valid) & read_buf[3].err & ((~buf_dependency[3]))))
--------------1-------------- ------------------------------------2-----------------------------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Covered | T2,T15,T35 |
1 | 0 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION (read_buf[3].attr == Invalid)
--------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 145
SUB-EXPRESSION ((read_buf[3].attr == Valid) & read_buf[3].err & ((~buf_dependency[3])))
-------------1------------- -------2------- -----------3----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T15,T35 |
LINE 145
SUB-EXPRESSION (read_buf[3].attr == Valid)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 153
EXPRESSION (buf_invalid[1] & ((~|buf_invalid[0])))
-------1------ ----------2---------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 153
EXPRESSION (buf_invalid[2] & ((~|buf_invalid[(2 - 1):0])))
-------1------ --------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 153
EXPRESSION (buf_invalid[3] & ((~|buf_invalid[(3 - 1):0])))
-------1------ --------------2-------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 166
EXPRESSION ((((|buf_invalid_alloc)) | all_buf_dependency) ? '0 : ((buf_valid & (~buf_dependency))))
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T2,T4,T15 |
1 | Covered | T1,T2,T3 |
LINE 166
SUB-EXPRESSION (((|buf_invalid_alloc)) | all_buf_dependency)
-----------1---------- ---------2--------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
LINE 166
EXPRESSION (req_o & no_match)
--1-- ----2---
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
LINE 185
EXPRESSION (((|buf_invalid_alloc)) ? buf_invalid_alloc : buf_valid_alloc)
-----------1----------
-1- | Status | Tests |
0 | Covered | T2,T4,T15 |
1 | Covered | T1,T2,T3 |
LINE 192
EXPRESSION (read_buf[0].part == part_i)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 192
EXPRESSION (read_buf[1].part == part_i)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 192
EXPRESSION (read_buf[2].part == part_i)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 192
EXPRESSION (read_buf[3].part == part_i)
--------------1-------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 193
EXPRESSION (read_buf[0].info_sel == info_sel_i)
------------------1-----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 193
EXPRESSION (read_buf[1].info_sel == info_sel_i)
------------------1-----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 193
EXPRESSION (read_buf[2].info_sel == info_sel_i)
------------------1-----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 193
EXPRESSION (read_buf[3].info_sel == info_sel_i)
------------------1-----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 195
EXPRESSION
Number Term
1 req_i &
2 buf_en_q &
3 (buf_valid[0] | buf_wip[0]) &
4 (read_buf[0].addr == flash_word_addr) &
5 ((~read_buf[0].err)) &
6 gen_buf_match[0].part_match &
7 gen_buf_match[0].info_sel_match)
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | 1 | 1 | 1 | Covered | T47,T54,T42 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | Covered | T2,T35,T137 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 1 | 1 | 0 | Covered | T6,T102,T104 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (buf_valid[0] | buf_wip[0])
------1----- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (read_buf[0].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 195
EXPRESSION
Number Term
1 req_i &
2 buf_en_q &
3 (buf_valid[1] | buf_wip[1]) &
4 (read_buf[1].addr == flash_word_addr) &
5 ((~read_buf[1].err)) &
6 gen_buf_match[1].part_match &
7 gen_buf_match[1].info_sel_match)
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | 1 | 1 | 1 | Covered | T47,T54,T42 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | Covered | T2,T35,T200 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 1 | 1 | 0 | Covered | T102,T104,T190 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (buf_valid[1] | buf_wip[1])
------1----- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (read_buf[1].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 195
EXPRESSION
Number Term
1 req_i &
2 buf_en_q &
3 (buf_valid[2] | buf_wip[2]) &
4 (read_buf[2].addr == flash_word_addr) &
5 ((~read_buf[2].err)) &
6 gen_buf_match[2].part_match &
7 gen_buf_match[2].info_sel_match)
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | Covered | T74 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | Covered | T47,T54,T42 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | Covered | T2,T137,T200 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 1 | 1 | 0 | Covered | T102,T96,T201 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (buf_valid[2] | buf_wip[2])
------1----- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (read_buf[2].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 195
EXPRESSION
Number Term
1 req_i &
2 buf_en_q &
3 (buf_valid[3] | buf_wip[3]) &
4 (read_buf[3].addr == flash_word_addr) &
5 ((~read_buf[3].err)) &
6 gen_buf_match[3].part_match &
7 gen_buf_match[3].info_sel_match)
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | Covered | T202 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | Covered | T47,T54,T20 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | Covered | T2,T137,T200 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | Covered | T203 |
1 | 1 | 1 | 1 | 1 | 1 | 0 | Covered | T102,T104,T96 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (buf_valid[3] | buf_wip[3])
------1----- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T2,T4,T15 |
LINE 195
SUB-EXPRESSION (read_buf[3].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 211
EXPRESSION ((read_buf[0].addr == flash_word_addr) & gen_buf_match[0].part_match & gen_buf_match[0].info_sel_match)
------------------1------------------ -------------2------------- ---------------3---------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T6,T102,T104 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 211
SUB-EXPRESSION (read_buf[0].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 211
EXPRESSION ((read_buf[1].addr == flash_word_addr) & gen_buf_match[1].part_match & gen_buf_match[1].info_sel_match)
------------------1------------------ -------------2------------- ---------------3---------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T102,T104,T190 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 211
SUB-EXPRESSION (read_buf[1].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 211
EXPRESSION ((read_buf[2].addr == flash_word_addr) & gen_buf_match[2].part_match & gen_buf_match[2].info_sel_match)
------------------1------------------ -------------2------------- ---------------3---------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T102,T96,T201 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 211
SUB-EXPRESSION (read_buf[2].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 211
EXPRESSION ((read_buf[3].addr == flash_word_addr) & gen_buf_match[3].part_match & gen_buf_match[3].info_sel_match)
------------------1------------------ -------------2------------- ---------------3---------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T102,T104,T96 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 211
SUB-EXPRESSION (read_buf[3].addr == flash_word_addr)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 217
EXPRESSION
Number Term
1 (read_buf[0].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW]) &
2 gen_buf_match[0].part_match &
3 gen_buf_match[0].info_sel_match)
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T2,T6,T19 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 217
SUB-EXPRESSION (read_buf[0].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW])
-----------------------------------------------------------1-----------------------------------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 217
EXPRESSION
Number Term
1 (read_buf[1].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW]) &
2 gen_buf_match[1].part_match &
3 gen_buf_match[1].info_sel_match)
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T2,T6,T34 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 217
SUB-EXPRESSION (read_buf[1].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW])
-----------------------------------------------------------1-----------------------------------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 217
EXPRESSION
Number Term
1 (read_buf[2].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW]) &
2 gen_buf_match[2].part_match &
3 gen_buf_match[2].info_sel_match)
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T2,T6,T19 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 217
SUB-EXPRESSION (read_buf[2].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW])
-----------------------------------------------------------1-----------------------------------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 217
EXPRESSION
Number Term
1 (read_buf[3].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW]) &
2 gen_buf_match[3].part_match &
3 gen_buf_match[3].info_sel_match)
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T2,T3,T4 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T2,T6,T19 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 217
SUB-EXPRESSION (read_buf[3].addr[flash_phy_pkg::WordW+:flash_phy_pkg::PageW] == addr_i[flash_phy_pkg::BusWordW+:flash_phy_pkg::PageW])
-----------------------------------------------------------1-----------------------------------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 221
EXPRESSION (buf_valid[0] & (bk_erase_i | (prog_i & gen_buf_match[0].word_addr_match) | (pg_erase_i & gen_buf_match[0].page_addr_match)))
------1----- ------------------------------------------------------2-----------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T15,T11,T5 |
1 | 0 | Covered | T2,T4,T15 |
1 | 1 | Covered | T15,T5,T40 |
LINE 221
SUB-EXPRESSION (bk_erase_i | (prog_i & gen_buf_match[0].word_addr_match) | (pg_erase_i & gen_buf_match[0].page_addr_match))
-----1---- ---------------------2--------------------- -----------------------3-----------------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T11,T47,T54 |
0 | 1 | 0 | Covered | T15,T11,T47 |
1 | 0 | 0 | Covered | T5,T40,T31 |
LINE 221
SUB-EXPRESSION (prog_i & gen_buf_match[0].word_addr_match)
---1-- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T15,T11,T47 |
LINE 221
SUB-EXPRESSION (pg_erase_i & gen_buf_match[0].page_addr_match)
-----1---- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T11 |
1 | 1 | Covered | T11,T47,T54 |
LINE 221
EXPRESSION (buf_valid[1] & (bk_erase_i | (prog_i & gen_buf_match[1].word_addr_match) | (pg_erase_i & gen_buf_match[1].page_addr_match)))
------1----- ------------------------------------------------------2-----------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T11,T5 |
1 | 0 | Covered | T2,T4,T15 |
1 | 1 | Covered | T4,T5,T40 |
LINE 221
SUB-EXPRESSION (bk_erase_i | (prog_i & gen_buf_match[1].word_addr_match) | (pg_erase_i & gen_buf_match[1].page_addr_match))
-----1---- ---------------------2--------------------- -----------------------3-----------------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T11,T47,T54 |
0 | 1 | 0 | Covered | T4,T11,T47 |
1 | 0 | 0 | Covered | T5,T40,T31 |
LINE 221
SUB-EXPRESSION (prog_i & gen_buf_match[1].word_addr_match)
---1-- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T11,T47 |
LINE 221
SUB-EXPRESSION (pg_erase_i & gen_buf_match[1].page_addr_match)
-----1---- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T11 |
1 | 1 | Covered | T11,T47,T54 |
LINE 221
EXPRESSION (buf_valid[2] & (bk_erase_i | (prog_i & gen_buf_match[2].word_addr_match) | (pg_erase_i & gen_buf_match[2].page_addr_match)))
------1----- ------------------------------------------------------2-----------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T5,T40 |
1 | 0 | Covered | T2,T4,T15 |
1 | 1 | Covered | T5,T40,T47 |
LINE 221
SUB-EXPRESSION (bk_erase_i | (prog_i & gen_buf_match[2].word_addr_match) | (pg_erase_i & gen_buf_match[2].page_addr_match))
-----1---- ---------------------2--------------------- -----------------------3-----------------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T11,T47,T54 |
0 | 1 | 0 | Covered | T11,T47,T54 |
1 | 0 | 0 | Covered | T5,T40,T31 |
LINE 221
SUB-EXPRESSION (prog_i & gen_buf_match[2].word_addr_match)
---1-- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T47,T54 |
LINE 221
SUB-EXPRESSION (pg_erase_i & gen_buf_match[2].page_addr_match)
-----1---- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T11 |
1 | 1 | Covered | T11,T47,T54 |
LINE 221
EXPRESSION (buf_valid[3] & (bk_erase_i | (prog_i & gen_buf_match[3].word_addr_match) | (pg_erase_i & gen_buf_match[3].page_addr_match)))
------1----- ------------------------------------------------------2-----------------------------------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T11,T5,T40 |
1 | 0 | Covered | T2,T4,T15 |
1 | 1 | Covered | T5,T40,T47 |
LINE 221
SUB-EXPRESSION (bk_erase_i | (prog_i & gen_buf_match[3].word_addr_match) | (pg_erase_i & gen_buf_match[3].page_addr_match))
-----1---- ---------------------2--------------------- -----------------------3-----------------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T11,T47,T54 |
0 | 1 | 0 | Covered | T11,T47,T54 |
1 | 0 | 0 | Covered | T5,T40,T31 |
LINE 221
SUB-EXPRESSION (prog_i & gen_buf_match[3].word_addr_match)
---1-- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T11,T47,T54 |
LINE 221
SUB-EXPRESSION (pg_erase_i & gen_buf_match[3].page_addr_match)
-----1---- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T4,T11 |
1 | 1 | Covered | T11,T47,T54 |
LINE 231
EXPRESSION (no_match ? (({flash_phy_pkg::NumBuf {(req_i & buf_en_q)}} & buf_alloc)) : '0)
----1---
-1- | Status | Tests |
0 | Covered | T2,T4,T15 |
1 | Covered | T1,T2,T3 |
LINE 238
EXPRESSION (rdy_o & alloc[0])
--1-- ----2---
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 238
EXPRESSION (rdy_o & alloc[1])
--1-- ----2---
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 238
EXPRESSION (rdy_o & alloc[2])
--1-- ----2---
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 238
EXPRESSION (rdy_o & alloc[3])
--1-- ----2---
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T15 |
LINE 290
EXPRESSION (req_o & ack_i)
--1-- --2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T4,T6 |
1 | 1 | Covered | T1,T2,T3 |
LINE 291
EXPRESSION (rd_busy & done_i)
---1--- ---2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 301
EXPRESSION (((|alloc)) ? buf_alloc : buf_match)
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 304
EXPRESSION (req_i && rdy_o)
--1-- --2--
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T4,T15 |
1 | 1 | Covered | T1,T2,T3 |
LINE 307
EXPRESSION (rsp_fifo_vld & data_valid_o)
------1----- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 376
EXPRESSION (((~rd_busy)) | rd_done)
------1----- ---2---
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
LINE 381
EXPRESSION (rsp_fifo_rdy & scramble_stage_rdy)
------1----- ---------2--------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T6 |
1 | 0 | Covered | T13,T14,T57 |
1 | 1 | Covered | T1,T2,T3 |
LINE 392
EXPRESSION (buf_en_q == buf_en_i)
-----------1----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 398
EXPRESSION ((no_match ? (ack_i & flash_rdy & rd_stages_rdy) : rd_stages_rdy) & ((~all_buf_dependency)) & no_buf_en_change & (calc_req_o ? calc_req_done : 1'b1))
--------------------------------1------------------------------- -----------2----------- --------3------- -----------------4-----------------
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 1 | 0 | Covered | T2,T15,T6 |
1 | 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 398
SUB-EXPRESSION (no_match ? (ack_i & flash_rdy & rd_stages_rdy) : rd_stages_rdy)
----1---
-1- | Status | Tests |
0 | Covered | T2,T4,T15 |
1 | Covered | T1,T2,T3 |
LINE 398
SUB-EXPRESSION (ack_i & flash_rdy & rd_stages_rdy)
--1-- ----2---- ------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T2,T4,T6 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 398
SUB-EXPRESSION (calc_req_o ? calc_req_done : 1'b1)
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 406
EXPRESSION (req_i & no_buf_en_change & flash_rdy & rd_stages_rdy & no_match & (calc_req_o ? calc_req_done : 1'b1))
--1-- --------2------- ----3---- ------4------ ----5--- -----------------6-----------------
-1- | -2- | -3- | -4- | -5- | -6- | Status | Tests |
0 | 1 | 1 | 1 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | 1 | 1 | 1 | Covered | T157 |
1 | 1 | 0 | 1 | 1 | 1 | Covered | T2,T6,T55 |
1 | 1 | 1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 1 | 1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | 1 | 0 | Covered | T2,T6,T39 |
1 | 1 | 1 | 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 406
SUB-EXPRESSION (calc_req_o ? calc_req_done : 1'b1)
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 427
EXPRESSION (rd_done && rd_attrs.ecc)
---1--- ------2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T4,T17,T5 |
1 | 1 | Covered | T1,T2,T3 |
LINE 431
EXPRESSION (rd_done & (data_i == {flash_phy_pkg::FullDataWidth {1'b1}}))
---1--- ------------------------2------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T4,T39,T7 |
LINE 431
SUB-EXPRESSION (data_i == {flash_phy_pkg::FullDataWidth {1'b1}})
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 441
EXPRESSION (valid_ecc & ecc_multi_err)
----1---- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T15,T35 |
LINE 450
EXPRESSION ((data_err | ecc_single_err_o) ? data_ecc_chk : data_i[(flash_phy_pkg::PlainDataWidth - 1):0])
--------------1--------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T15,T20 |
LINE 450
SUB-EXPRESSION (data_err | ecc_single_err_o)
----1--- --------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T20,T21 |
1 | 0 | Covered | T2,T15,T35 |
LINE 455
EXPRESSION (valid_ecc & ecc_single_err)
----1---- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T20,T21 |
LINE 488
EXPRESSION (data_fifo_rdy & mask_fifo_rdy)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T13,T14,T57 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T3 |
LINE 491
EXPRESSION (rd_done & rd_attrs.descramble & ((~data_erased)))
---1--- ---------2--------- --------3-------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T4,T17 |
1 | 1 | 0 | Covered | T39,T7,T80 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 494
EXPRESSION (rd_done & rd_attrs.descramble & data_erased)
---1--- ---------2--------- -----3-----
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T4,T37,T195 |
1 | 1 | 0 | Covered | T1,T2,T3 |
1 | 1 | 1 | Covered | T39,T7,T80 |
LINE 498
EXPRESSION (rd_done & ((~descram)) & ((~fifo_data_valid)))
---1--- ------2----- ----------3---------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T32,T25,T204 |
1 | 1 | 1 | Covered | T2,T4,T17 |
LINE 500
EXPRESSION (fifo_data_valid & descram_q)
-------1------- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T4,T17 |
1 | 1 | Covered | T1,T2,T3 |
LINE 501
EXPRESSION (fifo_data_valid & dropmsk_q)
-------1------- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T39,T7,T80 |
LINE 502
EXPRESSION (fifo_data_valid & forward_q)
-------1------- ----2----
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T4,T17 |
LINE 510
EXPRESSION (hint_descram ? (descramble_req_o & descramble_ack_i) : (hint_dropmsk ? mask_valid : fifo_data_valid))
------1-----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 510
SUB-EXPRESSION (descramble_req_o & descramble_ack_i)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 510
SUB-EXPRESSION (hint_dropmsk ? mask_valid : fifo_data_valid)
------1-----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T39,T7,T80 |
LINE 518
EXPRESSION (hint_forward & (hint_dropmsk ? mask_valid : 1'b1))
------1----- -----------------2----------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T39,T66,T61 |
1 | 1 | Covered | T2,T4,T17 |
LINE 518
SUB-EXPRESSION (hint_dropmsk ? mask_valid : 1'b1)
------1-----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T39,T7,T80 |
LINE 520
EXPRESSION (fifo_data_ready | fifo_forward_pop)
-------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
LINE 574
EXPRESSION (req_o & ack_i & descramble_i)
--1-- --2-- ------3-----
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T6,T19 |
1 | 1 | 0 | Covered | T2,T4,T17 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 575
EXPRESSION (calc_req_o & calc_ack_i)
-----1---- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 591
EXPRESSION (fifo_data_valid & mask_valid & hint_descram)
-------1------- -----2---- ------3-----
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T2,T6,T19 |
1 | 1 | 0 | Covered | T39,T7,T80 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 601
EXPRESSION
Number Term
1 forward ? data_int : (hint_descram ? ({fifo_data[(flash_phy_pkg::PlainDataWidth - 1)-:flash_phy_pkg::PlainIntgWidth], (descrambled_data_i ^ mask)}) : fifo_data))
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T17 |
LINE 601
SUB-EXPRESSION (hint_descram ? ({fifo_data[(flash_phy_pkg::PlainDataWidth - 1)-:flash_phy_pkg::PlainIntgWidth], (descrambled_data_i ^ mask)}) : fifo_data)
------1-----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 605
EXPRESSION (forward ? data_err : (((~hint_forward)) ? data_err_q : '0))
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T17 |
LINE 605
SUB-EXPRESSION (((~hint_forward)) ? data_err_q : '0)
--------1--------
-1- | Status | Tests |
0 | Covered | T2,T4,T17 |
1 | Covered | T1,T2,T3 |
LINE 613
EXPRESSION (forward | (((~hint_forward)) & fifo_data_ready))
---1--- ------------------2------------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T2,T4,T17 |
LINE 613
SUB-EXPRESSION (((~hint_forward)) & fifo_data_ready)
--------1-------- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T17 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 630
EXPRESSION (forward ? alloc_q : ((((~hint_forward)) & fifo_data_ready) ? alloc_q2 : '0))
---1---
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T17 |
LINE 630
SUB-EXPRESSION ((((~hint_forward)) & fifo_data_ready) ? alloc_q2 : '0)
------------------1------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 630
SUB-EXPRESSION (((~hint_forward)) & fifo_data_ready)
--------1-------- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T4,T17 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 635
EXPRESSION (rsp_fifo_vld & data_valid & (((~buf_en_q)) | (rsp_fifo_rdata.buf_sel == update)))
------1----- -----2---- --------------------------3-------------------------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T13,T14,T57 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 635
SUB-EXPRESSION (((~buf_en_q)) | (rsp_fifo_rdata.buf_sel == update))
------1------ -----------------2----------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
LINE 635
SUB-EXPRESSION (rsp_fifo_rdata.buf_sel == update)
-----------------1----------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 640
EXPRESSION (buf_en_q & rsp_fifo_vld & rsp_fifo_rdata.buf_sel[0] & buf_valid[0])
----1--- ------2----- ------------3------------ ------4-----
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 0 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 640
EXPRESSION (buf_en_q & rsp_fifo_vld & rsp_fifo_rdata.buf_sel[1] & buf_valid[1])
----1--- ------2----- ------------3------------ ------4-----
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 0 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 640
EXPRESSION (buf_en_q & rsp_fifo_vld & rsp_fifo_rdata.buf_sel[2] & buf_valid[2])
----1--- ------2----- ------------3------------ ------4-----
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 0 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 640
EXPRESSION (buf_en_q & rsp_fifo_vld & rsp_fifo_rdata.buf_sel[3] & buf_valid[3])
----1--- ------2----- ------------3------------ ------4-----
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Not Covered | |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T2,T4,T15 |
1 | 1 | 1 | 0 | Covered | T2,T4,T15 |
1 | 1 | 1 | 1 | Covered | T2,T4,T15 |
LINE 651
EXPRESSION (buf_rsp_err | read_buf[i].err)
-----1----- -------2-------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T2,T4,T15 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 657
EXPRESSION (((|buf_rsp_match)) ? buf_rsp_data : muxed_data)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T4,T15 |
LINE 670
EXPRESSION (data_err_o ? ({flash_phy_pkg::BusWidth {1'b1}}) : gen_rd.bus_words_packed[rsp_fifo_rdata.word_sel])
-----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T15,T10 |
LINE 691
EXPRESSION (rsp_fifo_rdata.intg_ecc_en ? (truncated_intg != data_out_muxed[flash_phy_pkg::DataWidth+:flash_phy_pkg::PlainIntgWidth]) : '0)
-------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 691
SUB-EXPRESSION (truncated_intg != data_out_muxed[flash_phy_pkg::DataWidth+:flash_phy_pkg::PlainIntgWidth])
---------------------------------------------1---------------------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 703
EXPRESSION (flash_rsp_match | ((|buf_rsp_match)))
-------1------- ---------2--------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T2,T4,T15 |
1 | 0 | Covered | T1,T2,T3 |
LINE 706
EXPRESSION ((data_valid_o & (muxed_err | intg_err | (((|buf_rsp_match)) & buf_rsp_err))) | arb_err_i)
--------------------------------------1------------------------------------- ----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
1 | 0 | Covered | T2,T15,T10 |
LINE 706
SUB-EXPRESSION (data_valid_o & (muxed_err | intg_err | (((|buf_rsp_match)) & buf_rsp_err)))
------1----- -----------------------------2-----------------------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T15,T10 |
LINE 706
SUB-EXPRESSION (muxed_err | intg_err | (((|buf_rsp_match)) & buf_rsp_err))
----1---- ----2--- -----------------3----------------
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Not Covered | |
0 | 1 | 0 | Covered | T1,T2,T3 |
1 | 0 | 0 | Covered | T2,T35,T137 |