Line Coverage for Module : 
flash_phy_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 23 | 23 | 100.00 | 
| ALWAYS | 48 | 7 | 7 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 65 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 66 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 71 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 72 | 1 | 1 | 100.00 | 
| ALWAYS | 76 | 6 | 6 | 100.00 | 
| ALWAYS | 90 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 | 
| ALWAYS | 116 | 0 | 0 |  | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 48 | 
1 | 
1 | 
| 49 | 
1 | 
1 | 
| 50 | 
1 | 
1 | 
| 51 | 
1 | 
1 | 
| 52 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 54 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 61 | 
1 | 
1 | 
| 62 | 
1 | 
1 | 
| 65 | 
1 | 
1 | 
| 66 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
| 76 | 
1 | 
1 | 
| 77 | 
1 | 
1 | 
| 79 | 
1 | 
1 | 
| 80 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 82 | 
1 | 
1 | 
| 83 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 90 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 92 | 
1 | 
1 | 
| 97 | 
1 | 
1 | 
| 116 | 
 | 
unreachable | 
| 117 | 
 | 
unreachable | 
| 118 | 
 | 
unreachable | 
Cond Coverage for Module : 
flash_phy_rd_buf_dep
 | Total | Covered | Percent | 
| Conditions | 22 | 19 | 86.36 | 
| Logical | 22 | 19 | 86.36 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       65
 EXPRESSION (en_i & fifo_wr_i & (curr_incr_cnt < flash_phy_pkg::RspOrderDepth))
             --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 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T3,T4 | 
 LINE       66
 EXPRESSION (en_i & fifo_rd_i & (curr_decr_cnt > '0))
             --1-   ----2----   ----------3---------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T3,T4 | 
 LINE       71
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (cnt_incr && ((!cnt_decr))) : cnt_incr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T2,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (cnt_incr && ((!cnt_decr)))
                 ----1---    ------2------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T3,T5,T8 | 
| 1 | 1 | Covered | T2,T3,T4 | 
 LINE       72
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (((!cnt_incr)) && cnt_decr) : cnt_decr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T2,T3,T4 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (((!cnt_incr)) && cnt_decr)
                 ------1------    ----2---
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T3,T5,T8 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T2,T3,T4 | 
Branch Coverage for Module : 
flash_phy_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
13 | 
13 | 
100.00 | 
| TERNARY | 
71 | 
2 | 
2 | 
100.00 | 
| TERNARY | 
72 | 
2 | 
2 | 
100.00 | 
| IF | 
51 | 
2 | 
2 | 
100.00 | 
| IF | 
54 | 
2 | 
2 | 
100.00 | 
| IF | 
76 | 
5 | 
5 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	71	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T3,T4 | 
	LineNo.	Expression
-1-:	72	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T3,T4 | 
	LineNo.	Expression
-1-:	51	if (wr_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T3,T4 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	54	if (rd_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T3,T4 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	76	if ((!rst_ni))
-2-:	79	if (fin_cnt_incr)
-3-:	82	if (fin_cnt_decr)
Branches:
| -1- | -2- | -3- | Status | Tests | 
| 1 | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
- | 
Covered | 
T2,T3,T4 | 
| 0 | 
0 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
- | 
1 | 
Covered | 
T2,T3,T4 | 
| 0 | 
- | 
0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Module : 
flash_phy_rd_buf_dep
Assertion Details
BufferDecrUnderRun_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
723634320 | 
6816729 | 
0 | 
0 | 
| T2 | 
148350 | 
2832 | 
0 | 
0 | 
| T3 | 
20704 | 
212 | 
0 | 
0 | 
| T4 | 
6022 | 
56 | 
0 | 
0 | 
| T5 | 
202366 | 
32524 | 
0 | 
0 | 
| T6 | 
6144 | 
11 | 
0 | 
0 | 
| T7 | 
1683786 | 
30198 | 
0 | 
0 | 
| T8 | 
0 | 
47284 | 
0 | 
0 | 
| T18 | 
462380 | 
3272 | 
0 | 
0 | 
| T19 | 
1056686 | 
0 | 
0 | 
0 | 
| T20 | 
2866 | 
0 | 
0 | 
0 | 
| T32 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
417266 | 
2388 | 
0 | 
0 | 
| T37 | 
0 | 
4960 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T49 | 
0 | 
2920 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 | 
BufferDepRsp_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
723634320 | 
721992564 | 
0 | 
0 | 
| T1 | 
6452 | 
6312 | 
0 | 
0 | 
| T2 | 
296700 | 
279422 | 
0 | 
0 | 
| T3 | 
20704 | 
20394 | 
0 | 
0 | 
| T4 | 
6022 | 
5784 | 
0 | 
0 | 
| T5 | 
202366 | 
202084 | 
0 | 
0 | 
| T6 | 
6144 | 
6004 | 
0 | 
0 | 
| T7 | 
1683786 | 
1683472 | 
0 | 
0 | 
| T18 | 
462380 | 
441212 | 
0 | 
0 | 
| T19 | 
1056686 | 
1056670 | 
0 | 
0 | 
| T20 | 
2866 | 
2698 | 
0 | 
0 | 
BufferIncrOverFlow_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
723634320 | 
6816741 | 
0 | 
0 | 
| T2 | 
148350 | 
2832 | 
0 | 
0 | 
| T3 | 
20704 | 
212 | 
0 | 
0 | 
| T4 | 
6022 | 
56 | 
0 | 
0 | 
| T5 | 
202366 | 
32524 | 
0 | 
0 | 
| T6 | 
6144 | 
11 | 
0 | 
0 | 
| T7 | 
1683786 | 
30198 | 
0 | 
0 | 
| T8 | 
0 | 
47284 | 
0 | 
0 | 
| T18 | 
462380 | 
3272 | 
0 | 
0 | 
| T19 | 
1056686 | 
0 | 
0 | 
0 | 
| T20 | 
2866 | 
0 | 
0 | 
0 | 
| T32 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
417266 | 
2388 | 
0 | 
0 | 
| T37 | 
0 | 
4960 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T49 | 
0 | 
2920 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 | 
DepBufferRspOrder_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
723634321 | 
14425326 | 
0 | 
0 | 
| T1 | 
3226 | 
32 | 
0 | 
0 | 
| T2 | 
148350 | 
6640 | 
0 | 
0 | 
| T3 | 
20704 | 
276 | 
0 | 
0 | 
| T4 | 
6022 | 
120 | 
0 | 
0 | 
| T5 | 
202366 | 
32577 | 
0 | 
0 | 
| T6 | 
6144 | 
43 | 
0 | 
0 | 
| T7 | 
1683786 | 
30233 | 
0 | 
0 | 
| T8 | 
0 | 
22833 | 
0 | 
0 | 
| T18 | 
462380 | 
7656 | 
0 | 
0 | 
| T19 | 
1056686 | 
32 | 
0 | 
0 | 
| T20 | 
2866 | 
32 | 
0 | 
0 | 
| T36 | 
208633 | 
1256 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 23 | 23 | 100.00 | 
| ALWAYS | 48 | 7 | 7 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 65 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 66 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 71 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 72 | 1 | 1 | 100.00 | 
| ALWAYS | 76 | 6 | 6 | 100.00 | 
| ALWAYS | 90 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 | 
| ALWAYS | 116 | 0 | 0 |  | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 48 | 
1 | 
1 | 
| 49 | 
1 | 
1 | 
| 50 | 
1 | 
1 | 
| 51 | 
1 | 
1 | 
| 52 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 54 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 61 | 
1 | 
1 | 
| 62 | 
1 | 
1 | 
| 65 | 
1 | 
1 | 
| 66 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
| 76 | 
1 | 
1 | 
| 77 | 
1 | 
1 | 
| 79 | 
1 | 
1 | 
| 80 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 82 | 
1 | 
1 | 
| 83 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 90 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 92 | 
1 | 
1 | 
| 97 | 
1 | 
1 | 
| 116 | 
 | 
unreachable | 
| 117 | 
 | 
unreachable | 
| 118 | 
 | 
unreachable | 
Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_rd_buf_dep
 | Total | Covered | Percent | 
| Conditions | 22 | 19 | 86.36 | 
| Logical | 22 | 19 | 86.36 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       65
 EXPRESSION (en_i & fifo_wr_i & (curr_incr_cnt < flash_phy_pkg::RspOrderDepth))
             --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 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T5,T18 | 
 LINE       66
 EXPRESSION (en_i & fifo_rd_i & (curr_decr_cnt > '0))
             --1-   ----2----   ----------3---------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T2,T5,T18 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T5,T18 | 
 LINE       71
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (cnt_incr && ((!cnt_decr))) : cnt_incr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T2,T5,T18 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (cnt_incr && ((!cnt_decr)))
                 ----1---    ------2------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T21,T64,T66 | 
| 1 | 1 | Covered | T2,T5,T18 | 
 LINE       72
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (((!cnt_incr)) && cnt_decr) : cnt_decr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T2,T5,T18 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (((!cnt_incr)) && cnt_decr)
                 ------1------    ----2---
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T21,T64,T66 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T2,T5,T18 | 
Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
13 | 
13 | 
100.00 | 
| TERNARY | 
71 | 
2 | 
2 | 
100.00 | 
| TERNARY | 
72 | 
2 | 
2 | 
100.00 | 
| IF | 
51 | 
2 | 
2 | 
100.00 | 
| IF | 
54 | 
2 | 
2 | 
100.00 | 
| IF | 
76 | 
5 | 
5 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	71	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T5,T18 | 
	LineNo.	Expression
-1-:	72	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T5,T18 | 
	LineNo.	Expression
-1-:	51	if (wr_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T5,T18 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	54	if (rd_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T5,T18 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	76	if ((!rst_ni))
-2-:	79	if (fin_cnt_incr)
-3-:	82	if (fin_cnt_decr)
Branches:
| -1- | -2- | -3- | Status | Tests | 
| 1 | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
- | 
Covered | 
T2,T5,T18 | 
| 0 | 
0 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
- | 
1 | 
Covered | 
T2,T5,T18 | 
| 0 | 
- | 
0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_rd_buf_dep
Assertion Details
BufferDecrUnderRun_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
3455898 | 
0 | 
0 | 
| T2 | 
148350 | 
2832 | 
0 | 
0 | 
| T3 | 
10352 | 
0 | 
0 | 
0 | 
| T4 | 
3011 | 
0 | 
0 | 
0 | 
| T5 | 
101183 | 
16054 | 
0 | 
0 | 
| T6 | 
3072 | 
8 | 
0 | 
0 | 
| T7 | 
841893 | 
15147 | 
0 | 
0 | 
| T8 | 
0 | 
24451 | 
0 | 
0 | 
| T18 | 
231190 | 
3272 | 
0 | 
0 | 
| T19 | 
528343 | 
0 | 
0 | 
0 | 
| T20 | 
1433 | 
0 | 
0 | 
0 | 
| T32 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
208633 | 
1132 | 
0 | 
0 | 
| T37 | 
0 | 
4960 | 
0 | 
0 | 
| T49 | 
0 | 
2920 | 
0 | 
0 | 
BufferDepRsp_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
360996282 | 
0 | 
0 | 
| T1 | 
3226 | 
3156 | 
0 | 
0 | 
| T2 | 
148350 | 
139711 | 
0 | 
0 | 
| T3 | 
10352 | 
10197 | 
0 | 
0 | 
| T4 | 
3011 | 
2892 | 
0 | 
0 | 
| T5 | 
101183 | 
101042 | 
0 | 
0 | 
| T6 | 
3072 | 
3002 | 
0 | 
0 | 
| T7 | 
841893 | 
841736 | 
0 | 
0 | 
| T18 | 
231190 | 
220606 | 
0 | 
0 | 
| T19 | 
528343 | 
528335 | 
0 | 
0 | 
| T20 | 
1433 | 
1349 | 
0 | 
0 | 
BufferIncrOverFlow_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
3455905 | 
0 | 
0 | 
| T2 | 
148350 | 
2832 | 
0 | 
0 | 
| T3 | 
10352 | 
0 | 
0 | 
0 | 
| T4 | 
3011 | 
0 | 
0 | 
0 | 
| T5 | 
101183 | 
16054 | 
0 | 
0 | 
| T6 | 
3072 | 
8 | 
0 | 
0 | 
| T7 | 
841893 | 
15147 | 
0 | 
0 | 
| T8 | 
0 | 
24451 | 
0 | 
0 | 
| T18 | 
231190 | 
3272 | 
0 | 
0 | 
| T19 | 
528343 | 
0 | 
0 | 
0 | 
| T20 | 
1433 | 
0 | 
0 | 
0 | 
| T32 | 
0 | 
12 | 
0 | 
0 | 
| T36 | 
208633 | 
1132 | 
0 | 
0 | 
| T37 | 
0 | 
4960 | 
0 | 
0 | 
| T49 | 
0 | 
2920 | 
0 | 
0 | 
DepBufferRspOrder_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
7648959 | 
0 | 
0 | 
| T1 | 
3226 | 
32 | 
0 | 
0 | 
| T2 | 
148350 | 
6640 | 
0 | 
0 | 
| T3 | 
10352 | 
64 | 
0 | 
0 | 
| T4 | 
3011 | 
64 | 
0 | 
0 | 
| T5 | 
101183 | 
16107 | 
0 | 
0 | 
| T6 | 
3072 | 
40 | 
0 | 
0 | 
| T7 | 
841893 | 
15182 | 
0 | 
0 | 
| T18 | 
231190 | 
7656 | 
0 | 
0 | 
| T19 | 
528343 | 
32 | 
0 | 
0 | 
| T20 | 
1433 | 
32 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 23 | 23 | 100.00 | 
| ALWAYS | 48 | 7 | 7 | 100.00 | 
| CONT_ASSIGN | 61 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 65 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 66 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 71 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 72 | 1 | 1 | 100.00 | 
| ALWAYS | 76 | 6 | 6 | 100.00 | 
| ALWAYS | 90 | 3 | 3 | 100.00 | 
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 | 
| ALWAYS | 116 | 0 | 0 |  | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 48 | 
1 | 
1 | 
| 49 | 
1 | 
1 | 
| 50 | 
1 | 
1 | 
| 51 | 
1 | 
1 | 
| 52 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 54 | 
1 | 
1 | 
| 55 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 61 | 
1 | 
1 | 
| 62 | 
1 | 
1 | 
| 65 | 
1 | 
1 | 
| 66 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
| 76 | 
1 | 
1 | 
| 77 | 
1 | 
1 | 
| 79 | 
1 | 
1 | 
| 80 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 82 | 
1 | 
1 | 
| 83 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 90 | 
1 | 
1 | 
| 91 | 
1 | 
1 | 
| 92 | 
1 | 
1 | 
| 97 | 
1 | 
1 | 
| 116 | 
 | 
unreachable | 
| 117 | 
 | 
unreachable | 
| 118 | 
 | 
unreachable | 
Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_buf_dep
 | Total | Covered | Percent | 
| Conditions | 22 | 19 | 86.36 | 
| Logical | 22 | 19 | 86.36 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       65
 EXPRESSION (en_i & fifo_wr_i & (curr_incr_cnt < flash_phy_pkg::RspOrderDepth))
             --1-   ----2----   -----------------------3----------------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Covered | T24,T26,T99 | 
| 1 | 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T3,T4,T5 | 
 LINE       66
 EXPRESSION (en_i & fifo_rd_i & (curr_decr_cnt > '0))
             --1-   ----2----   ----------3---------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T3,T4,T5 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T3,T4,T5 | 
 LINE       71
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (cnt_incr && ((!cnt_decr))) : cnt_incr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T3,T4,T5 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       71
 SUB-EXPRESSION (cnt_incr && ((!cnt_decr)))
                 ----1---    ------2------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T3,T5,T8 | 
| 1 | 1 | Covered | T3,T4,T5 | 
 LINE       72
 EXPRESSION ((incr_buf_sel == decr_buf_sel) ? (((!cnt_incr)) && cnt_decr) : cnt_decr)
             ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T3,T4,T5 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (incr_buf_sel == decr_buf_sel)
                ---------------1--------------
| -1- | Status | Tests | 
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       72
 SUB-EXPRESSION (((!cnt_incr)) && cnt_decr)
                 ------1------    ----2---
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T3,T5,T8 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T3,T4,T5 | 
Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_buf_dep
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
13 | 
13 | 
100.00 | 
| TERNARY | 
71 | 
2 | 
2 | 
100.00 | 
| TERNARY | 
72 | 
2 | 
2 | 
100.00 | 
| IF | 
51 | 
2 | 
2 | 
100.00 | 
| IF | 
54 | 
2 | 
2 | 
100.00 | 
| IF | 
76 | 
5 | 
5 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_phy_rd_buf_dep.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	71	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T3,T4,T5 | 
	LineNo.	Expression
-1-:	72	((incr_buf_sel == decr_buf_sel)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T3,T4,T5 | 
	LineNo.	Expression
-1-:	51	if (wr_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T3,T4,T5 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	54	if (rd_buf_i[i])
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T3,T4,T5 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	76	if ((!rst_ni))
-2-:	79	if (fin_cnt_incr)
-3-:	82	if (fin_cnt_decr)
Branches:
| -1- | -2- | -3- | Status | Tests | 
| 1 | 
- | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
- | 
Covered | 
T3,T4,T5 | 
| 0 | 
0 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
- | 
1 | 
Covered | 
T3,T4,T5 | 
| 0 | 
- | 
0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_buf_dep
Assertion Details
BufferDecrUnderRun_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
3360831 | 
0 | 
0 | 
| T3 | 
10352 | 
212 | 
0 | 
0 | 
| T4 | 
3011 | 
56 | 
0 | 
0 | 
| T5 | 
101183 | 
16470 | 
0 | 
0 | 
| T6 | 
3072 | 
3 | 
0 | 
0 | 
| T7 | 
841893 | 
15051 | 
0 | 
0 | 
| T8 | 
0 | 
22833 | 
0 | 
0 | 
| T18 | 
231190 | 
0 | 
0 | 
0 | 
| T19 | 
528343 | 
0 | 
0 | 
0 | 
| T20 | 
1433 | 
0 | 
0 | 
0 | 
| T36 | 
208633 | 
1256 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 | 
BufferDepRsp_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
360996282 | 
0 | 
0 | 
| T1 | 
3226 | 
3156 | 
0 | 
0 | 
| T2 | 
148350 | 
139711 | 
0 | 
0 | 
| T3 | 
10352 | 
10197 | 
0 | 
0 | 
| T4 | 
3011 | 
2892 | 
0 | 
0 | 
| T5 | 
101183 | 
101042 | 
0 | 
0 | 
| T6 | 
3072 | 
3002 | 
0 | 
0 | 
| T7 | 
841893 | 
841736 | 
0 | 
0 | 
| T18 | 
231190 | 
220606 | 
0 | 
0 | 
| T19 | 
528343 | 
528335 | 
0 | 
0 | 
| T20 | 
1433 | 
1349 | 
0 | 
0 | 
BufferIncrOverFlow_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817160 | 
3360836 | 
0 | 
0 | 
| T3 | 
10352 | 
212 | 
0 | 
0 | 
| T4 | 
3011 | 
56 | 
0 | 
0 | 
| T5 | 
101183 | 
16470 | 
0 | 
0 | 
| T6 | 
3072 | 
3 | 
0 | 
0 | 
| T7 | 
841893 | 
15051 | 
0 | 
0 | 
| T8 | 
0 | 
22833 | 
0 | 
0 | 
| T18 | 
231190 | 
0 | 
0 | 
0 | 
| T19 | 
528343 | 
0 | 
0 | 
0 | 
| T20 | 
1433 | 
0 | 
0 | 
0 | 
| T36 | 
208633 | 
1256 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 | 
DepBufferRspOrder_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
361817161 | 
6776367 | 
0 | 
0 | 
| T3 | 
10352 | 
212 | 
0 | 
0 | 
| T4 | 
3011 | 
56 | 
0 | 
0 | 
| T5 | 
101183 | 
16470 | 
0 | 
0 | 
| T6 | 
3072 | 
3 | 
0 | 
0 | 
| T7 | 
841893 | 
15051 | 
0 | 
0 | 
| T8 | 
0 | 
22833 | 
0 | 
0 | 
| T18 | 
231190 | 
0 | 
0 | 
0 | 
| T19 | 
528343 | 
0 | 
0 | 
0 | 
| T20 | 
1433 | 
0 | 
0 | 
0 | 
| T36 | 
208633 | 
1256 | 
0 | 
0 | 
| T45 | 
0 | 
45 | 
0 | 
0 | 
| T52 | 
1320 | 
0 | 
0 | 
0 | 
| T59 | 
0 | 
127 | 
0 | 
0 | 
| T67 | 
0 | 
1184 | 
0 | 
0 |