Line Coverage for Instance : tb.dut.u_to_rd_fifo.u_reqfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 22 | 0 | 0.00 | 
| ALWAYS | 70 | 4 | 0 | 0.00 | 
| CONT_ASSIGN | 84 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 85 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 86 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 87 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 88 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 92 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 93 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 98 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 99 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 100 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 145 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 146 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 154 | 1 | 0 | 0.00 | 
| ALWAYS | 157 | 2 | 0 | 0.00 | 
| CONT_ASSIGN | 175 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 176 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 180 | 1 | 0 | 0.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 |  | 
| 70 | 
0 | 
1 | 
| 71 | 
0 | 
1 | 
| 72 | 
0 | 
1 | 
| 73 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 84 | 
0 | 
1 | 
| 85 | 
0 | 
1 | 
| 86 | 
0 | 
1 | 
| 87 | 
0 | 
1 | 
| 88 | 
0 | 
1 | 
| 92 | 
0 | 
1 | 
| 93 | 
0 | 
1 | 
| 98 | 
0 | 
1 | 
| 99 | 
0 | 
1 | 
| 100 | 
0 | 
1 | 
| 145 | 
0 | 
1 | 
| 146 | 
0 | 
1 | 
| 154 | 
0 | 
1 | 
| 157 | 
0 | 
1 | 
| 158 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 175 | 
0 | 
1 | 
| 176 | 
0 | 
1 | 
| 180 | 
0 | 
1 | 
Cond Coverage for Instance : tb.dut.u_to_rd_fifo.u_reqfifo
 | Total | Covered | Percent | 
| Conditions | 26 | 0 | 0.00 | 
| Logical | 26 | 0 | 0.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       88
 EXPRESSION 
 Number  Term
      1  gen_normal_fifo.full ? (1'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION 
 Number  Term
      1  (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)
                ---------------------------1--------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       92
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       93
 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 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       98
 EXPRESSION (((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst)))
             ------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       100
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       145
 EXPRESSION (gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}}))
            ------------------------------------------------------1------------------------------------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       146
 EXPRESSION (gen_normal_fifo.fifo_wptr == gen_normal_fifo.fifo_rptr)
            ----------------------------1---------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       180
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
Branch Coverage for Instance : tb.dut.u_to_rd_fifo.u_reqfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
10 | 
0 | 
0.00   | 
| TERNARY | 
88 | 
3 | 
0 | 
0.00   | 
| TERNARY | 
180 | 
2 | 
0 | 
0.00   | 
| IF | 
70 | 
3 | 
0 | 
0.00   | 
| IF | 
157 | 
2 | 
0 | 
0.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-:	88	(gen_normal_fifo.full) ? 
-2-:	88	((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)) ? 
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	180	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	70	if ((!rst_ni))
-2-:	72	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	157	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
 
Line Coverage for Instance : tb.dut.u_to_rd_fifo.u_sramreqfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 22 | 0 | 0.00 | 
| ALWAYS | 70 | 4 | 0 | 0.00 | 
| CONT_ASSIGN | 84 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 85 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 86 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 87 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 88 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 92 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 93 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 98 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 99 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 100 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 145 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 146 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 154 | 1 | 0 | 0.00 | 
| ALWAYS | 157 | 2 | 0 | 0.00 | 
| CONT_ASSIGN | 175 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 176 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 180 | 1 | 0 | 0.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 |  | 
| 70 | 
0 | 
1 | 
| 71 | 
0 | 
1 | 
| 72 | 
0 | 
1 | 
| 73 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 84 | 
0 | 
1 | 
| 85 | 
0 | 
1 | 
| 86 | 
0 | 
1 | 
| 87 | 
0 | 
1 | 
| 88 | 
0 | 
1 | 
| 92 | 
0 | 
1 | 
| 93 | 
0 | 
1 | 
| 98 | 
0 | 
1 | 
| 99 | 
0 | 
1 | 
| 100 | 
0 | 
1 | 
| 145 | 
0 | 
1 | 
| 146 | 
0 | 
1 | 
| 154 | 
0 | 
1 | 
| 157 | 
0 | 
1 | 
| 158 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 175 | 
0 | 
1 | 
| 176 | 
0 | 
1 | 
| 180 | 
0 | 
1 | 
Cond Coverage for Instance : tb.dut.u_to_rd_fifo.u_sramreqfifo
 | Total | Covered | Percent | 
