Line Coverage for Instance : tb.dut.u_fwmode.u_rx_fifo
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 62 | 62 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 214 | 1 | 1 | 100.00 |
| ROUTINE | 230 | 7 | 7 | 100.00 |
| ROUTINE | 251 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 269 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 271 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 272 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 214 |
1 |
1 |
| 230 |
1 |
1 |
| 232 |
1 |
1 |
| 235 |
1 |
1 |
| 236 |
1 |
1 |
| 239 |
1 |
1 |
| 240 |
1 |
1 |
| 243 |
1 |
1 |
| 251 |
1 |
1 |
| 252 |
1 |
1 |
| 253 |
1 |
1 |
| 255 |
1 |
1 |
| 256 |
1 |
1 |
| 257 |
1 |
1 |
| 259 |
1 |
1 |
| 260 |
1 |
1 |
| 262 |
1 |
1 |
| 267 |
1 |
1 |
| 269 |
1 |
1 |
| 271 |
1 |
1 |
| 272 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_fwmode.u_rx_fifo
| Total | Covered | Percent |
|---|
| Conditions | 30 | 29 | 96.67 |
| Logical | 30 | 29 | 96.67 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Covered | T33,T40,T59 |
| 1 | 1 | Covered | T2,T9,T10 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T13,T33,T40 |
| 1 | 1 | Covered | T2,T9,T10 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T33,T40,T59 |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T33,T40,T59 |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (4'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((4'(g_depth_calc.wptr_value) - 4'(g_depth_calc.rptr_sync_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_sync_value)) + 4'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T33,T40,T59 |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((4'(g_depth_calc.wptr_value) - 4'(g_depth_calc.rptr_sync_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_sync_value)) + 4'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (4'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((4'(g_depth_calc.wptr_sync_value) - 4'(g_depth_calc.rptr_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_value)) + 4'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T33,T40,T59 |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((4'(g_depth_calc.wptr_sync_value) - 4'(g_depth_calc.rptr_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_value)) + 4'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 232
EXPRESSION (decval[(PTR_WIDTH - 1)] ? decval_sub : decval)
-----------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T2,T9,T10 |
LINE 253
EXPRESSION (dec_tmp[(i + 1)] ^ grayval[i])
--------1------- -----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T4,T5,T1 |
| 0 | 1 | Covered | T2,T9,T10 |
| 1 | 0 | Covered | T2,T9,T10 |
| 1 | 1 | Covered | T2,T9,T10 |
Branch Coverage for Instance : tb.dut.u_fwmode.u_rx_fifo
| Line No. | Total | Covered | Percent |
| Branches |
|
26 |
26 |
100.00 |
| TERNARY |
146 |
3 |
3 |
100.00 |
| TERNARY |
160 |
3 |
3 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
| TERNARY |
232 |
2 |
2 |
100.00 |
| IF |
256 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T33,T40,T59 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T2,T9,T10 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T33,T40,T59 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T2,T9,T10 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T9,T10 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 232 (decval[(PTR_WIDTH - 1)]) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T9,T10 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 256 if (grayval[(PTR_WIDTH - 1)])
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T9,T10 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_fwmode.u_rx_fifo
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1616209412 |
1616202739 |
0 |
0 |
| T1 |
909 |
908 |
0 |
0 |
| T2 |
38509 |
38508 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T8 |
1284 |
1283 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410997401 |
410995849 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
3296 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T9 |
2410 |
2409 |
0 |
0 |
| T10 |
0 |
538022 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_fwmode.u_tx_fifo
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 62 | 62 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 214 | 1 | 1 | 100.00 |
| ROUTINE | 230 | 7 | 7 | 100.00 |
| ROUTINE | 251 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 269 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 271 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 272 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 214 |
1 |
1 |
| 230 |
1 |
1 |
| 232 |
1 |
1 |
| 235 |
1 |
1 |
| 236 |
1 |
1 |
| 239 |
1 |
1 |
| 240 |
1 |
1 |
| 243 |
1 |
1 |
| 251 |
1 |
1 |
| 252 |
1 |
1 |
| 253 |
1 |
1 |
| 255 |
1 |
1 |
| 256 |
1 |
1 |
| 257 |
1 |
1 |
| 259 |
1 |
1 |
| 260 |
1 |
1 |
| 262 |
1 |
1 |
| 267 |
1 |
1 |
| 269 |
1 |
1 |
| 271 |
1 |
1 |
| 272 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_fwmode.u_tx_fifo
| Total | Covered | Percent |
|---|
| Conditions | 30 | 29 | 96.67 |
| Logical | 30 | 29 | 96.67 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T1,T2,T8 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T33,T40,T59 |
| 1 | 0 | Covered | T2,T9,T10 |
| 1 | 1 | Covered | T2,T9,T10 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T8,T34 |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T10,T13,T33 |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (4'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((4'(g_depth_calc.wptr_value) - 4'(g_depth_calc.rptr_sync_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_sync_value)) + 4'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T8,T34 |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((4'(g_depth_calc.wptr_value) - 4'(g_depth_calc.rptr_sync_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_sync_value)) + 4'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T8 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (4'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((4'(g_depth_calc.wptr_sync_value) - 4'(g_depth_calc.rptr_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_value)) + 4'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T10,T13,T33 |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((4'(g_depth_calc.wptr_sync_value) - 4'(g_depth_calc.rptr_value))) : (((4'(Depth) - 4'(g_depth_calc.rptr_value)) + 4'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T2,T9,T10 |
| 1 | Covered | T4,T5,T1 |
LINE 232
EXPRESSION (decval[(PTR_WIDTH - 1)] ? decval_sub : decval)
-----------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T1,T2,T8 |
LINE 253
EXPRESSION (dec_tmp[(i + 1)] ^ grayval[i])
--------1------- -----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T4,T5,T1 |
| 0 | 1 | Covered | T2,T9,T10 |
| 1 | 0 | Covered | T2,T9,T10 |
| 1 | 1 | Covered | T2,T9,T10 |
Branch Coverage for Instance : tb.dut.u_fwmode.u_tx_fifo
| Line No. | Total | Covered | Percent |
| Branches |
|
26 |
26 |
100.00 |
| TERNARY |
146 |
3 |
3 |
100.00 |
| TERNARY |
160 |
3 |
3 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
| TERNARY |
232 |
2 |
2 |
100.00 |
| IF |
256 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T8,T34 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T2,T9,T10 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T10,T13,T33 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T2,T9,T10 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T1,T2,T8 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T1,T2,T8 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T2 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T2,T9,T10 |
| 0 |
0 |
Covered |
T4,T5,T2 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T8 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 232 (decval[(PTR_WIDTH - 1)]) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T8 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 256 if (grayval[(PTR_WIDTH - 1)])
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T2,T9,T10 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_fwmode.u_tx_fifo
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410998614 |
410995526 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
3295 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
361 |
359 |
0 |
0 |
| T5 |
35201 |
35199 |
0 |
0 |
| T6 |
0 |
694997 |
0 |
0 |
| T8 |
1 |
0 |
0 |
0 |
| T9 |
0 |
2408 |
0 |
0 |
| T10 |
0 |
538022 |
0 |
0 |
| T11 |
92865 |
92863 |
0 |
0 |
| T12 |
0 |
48384 |
0 |
0 |
| T15 |
4104 |
4102 |
0 |
0 |
| T35 |
1 |
0 |
0 |
0 |
| T36 |
1 |
0 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1616209412 |
1616202620 |
0 |
0 |
| T1 |
909 |
908 |
0 |
0 |
| T2 |
38509 |
38508 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T8 |
1284 |
1283 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 46 | 46 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 276 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 277 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 279 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 280 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 207 |
1 |
1 |
| 276 |
1 |
1 |
| 277 |
1 |
1 |
| 279 |
1 |
1 |
| 280 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
| Total | Covered | Percent |
|---|
| Conditions | 25 | 20 | 80.00 |
| Logical | 25 | 20 | 80.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T3,T11,T6 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Unreachable | |
| 1 | 1 | Covered | T3,T11,T6 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Not Covered | |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Not Covered | |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Not Covered | |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T11,T6 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T11,T6 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Not Covered | |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T11,T6 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T11,T6 |
| 1 | Covered | T4,T5,T1 |
LINE 207
EXPRESSION (empty_rclk ? '0 : rdata_int)
-----1----
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T11,T6 |
| 1 | Covered | T4,T5,T1 |
Branch Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
| Line No. | Total | Covered | Percent |
| Branches |
|
24 |
22 |
91.67 |
| TERNARY |
146 |
3 |
2 |
66.67 |
| TERNARY |
160 |
3 |
2 |
66.67 |
| TERNARY |
207 |
2 |
2 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Not Covered |
|
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T11,T6 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Not Covered |
|
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T11,T6 |
LineNo. Expression
-1-: 207 (empty_rclk) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T3,T11,T6 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T11,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T11,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T11,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T11,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T11,T6 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_spid_status.u_sw_status_update_sync
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410997401 |
410995897 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
3296 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T9 |
2410 |
2409 |
0 |
0 |
| T10 |
0 |
538022 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2010348469 |
2010210930 |
0 |
0 |
| T1 |
1019 |
919 |
0 |
0 |
| T2 |
38590 |
38522 |
0 |
0 |
| T3 |
122489 |
122488 |
0 |
0 |
| T4 |
2005 |
1904 |
0 |
0 |
| T5 |
38636 |
38548 |
0 |
0 |
| T8 |
1383 |
1295 |
0 |
0 |
| T11 |
298159 |
298062 |
0 |
0 |
| T15 |
2769 |
2718 |
0 |
0 |
| T35 |
1138 |
1069 |
0 |
0 |
| T36 |
1666 |
1601 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 46 | 46 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 276 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 277 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 279 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 280 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 207 |
1 |
1 |
| 276 |
1 |
1 |
| 277 |
1 |
1 |
| 279 |
1 |
1 |
| 280 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
| Total | Covered | Percent |
|---|
| Conditions | 26 | 24 | 92.31 |
| Logical | 26 | 24 | 92.31 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T4,T3,T15 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T4,T3,T15 |
| 1 | 1 | Covered | T4,T3,T15 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (2'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((2'(g_depth_calc.wptr_value) - 2'(g_depth_calc.rptr_sync_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_sync_value)) + 2'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (2'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((2'(g_depth_calc.wptr_sync_value) - 2'(g_depth_calc.rptr_value))) : (((2'(Depth) - 2'(g_depth_calc.rptr_value)) + 2'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
LINE 207
EXPRESSION (empty_rclk ? '0 : rdata_int)
-----1----
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
Branch Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
| Line No. | Total | Covered | Percent |
| Branches |
|
24 |
24 |
100.00 |
| TERNARY |
146 |
3 |
3 |
100.00 |
| TERNARY |
160 |
3 |
3 |
100.00 |
| TERNARY |
207 |
2 |
2 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T3,T6,T7 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T3,T6,T7 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 207 (empty_rclk) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T3,T15 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_spi_tpm.u_cmdaddr_buffer
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2010348469 |
2010210930 |
0 |
0 |
| T1 |
1019 |
919 |
0 |
0 |
| T2 |
38590 |
38522 |
0 |
0 |
| T3 |
122489 |
122488 |
0 |
0 |
| T4 |
2005 |
1904 |
0 |
0 |
| T5 |
38636 |
38548 |
0 |
0 |
| T8 |
1383 |
1295 |
0 |
0 |
| T11 |
298159 |
298062 |
0 |
0 |
| T15 |
2769 |
2718 |
0 |
0 |
| T35 |
1138 |
1069 |
0 |
0 |
| T36 |
1666 |
1601 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410997401 |
410995897 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
3296 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T9 |
2410 |
2409 |
0 |
0 |
| T10 |
0 |
538022 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_spi_tpm.u_wrfifo
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 62 | 62 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| ROUTINE | 230 | 7 | 7 | 100.00 |
| ROUTINE | 251 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 269 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 271 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 272 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 207 |
1 |
1 |
| 230 |
1 |
1 |
| 232 |
1 |
1 |
| 235 |
1 |
1 |
| 236 |
1 |
1 |
| 239 |
1 |
1 |
| 240 |
1 |
1 |
| 243 |
1 |
1 |
| 251 |
1 |
1 |
| 252 |
1 |
1 |
| 253 |
1 |
1 |
| 255 |
1 |
1 |
| 256 |
1 |
1 |
| 257 |
1 |
1 |
| 259 |
1 |
1 |
| 260 |
1 |
1 |
| 262 |
1 |
1 |
| 267 |
1 |
1 |
| 269 |
1 |
1 |
| 271 |
1 |
1 |
| 272 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_spi_tpm.u_wrfifo
| Total | Covered | Percent |
|---|
| Conditions | 32 | 30 | 93.75 |
| Logical | 32 | 30 | 93.75 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T3,T15,T6 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T3,T15,T6 |
| 1 | 1 | Covered | T3,T15,T6 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T46,T107,T26 |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T46,T107,T26 |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (7'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((7'(g_depth_calc.wptr_value) - 7'(g_depth_calc.rptr_sync_value))) : (((7'(Depth) - 7'(g_depth_calc.rptr_sync_value)) + 7'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T46,T107,T26 |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((7'(g_depth_calc.wptr_value) - 7'(g_depth_calc.rptr_sync_value))) : (((7'(Depth) - 7'(g_depth_calc.rptr_sync_value)) + 7'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (7'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((7'(g_depth_calc.wptr_sync_value) - 7'(g_depth_calc.rptr_value))) : (((7'(Depth) - 7'(g_depth_calc.rptr_value)) + 7'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T46,T107,T26 |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((7'(g_depth_calc.wptr_sync_value) - 7'(g_depth_calc.rptr_value))) : (((7'(Depth) - 7'(g_depth_calc.rptr_value)) + 7'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 207
EXPRESSION (empty_rclk ? '0 : rdata_int)
-----1----
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T15,T6 |
| 1 | Covered | T4,T5,T1 |
LINE 232
EXPRESSION (decval[(PTR_WIDTH - 1)] ? decval_sub : decval)
-----------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 253
EXPRESSION (dec_tmp[(i + 1)] ^ grayval[i])
--------1------- -----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T4,T5,T1 |
| 0 | 1 | Covered | T3,T15,T6 |
| 1 | 0 | Covered | T3,T15,T6 |
| 1 | 1 | Covered | T3,T15,T6 |
Branch Coverage for Instance : tb.dut.u_spi_tpm.u_wrfifo
| Line No. | Total | Covered | Percent |
| Branches |
|
28 |
28 |
100.00 |
| TERNARY |
146 |
3 |
3 |
100.00 |
| TERNARY |
160 |
3 |
3 |
100.00 |
| TERNARY |
207 |
2 |
2 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
| TERNARY |
232 |
2 |
2 |
100.00 |
| IF |
256 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T46,T107,T26 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T6,T7 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T46,T107,T26 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T6,T7 |
LineNo. Expression
-1-: 207 (empty_rclk) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T3,T15,T6 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T15,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T15,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T15,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T3,T15,T6 |
| 0 |
0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T15,T6 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 232 (decval[(PTR_WIDTH - 1)]) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T6,T7 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 256 if (grayval[(PTR_WIDTH - 1)])
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T6,T7 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_spi_tpm.u_wrfifo
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2010348469 |
2010210930 |
0 |
0 |
| T1 |
1019 |
919 |
0 |
0 |
| T2 |
38590 |
38522 |
0 |
0 |
| T3 |
122489 |
122488 |
0 |
0 |
| T4 |
2005 |
1904 |
0 |
0 |
| T5 |
38636 |
38548 |
0 |
0 |
| T8 |
1383 |
1295 |
0 |
0 |
| T11 |
298159 |
298062 |
0 |
0 |
| T15 |
2769 |
2718 |
0 |
0 |
| T35 |
1138 |
1069 |
0 |
0 |
| T36 |
1666 |
1601 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410997401 |
410995897 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
3296 |
0 |
0 |
| T3 |
175606 |
175606 |
0 |
0 |
| T4 |
360 |
359 |
0 |
0 |
| T5 |
35200 |
35199 |
0 |
0 |
| T6 |
694998 |
694997 |
0 |
0 |
| T9 |
2410 |
2409 |
0 |
0 |
| T10 |
0 |
538022 |
0 |
0 |
| T11 |
92864 |
92863 |
0 |
0 |
| T12 |
48385 |
48384 |
0 |
0 |
| T15 |
4103 |
4102 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_spi_tpm.u_rdfifo
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 62 | 62 | 100.00 |
| CONT_ASSIGN | 53 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 56 | 1 | 1 | 100.00 |
| ALWAYS | 59 | 4 | 4 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 86 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| ALWAYS | 92 | 4 | 4 | 100.00 |
| ALWAYS | 101 | 4 | 4 | 100.00 |
| ALWAYS | 117 | 3 | 3 | 100.00 |
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 142 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 144 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 157 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 159 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 172 | 1 | 1 | 100.00 |
| ALWAYS | 182 | 2 | 2 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 207 | 1 | 1 | 100.00 |
| ROUTINE | 230 | 7 | 7 | 100.00 |
| ROUTINE | 251 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 269 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 271 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 272 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 53 |
1 |
1 |
| 56 |
1 |
1 |
| 59 |
1 |
1 |
| 60 |
1 |
1 |
| 61 |
1 |
1 |
| 62 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 86 |
1 |
1 |
| 89 |
1 |
1 |
| 92 |
1 |
1 |
| 93 |
1 |
1 |
| 94 |
1 |
1 |
| 95 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 101 |
1 |
1 |
| 102 |
1 |
1 |
| 103 |
1 |
1 |
| 104 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 117 |
1 |
1 |
| 118 |
1 |
1 |
| 120 |
1 |
1 |
| 130 |
1 |
1 |
| 131 |
1 |
1 |
| 132 |
1 |
1 |
| 142 |
1 |
1 |
| 143 |
1 |
1 |
| 144 |
1 |
1 |
| 145 |
1 |
1 |
| 146 |
1 |
1 |
| 156 |
1 |
1 |
| 157 |
1 |
1 |
| 158 |
1 |
1 |
| 159 |
1 |
1 |
| 160 |
1 |
1 |
| 171 |
1 |
1 |
| 172 |
1 |
1 |
| 182 |
1 |
1 |
| 183 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 187 |
1 |
1 |
| 207 |
1 |
1 |
| 230 |
1 |
1 |
| 232 |
1 |
1 |
| 235 |
1 |
1 |
| 236 |
1 |
1 |
| 239 |
1 |
1 |
| 240 |
1 |
1 |
| 243 |
1 |
1 |
| 251 |
1 |
1 |
| 252 |
1 |
1 |
| 253 |
1 |
1 |
| 255 |
1 |
1 |
| 256 |
1 |
1 |
| 257 |
1 |
1 |
| 259 |
1 |
1 |
| 260 |
1 |
1 |
| 262 |
1 |
1 |
| 267 |
1 |
1 |
| 269 |
1 |
1 |
| 271 |
1 |
1 |
| 272 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_spi_tpm.u_rdfifo
| Total | Covered | Percent |
|---|
| Conditions | 32 | 30 | 93.75 |
| Logical | 32 | 30 | 93.75 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 53
EXPRESSION (wvalid_i & wready_o)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T4,T5,T1 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T4,T3,T15 |
LINE 86
EXPRESSION (rvalid_o & rready_i)
----1--- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T4,T3,T15 |
| 1 | 1 | Covered | T4,T3,T15 |
LINE 130
EXPRESSION (fifo_wptr_q == (fifo_rptr_sync_q ^ xor_mask))
-----------------------1----------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 131
EXPRESSION (fifo_wptr_sync_combi == (fifo_rptr_q ^ xor_mask))
-------------------------1------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 132
EXPRESSION (fifo_wptr_sync_combi == fifo_rptr_q)
------------------1------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T4,T5,T1 |
LINE 146
EXPRESSION
Number Term
1 full_wclk ? (5'(Depth)) : ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((5'(g_depth_calc.wptr_value) - 5'(g_depth_calc.rptr_sync_value))) : (((5'(Depth) - 5'(g_depth_calc.rptr_sync_value)) + 5'(g_depth_calc.wptr_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 146
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb) ? ((5'(g_depth_calc.wptr_value) - 5'(g_depth_calc.rptr_sync_value))) : (((5'(Depth) - 5'(g_depth_calc.rptr_sync_value)) + 5'(g_depth_calc.wptr_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 146
SUB-EXPRESSION (g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 160
EXPRESSION
Number Term
1 full_rclk ? (5'(Depth)) : ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((5'(g_depth_calc.wptr_sync_value) - 5'(g_depth_calc.rptr_value))) : (((5'(Depth) - 5'(g_depth_calc.rptr_value)) + 5'(g_depth_calc.wptr_sync_value)))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 160
SUB-EXPRESSION
Number Term
1 (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb) ? ((5'(g_depth_calc.wptr_sync_value) - 5'(g_depth_calc.rptr_value))) : (((5'(Depth) - 5'(g_depth_calc.rptr_value)) + 5'(g_depth_calc.wptr_sync_value))))
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 160
SUB-EXPRESSION (g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)
--------------------------1--------------------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T3,T6,T7 |
| 1 | Covered | T4,T5,T1 |
LINE 207
EXPRESSION (empty_rclk ? '0 : rdata_int)
-----1----
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T3,T15 |
| 1 | Covered | T4,T5,T1 |
LINE 232
EXPRESSION (decval[(PTR_WIDTH - 1)] ? decval_sub : decval)
-----------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T4,T5,T1 |
| 1 | Covered | T3,T6,T7 |
LINE 253
EXPRESSION (dec_tmp[(i + 1)] ^ grayval[i])
--------1------- -----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T4,T5,T1 |
| 0 | 1 | Covered | T4,T3,T15 |
| 1 | 0 | Covered | T4,T3,T15 |
| 1 | 1 | Covered | T4,T3,T15 |
Branch Coverage for Instance : tb.dut.u_spi_tpm.u_rdfifo
| Line No. | Total | Covered | Percent |
| Branches |
|
28 |
28 |
100.00 |
| TERNARY |
146 |
3 |
3 |
100.00 |
| TERNARY |
160 |
3 |
3 |
100.00 |
| TERNARY |
207 |
2 |
2 |
100.00 |
| IF |
59 |
3 |
3 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| IF |
92 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| IF |
117 |
2 |
2 |
100.00 |
| IF |
182 |
2 |
2 |
100.00 |
| TERNARY |
232 |
2 |
2 |
100.00 |
| IF |
256 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_async.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 146 (full_wclk) ?
-2-: 146 ((g_depth_calc.wptr_msb == g_depth_calc.rptr_sync_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T3,T6,T7 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T6,T7 |
LineNo. Expression
-1-: 160 (full_rclk) ?
-2-: 160 ((g_depth_calc.wptr_sync_msb == g_depth_calc.rptr_msb)) ?
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T3,T6,T7 |
| 0 |
1 |
Covered |
T4,T5,T1 |
| 0 |
0 |
Covered |
T3,T6,T7 |
LineNo. Expression
-1-: 207 (empty_rclk) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 59 if ((!rst_wr_ni))
-2-: 61 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T3,T35 |
LineNo. Expression
-1-: 68 if ((!rst_wr_ni))
-2-: 70 if (fifo_incr_wptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T3,T35 |
LineNo. Expression
-1-: 92 if ((!rst_rd_ni))
-2-: 94 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 101 if ((!rst_rd_ni))
-2-: 103 if (fifo_incr_rptr)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T4,T5,T1 |
| 0 |
1 |
Covered |
T4,T3,T15 |
| 0 |
0 |
Covered |
T4,T3,T15 |
LineNo. Expression
-1-: 117 if ((!rst_wr_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T5,T1 |
| 0 |
Covered |
T4,T3,T35 |
LineNo. Expression
-1-: 182 if (fifo_incr_wptr)
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T4,T3,T15 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 232 (decval[(PTR_WIDTH - 1)]) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T6,T7 |
| 0 |
Covered |
T4,T5,T1 |
LineNo. Expression
-1-: 256 if (grayval[(PTR_WIDTH - 1)])
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T3,T6,T7 |
| 0 |
Covered |
T4,T5,T1 |
Assert Coverage for Instance : tb.dut.u_spi_tpm.u_rdfifo
Assertion Details
GrayRptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
410998614 |
38219058 |
0 |
0 |
| T1 |
1 |
0 |
0 |
0 |
| T2 |
3297 |
0 |
0 |
0 |
| T3 |
175606 |
152482 |
0 |
0 |
| T4 |
361 |
358 |
0 |
0 |
| T5 |
35201 |
0 |
0 |
0 |
| T6 |
0 |
24815 |
0 |
0 |
| T7 |
0 |
78725 |
0 |
0 |
| T8 |
1 |
0 |
0 |
0 |
| T11 |
92865 |
0 |
0 |
0 |
| T15 |
4104 |
3710 |
0 |
0 |
| T35 |
1 |
0 |
0 |
0 |
| T36 |
1 |
0 |
0 |
0 |
| T38 |
0 |
83417 |
0 |
0 |
| T49 |
0 |
692 |
0 |
0 |
| T99 |
0 |
497 |
0 |
0 |
| T100 |
0 |
1641 |
0 |
0 |
| T101 |
0 |
142 |
0 |
0 |
GrayWptr_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2010348469 |
79623821 |
0 |
0 |
| T1 |
1019 |
0 |
0 |
0 |
| T2 |
38590 |
0 |
0 |
0 |
| T3 |
122489 |
107209 |
0 |
0 |
| T4 |
2005 |
1078 |
0 |
0 |
| T5 |
38636 |
0 |
0 |
0 |
| T6 |
0 |
124555 |
0 |
0 |
| T7 |
0 |
157934 |
0 |
0 |
| T8 |
1383 |
0 |
0 |
0 |
| T10 |
0 |
2409 |
0 |
0 |
| T11 |
298159 |
0 |
0 |
0 |
| T15 |
2769 |
912 |
0 |
0 |
| T35 |
1138 |
143 |
0 |
0 |
| T36 |
1666 |
293 |
0 |
0 |
| T38 |
0 |
334939 |
0 |
0 |
| T49 |
0 |
4878 |
0 |
0 |
ParamCheckDepth_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
1613 |
1613 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T8 |
1 |
1 |
0 |
0 |
| T11 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T35 |
1 |
1 |
0 |
0 |
| T36 |
1 |
1 |
0 |
0 |