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 |
|