| Conditions | 26 | 0 | 0.00 | 
| Logical | 26 | 0 | 0.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       88
 EXPRESSION 
 Number  Term
      1  gen_normal_fifo.full ? (1'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION 
 Number  Term
      1  (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)
                ---------------------------1--------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       92
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       93
 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 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       98
 EXPRESSION (((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst)))
             ------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       100
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       145
 EXPRESSION (gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}}))
            ------------------------------------------------------1------------------------------------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       146
 EXPRESSION (gen_normal_fifo.fifo_wptr == gen_normal_fifo.fifo_rptr)
            ----------------------------1---------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       180
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
Branch Coverage for Instance : tb.dut.u_to_rd_fifo.u_sramreqfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
10 | 
0 | 
0.00   | 
| TERNARY | 
88 | 
3 | 
0 | 
0.00   | 
| TERNARY | 
180 | 
2 | 
0 | 
0.00   | 
| IF | 
70 | 
3 | 
0 | 
0.00   | 
| IF | 
157 | 
2 | 
0 | 
0.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-:	88	(gen_normal_fifo.full) ? 
-2-:	88	((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)) ? 
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	180	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	70	if ((!rst_ni))
-2-:	72	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	157	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
 
Line Coverage for Instance : tb.dut.u_to_rd_fifo.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 22 | 0 | 0.00 | 
| ALWAYS | 70 | 4 | 0 | 0.00 | 
| CONT_ASSIGN | 84 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 85 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 86 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 87 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 88 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 92 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 93 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 98 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 99 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 100 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 145 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 146 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 154 | 1 | 0 | 0.00 | 
| ALWAYS | 157 | 2 | 0 | 0.00 | 
| CONT_ASSIGN | 172 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 173 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 180 | 1 | 0 | 0.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 |  | 
| 70 | 
0 | 
1 | 
| 71 | 
0 | 
1 | 
| 72 | 
0 | 
1 | 
| 73 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 84 | 
0 | 
1 | 
| 85 | 
0 | 
1 | 
| 86 | 
0 | 
1 | 
| 87 | 
0 | 
1 | 
| 88 | 
0 | 
1 | 
| 92 | 
0 | 
1 | 
| 93 | 
0 | 
1 | 
| 98 | 
0 | 
1 | 
| 99 | 
0 | 
1 | 
| 100 | 
0 | 
1 | 
| 145 | 
0 | 
1 | 
| 146 | 
0 | 
1 | 
| 154 | 
0 | 
1 | 
| 157 | 
0 | 
1 | 
| 158 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 172 | 
0 | 
1 | 
| 173 | 
0 | 
1 | 
| 180 | 
0 | 
1 | 
Cond Coverage for Instance : tb.dut.u_to_rd_fifo.u_rspfifo
 | Total | Covered | Percent | 
