Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rsp_order_fifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 14 | 14 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 120 | 1 | 1 | 100.00 | 
| ALWAYS | 123 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
| 123 | 
1 | 
1 | 
| 124 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rsp_order_fifo
 | Total | Covered | Percent | 
| Conditions | 16 | 11 | 68.75 | 
| Logical | 16 | 11 | 68.75 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T6,T8,T21 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T2,T6,T35 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T35,T43 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T2,T6,T35 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T35,T43 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Covered | T2,T6,T35 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rsp_order_fifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
111 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T6,T35 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T35,T43 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rsp_order_fifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
45176066 | 
0 | 
0 | 
| T2 | 
49733 | 
22398 | 
0 | 
0 | 
| T3 | 
2728 | 
0 | 
0 | 
0 | 
| T4 | 
1657 | 
0 | 
0 | 
0 | 
| T5 | 
187444 | 
0 | 
0 | 
0 | 
| T6 | 
78375 | 
0 | 
0 | 
0 | 
| T7 | 
106011 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
803 | 
0 | 
0 | 
| T9 | 
0 | 
31 | 
0 | 
0 | 
| T13 | 
3607 | 
0 | 
0 | 
0 | 
| T17 | 
481764 | 
0 | 
0 | 
0 | 
| T18 | 
3394 | 
0 | 
0 | 
0 | 
| T19 | 
10411 | 
0 | 
0 | 
0 | 
| T20 | 
0 | 
59 | 
0 | 
0 | 
| T21 | 
0 | 
519 | 
0 | 
0 | 
| T23 | 
0 | 
510 | 
0 | 
0 | 
| T26 | 
0 | 
168 | 
0 | 
0 | 
| T35 | 
0 | 
611 | 
0 | 
0 | 
| T43 | 
0 | 
239 | 
0 | 
0 | 
| T56 | 
0 | 
14 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
45176066 | 
0 | 
0 | 
| T2 | 
49733 | 
22398 | 
0 | 
0 | 
| T3 | 
2728 | 
0 | 
0 | 
0 | 
| T4 | 
1657 | 
0 | 
0 | 
0 | 
| T5 | 
187444 | 
0 | 
0 | 
0 | 
| T6 | 
78375 | 
0 | 
0 | 
0 | 
| T7 | 
106011 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
803 | 
0 | 
0 | 
| T9 | 
0 | 
31 | 
0 | 
0 | 
| T13 | 
3607 | 
0 | 
0 | 
0 | 
| T17 | 
481764 | 
0 | 
0 | 
0 | 
| T18 | 
3394 | 
0 | 
0 | 
0 | 
| T19 | 
10411 | 
0 | 
0 | 
0 | 
| T20 | 
0 | 
59 | 
0 | 
0 | 
| T21 | 
0 | 
519 | 
0 | 
0 | 
| T23 | 
0 | 
510 | 
0 | 
0 | 
| T26 | 
0 | 
168 | 
0 | 
0 | 
| T35 | 
0 | 
611 | 
0 | 
0 | 
| T43 | 
0 | 
239 | 
0 | 
0 | 
| T56 | 
0 | 
14 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_storage
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 14 | 14 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 120 | 1 | 1 | 100.00 | 
| ALWAYS | 123 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
| 123 | 
1 | 
1 | 
| 124 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_storage
 | Total | Covered | Percent | 
| Conditions | 16 | 11 | 68.75 | 
| Logical | 16 | 11 | 68.75 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T6,T15,T64 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T2,T6,T35 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T35,T43 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T23,T56,T26 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T6,T35 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Covered | T2,T6,T35 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_storage
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
111 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T2,T6,T35 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T35,T43 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_rd_storage
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
10597698 | 
0 | 
0 | 
| T2 | 
49733 | 
10403 | 
0 | 
0 | 
| T3 | 
2728 | 
0 | 
0 | 
0 | 
| T4 | 
1657 | 
0 | 
0 | 
0 | 
| T5 | 
187444 | 
0 | 
0 | 
0 | 
| T6 | 
78375 | 
0 | 
0 | 
0 | 
| T7 | 
106011 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
282 | 
0 | 
0 | 
| T9 | 
0 | 
12 | 
0 | 
0 | 
| T13 | 
3607 | 
0 | 
0 | 
0 | 
| T17 | 
481764 | 
0 | 
0 | 
0 | 
| T18 | 
3394 | 
0 | 
0 | 
0 | 
| T19 | 
10411 | 
0 | 
0 | 
0 | 
| T20 | 
0 | 
21 | 
0 | 
0 | 
| T21 | 
0 | 
179 | 
0 | 
0 | 
| T23 | 
0 | 
206 | 
0 | 
0 | 
| T26 | 
0 | 
72 | 
0 | 
0 | 
| T35 | 
0 | 
213 | 
0 | 
0 | 
| T43 | 
0 | 
85 | 
0 | 
0 | 
| T56 | 
0 | 
6 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
397442264 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
78375 | 
52912 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398309621 | 
10597698 | 
0 | 
0 | 
| T2 | 
49733 | 
10403 | 
0 | 
0 | 
| T3 | 
2728 | 
0 | 
0 | 
0 | 
| T4 | 
1657 | 
0 | 
0 | 
0 | 
| T5 | 
187444 | 
0 | 
0 | 
0 | 
| T6 | 
78375 | 
0 | 
0 | 
0 | 
| T7 | 
106011 | 
0 | 
0 | 
0 | 
| T8 | 
0 | 
282 | 
0 | 
0 | 
| T9 | 
0 | 
12 | 
0 | 
0 | 
| T13 | 
3607 | 
0 | 
0 | 
0 | 
| T17 | 
481764 | 
0 | 
0 | 
0 | 
| T18 | 
3394 | 
0 | 
0 | 
0 | 
| T19 | 
10411 | 
0 | 
0 | 
0 | 
| T20 | 
0 | 
21 | 
0 | 
0 | 
| T21 | 
0 | 
179 | 
0 | 
0 | 
| T23 | 
0 | 
206 | 
0 | 
0 | 
| T26 | 
0 | 
72 | 
0 | 
0 | 
| T35 | 
0 | 
213 | 
0 | 
0 | 
| T43 | 
0 | 
85 | 
0 | 
0 | 
| T56 | 
0 | 
6 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_mask_storage
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 14 | 14 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 120 | 1 | 1 | 100.00 | 
| ALWAYS | 123 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
| 123 | 
1 | 
1 | 
| 124 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_mask_storage
 | Total | Covered | Percent | 