| Conditions | 34 | 0 | 0.00 | 
| Logical | 34 | 0 | 0.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       88
 EXPRESSION 
 Number  Term
      1  gen_normal_fifo.full ? (1'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value)))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION 
 Number  Term
      1  (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((1'(gen_normal_fifo.wptr_value) - 1'(gen_normal_fifo.rptr_value))) : (((1'(Depth) - 1'(gen_normal_fifo.rptr_value)) + 1'(gen_normal_fifo.wptr_value))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)
                ---------------------------1--------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       92
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       93
 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 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       98
 EXPRESSION (((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst)))
             ------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       100
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       145
 EXPRESSION (gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}}))
            ------------------------------------------------------1------------------------------------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       146
 EXPRESSION (gen_normal_fifo.fifo_wptr == gen_normal_fifo.fifo_rptr)
            ----------------------------1---------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       172
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       172
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       173
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       180
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
Branch Coverage for Instance : tb.dut.u_to_rd_fifo.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
12 | 
0 | 
0.00   | 
| TERNARY | 
88 | 
3 | 
0 | 
0.00   | 
| TERNARY | 
172 | 
2 | 
0 | 
0.00   | 
| TERNARY | 
180 | 
2 | 
0 | 
0.00   | 
| IF | 
70 | 
3 | 
0 | 
0.00   | 
| IF | 
157 | 
2 | 
0 | 
0.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-:	88	(gen_normal_fifo.full) ? 
-2-:	88	((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)) ? 
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	172	((gen_normal_fifo.fifo_empty && wvalid_i)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	180	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	70	if ((!rst_ni))
-2-:	72	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	157	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
 
Line Coverage for Instance : tb.dut.u_sw_rd_fifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 22 | 0 | 0.00 | 
| ALWAYS | 70 | 4 | 0 | 0.00 | 
| CONT_ASSIGN | 84 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 85 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 86 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 87 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 88 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 92 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 93 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 98 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 99 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 100 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 145 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 146 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 162 | 1 | 0 | 0.00 | 
| ALWAYS | 165 | 2 | 0 | 0.00 | 
| CONT_ASSIGN | 172 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 173 | 1 | 0 | 0.00 | 
| CONT_ASSIGN | 180 | 1 | 0 | 0.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 |  | 
| 70 | 
0 | 
1 | 
| 71 | 
0 | 
1 | 
| 72 | 
0 | 
1 | 
| 73 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 84 | 
0 | 
1 | 
| 85 | 
0 | 
1 | 
| 86 | 
0 | 
1 | 
| 87 | 
0 | 
1 | 
| 88 | 
0 | 
1 | 
| 92 | 
0 | 
1 | 
| 93 | 
0 | 
1 | 
| 98 | 
0 | 
1 | 
| 99 | 
0 | 
1 | 
| 100 | 
0 | 
1 | 
| 145 | 
0 | 
1 | 
| 146 | 
0 | 
1 | 
| 162 | 
0 | 
1 | 
| 165 | 
0 | 
1 | 
| 166 | 
0 | 
1 | 
 | 
 | 
 | 
==>  MISSING_ELSE | 
| 172 | 
0 | 
1 | 
| 173 | 
0 | 
1 | 
| 180 | 
0 | 
1 | 
Cond Coverage for Instance : tb.dut.u_sw_rd_fifo
 | Total | Covered | Percent | 
| Conditions | 34 | 0 | 0.00 | 
| Logical | 34 | 0 | 0.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       88
 EXPRESSION 
 Number  Term
      1  gen_normal_fifo.full ? (5'(Depth)) : ((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((5'(gen_normal_fifo.wptr_value) - 5'(gen_normal_fifo.rptr_value))) : (((5'(Depth) - 5'(gen_normal_fifo.rptr_value)) + 5'(gen_normal_fifo.wptr_value)))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION 
 Number  Term
      1  (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb) ? ((5'(gen_normal_fifo.wptr_value) - 5'(gen_normal_fifo.rptr_value))) : (((5'(Depth) - 5'(gen_normal_fifo.rptr_value)) + 5'(gen_normal_fifo.wptr_value))))
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       88
 SUB-EXPRESSION (gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)
                ---------------------------1--------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       92
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests | 
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       93
 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 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       98
 EXPRESSION (((~gen_normal_fifo.full)) & ((~gen_normal_fifo.under_rst)))
             ------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       100
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       145
 EXPRESSION (gen_normal_fifo.fifo_wptr == (gen_normal_fifo.fifo_rptr ^ {1'b1, {(gen_normal_fifo.PTR_WIDTH - 1) {1'b0}}}))
            ------------------------------------------------------1------------------------------------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       146
 EXPRESSION (gen_normal_fifo.fifo_wptr == gen_normal_fifo.fifo_rptr)
            ----------------------------1---------------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       172
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
 LINE       172
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       173
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests | 
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       180
 EXPRESSION (gen_normal_fifo.empty ? 'b0 : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests | 
| 0 | Not Covered |  | 
| 1 | Not Covered |  | 
Branch Coverage for Instance : tb.dut.u_sw_rd_fifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
12 | 
0 | 
0.00   | 
| TERNARY | 
88 | 
3 | 
0 | 
0.00   | 
| TERNARY | 
172 | 
2 | 
0 | 
0.00   | 
| TERNARY | 
180 | 
2 | 
0 | 
0.00   | 
| IF | 
70 | 
3 | 
0 | 
0.00   | 
| IF | 
157 | 
2 | 
0 | 
0.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-:	88	(gen_normal_fifo.full) ? 
-2-:	88	((gen_normal_fifo.wptr_msb == gen_normal_fifo.rptr_msb)) ? 
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	172	((gen_normal_fifo.fifo_empty && wvalid_i)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	180	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	70	if ((!rst_ni))
-2-:	72	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Not Covered | 
 | 
| 0 | 
1 | 
Not Covered | 
 | 
| 0 | 
0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	157	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Not Covered | 
 |