| Conditions | 16 | 12 | 75.00 | 
| Logical | 16 | 12 | 75.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T61,T62,T74 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T23,T56,T26 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T23,T56,T26 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Covered | T2,T6,T35 | 
| 1 | 0 | 1 | Covered | T23,T56,T26 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T23,T56,T26 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Covered | T23,T56,T26 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_mask_storage
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
111 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T23,T56,T26 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T23,T56,T26 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_mask_storage
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398495735 | 
9050760 | 
0 | 
0 | 
| T21 | 
23275 | 
0 | 
0 | 
0 | 
| T23 | 
10193 | 
206 | 
0 | 
0 | 
| T24 | 
1912 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
72 | 
0 | 
0 | 
| T52 | 
0 | 
72 | 
0 | 
0 | 
| T56 | 
993 | 
6 | 
0 | 
0 | 
| T60 | 
969 | 
0 | 
0 | 
0 | 
| T61 | 
0 | 
100 | 
0 | 
0 | 
| T66 | 
1257 | 
0 | 
0 | 
0 | 
| T67 | 
1042 | 
0 | 
0 | 
0 | 
| T68 | 
1152 | 
0 | 
0 | 
0 | 
| T69 | 
1379 | 
0 | 
0 | 
0 | 
| T70 | 
132736 | 
0 | 
0 | 
0 | 
| T75 | 
0 | 
262144 | 
0 | 
0 | 
| T76 | 
0 | 
262144 | 
0 | 
0 | 
| T77 | 
0 | 
36 | 
0 | 
0 | 
| T78 | 
0 | 
16 | 
0 | 
0 | 
| T79 | 
0 | 
262144 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398495735 | 
397628378 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
104669 | 
79206 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398495735 | 
397628378 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
104669 | 
79206 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398495735 | 
397628378 | 
0 | 
0 | 
| T1 | 
3452 | 
2819 | 
0 | 
0 | 
| T2 | 
49733 | 
49637 | 
0 | 
0 | 
| T3 | 
2728 | 
2661 | 
0 | 
0 | 
| T4 | 
1657 | 
1606 | 
0 | 
0 | 
| T5 | 
187444 | 
180437 | 
0 | 
0 | 
| T6 | 
104669 | 
79206 | 
0 | 
0 | 
| T7 | 
106011 | 
101852 | 
0 | 
0 | 
| T13 | 
3607 | 
2949 | 
0 | 
0 | 
| T17 | 
481764 | 
481606 | 
0 | 
0 | 
| T18 | 
3394 | 
2724 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
398495735 | 
9050760 | 
0 | 
0 | 
| T21 | 
23275 | 
0 | 
0 | 
0 | 
| T23 | 
10193 | 
206 | 
0 | 
0 | 
| T24 | 
1912 | 
0 | 
0 | 
0 | 
| T26 | 
0 | 
72 | 
0 | 
0 | 
| T52 | 
0 | 
72 | 
0 | 
0 | 
| T56 | 
993 | 
6 | 
0 | 
0 | 
| T60 | 
969 | 
0 | 
0 | 
0 | 
| T61 | 
0 | 
100 | 
0 | 
0 | 
| T66 | 
1257 | 
0 | 
0 | 
0 | 
| T67 | 
1042 | 
0 | 
0 | 
0 | 
| T68 | 
1152 | 
0 | 
0 | 
0 | 
| T69 | 
1379 | 
0 | 
0 | 
0 | 
| T70 | 
132736 | 
0 | 
0 | 
0 | 
| T75 | 
0 | 
262144 | 
0 | 
0 | 
| T76 | 
0 | 
262144 | 
0 | 
0 | 
| T77 | 
0 | 
36 | 
0 | 
0 | 
| T78 | 
0 | 
16 | 
0 | 
0 | 
| T79 | 
0 | 
262144 | 
0 | 
0 |