Line Coverage for Instance : tb.dut.u_tlul2sram_egress.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 15 | 13 | 86.67 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 0 | 0.00 | 
| ALWAYS | 111 | 2 | 1 | 50.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 108 | 
0 | 
1 | 
| 111 | 
1 | 
1 | 
| 112 | 
0 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 116 | 
1 | 
1 | 
| 130 | 
1 | 
1 | 
| 131 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_tlul2sram_egress.u_rspfifo
 | Total | Covered | Percent | 
| Conditions | 24 | 8 | 33.33 | 
| Logical | 24 | 8 | 33.33 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Not Covered |  | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       130
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Not Covered |  | 
 LINE       130
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Not Covered |  | 
 LINE       131
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (40'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests |                       
| 0 | Not Covered |  | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_tlul2sram_egress.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
9 | 
6 | 
66.67  | 
| TERNARY | 
130 | 
2 | 
1 | 
50.00  | 
| TERNARY | 
138 | 
2 | 
1 | 
50.00  | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
111 | 
2 | 
1 | 
50.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-:	130	((gen_normal_fifo.fifo_empty && wvalid_i)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Not Covered | 
 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Not Covered | 
 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_tlul2sram_egress.u_rspfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
0 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
0 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_reqfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 108 | 
1 | 
1 | 
| 111 | 
1 | 
1 | 
| 112 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 116 | 
1 | 
1 | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_reqfifo
 | Total | Covered | Percent | 
| Conditions | 16 | 11 | 68.75 | 
| Logical | 16 | 11 | 68.75 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T4,T7 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (17'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T4,T7 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_reqfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
123 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T4,T7 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	123	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T4,T7 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_reqfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
407493 | 
0 | 
0 | 
| T1 | 
168330 | 
4293 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
2338 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
665 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
6137 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
1232 | 
0 | 
0 | 
| T48 | 
0 | 
629 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
407493 | 
0 | 
0 | 
| T1 | 
168330 | 
4293 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
2338 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
665 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
6137 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
1232 | 
0 | 
0 | 
| T48 | 
0 | 
629 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_sramreqfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 108 | 
1 | 
1 | 
| 111 | 
1 | 
1 | 
| 112 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 116 | 
1 | 
1 | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_sramreqfifo
 | Total | Covered | Percent | 
| Conditions | 16 | 10 | 62.50 | 
| Logical | 16 | 10 | 62.50 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T4,T7 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (5'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T4,T7 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_sramreqfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
123 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T4,T7 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	123	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T4,T7 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_sramreqfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
171438 | 
0 | 
0 | 
| T1 | 
168330 | 
953 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
516 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
154 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
1300 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
280 | 
0 | 
0 | 
| T48 | 
0 | 
129 | 
0 | 
0 | 
| T49 | 
0 | 
1 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
171438 | 
0 | 
0 | 
| T1 | 
168330 | 
953 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
516 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
154 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
1300 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
280 | 
0 | 
0 | 
| T48 | 
0 | 
129 | 
0 | 
0 | 
| T49 | 
0 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 15 | 15 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 108 | 1 | 1 | 100.00 | 
| ALWAYS | 111 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 116 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 130 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 131 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 108 | 
1 | 
1 | 
| 111 | 
1 | 
1 | 
| 112 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 116 | 
1 | 
1 | 
| 130 | 
1 | 
1 | 
| 131 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_rspfifo
 | Total | Covered | Percent | 
| Conditions | 24 | 18 | 75.00 | 
| Logical | 24 | 18 | 75.00 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T4,T7 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       130
 EXPRESSION ((gen_normal_fifo.fifo_empty && wvalid_i) ? wdata_i : gen_normal_fifo.storage_rdata)
             --------------------1-------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T4,T7 | 
 LINE       130
 SUB-EXPRESSION (gen_normal_fifo.fifo_empty && wvalid_i)
                 -------------1------------    ----2---
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T4,T7 | 
 LINE       131
 EXPRESSION (gen_normal_fifo.fifo_empty & ((~wvalid_i)))
             -------------1------------   ------2------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T4,T7 | 
| 1 | 0 | Covered | T1,T4,T7 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (40'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T4,T7 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_rspfifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
9 | 
9 | 
100.00 | 
| TERNARY | 
130 | 
2 | 
2 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
111 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	130	((gen_normal_fifo.fifo_empty && wvalid_i)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T4,T7 | 
| 0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T4,T7 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	111	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T4,T7 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_tlul2sram_ingress.u_rspfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
407493 | 
0 | 
0 | 
| T1 | 
168330 | 
4293 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
2338 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
665 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
6137 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
1232 | 
0 | 
0 | 
| T48 | 
0 | 
629 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
407493 | 
0 | 
0 | 
| T1 | 
168330 | 
4293 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
2338 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
665 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
6137 | 
0 | 
0 | 
| T32 | 
0 | 
799 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1359 | 
0 | 
0 | 
| T38 | 
0 | 
1232 | 
0 | 
0 | 
| T48 | 
0 | 
629 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_sys_sram_arbiter.u_req_fifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 14 | 14 | 100.00 | 
| ALWAYS | 69 | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 82 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 100 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 101 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 120 | 1 | 1 | 100.00 | 
| ALWAYS | 123 | 2 | 2 | 100.00 | 
| CONT_ASSIGN | 133 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements |  | 
| 69 | 
1 | 
1 | 
| 70 | 
1 | 
1 | 
| 71 | 
1 | 
1 | 
| 72 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 81 | 
1 | 
1 | 
| 82 | 
1 | 
1 | 
| 100 | 
1 | 
1 | 
| 101 | 
1 | 
1 | 
| 120 | 
1 | 
1 | 
| 123 | 
1 | 
1 | 
| 124 | 
1 | 
1 | 
 | 
 | 
 | 
     MISSING_ELSE | 
| 133 | 
1 | 
1 | 
| 134 | 
1 | 
1 | 
| 138 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_sys_sram_arbiter.u_req_fifo
 | Total | Covered | Percent | 
| Conditions | 16 | 9 | 56.25 | 
| Logical | 16 | 9 | 56.25 | 
| Non-Logical | 0 | 0 |  | 
| Event | 0 | 0 |  | 
 LINE       81
 EXPRESSION (((~full_o)) & ((~gen_normal_fifo.under_rst)))
             -----1-----   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Not Covered |  | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T1,T2,T3 | 
 LINE       82
 EXPRESSION (((~gen_normal_fifo.empty)) & ((~gen_normal_fifo.under_rst)))
             -------------1------------   ---------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Not Covered |  | 
| 1 | 1 | Covered | T1,T4,T7 | 
 LINE       100
 EXPRESSION (wvalid_i & wready_o & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       101
 EXPRESSION (rvalid_o & rready_i & ((~gen_normal_fifo.under_rst)))
             ----1---   ----2---   ---------------3--------------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Not Covered |  | 
| 1 | 0 | 1 | Not Covered |  | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T1,T4,T7 | 
 LINE       138
 EXPRESSION (gen_normal_fifo.empty ? (5'(0)) : gen_normal_fifo.rdata_int)
             ----------1----------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T4,T7 | 
| 1 | Covered | T1,T2,T3 | 
Branch Coverage for Instance : tb.dut.u_sys_sram_arbiter.u_req_fifo
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
7 | 
7 | 
100.00 | 
| TERNARY | 
138 | 
2 | 
2 | 
100.00 | 
| IF | 
69 | 
3 | 
3 | 
100.00 | 
| IF | 
123 | 
2 | 
2 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv' or '../src/lowrisc_prim_fifo_0/rtl/prim_fifo_sync.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	138	(gen_normal_fifo.empty) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T4,T7 | 
	LineNo.	Expression
-1-:	69	if ((!rst_ni))
-2-:	71	if (gen_normal_fifo.under_rst)
Branches:
| -1- | -2- | Status | Tests | 
| 1 | 
- | 
Covered | 
T1,T2,T3 | 
| 0 | 
1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	123	if (gen_normal_fifo.fifo_incr_wptr)
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T4,T7 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_sys_sram_arbiter.u_req_fifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
175252 | 
0 | 
0 | 
| T1 | 
168330 | 
962 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
539 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
168 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
1323 | 
0 | 
0 | 
| T32 | 
0 | 
824 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1380 | 
0 | 
0 | 
| T38 | 
0 | 
289 | 
0 | 
0 | 
| T48 | 
0 | 
138 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
429660153 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_normal_fifo.depthShallNotExceedParamDepth
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
429748488 | 
175252 | 
0 | 
0 | 
| T1 | 
168330 | 
962 | 
0 | 
0 | 
| T2 | 
12686 | 
0 | 
0 | 
0 | 
| T3 | 
3142 | 
0 | 
0 | 
0 | 
| T4 | 
373887 | 
539 | 
0 | 
0 | 
| T5 | 
50170 | 
0 | 
0 | 
0 | 
| T6 | 
3352 | 
0 | 
0 | 
0 | 
| T7 | 
674988 | 
168 | 
0 | 
0 | 
| T8 | 
14830 | 
0 | 
0 | 
0 | 
| T9 | 
67273 | 
0 | 
0 | 
0 | 
| T10 | 
381957 | 
0 | 
0 | 
0 | 
| T13 | 
0 | 
1323 | 
0 | 
0 | 
| T32 | 
0 | 
824 | 
0 | 
0 | 
| T35 | 
0 | 
30 | 
0 | 
0 | 
| T37 | 
0 | 
1380 | 
0 | 
0 | 
| T38 | 
0 | 
289 | 
0 | 
0 | 
| T48 | 
0 | 
138 | 
0 | 
0 | 
| T49 | 
0 | 
3 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_reg.u_socket.fifo_h.reqfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 44 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 45 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 49 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 53 | 0 | 0 |  | 
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 |  | 
| 44 | 
1 | 
1 | 
| 45 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 49 | 
1 | 
1 | 
| 53 | 
 | 
unreachable | 
Assert Coverage for Instance : tb.dut.u_reg.u_socket.fifo_h.reqfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
8917847 | 
0 | 
0 | 
| T1 | 
168330 | 
38794 | 
0 | 
0 | 
| T2 | 
12686 | 
944 | 
0 | 
0 | 
| T3 | 
3142 | 
1715 | 
0 | 
0 | 
| T4 | 
373887 | 
18662 | 
0 | 
0 | 
| T5 | 
50170 | 
3510 | 
0 | 
0 | 
| T6 | 
3352 | 
14 | 
0 | 
0 | 
| T7 | 
674988 | 
28965 | 
0 | 
0 | 
| T8 | 
14830 | 
1116 | 
0 | 
0 | 
| T9 | 
67273 | 
2132 | 
0 | 
0 | 
| T10 | 
381957 | 
12919 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_passthru_fifo.paramCheckPass
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1149 | 
1149 | 
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 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T10 | 
1 | 
1 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_reg.u_socket.fifo_h.rspfifo
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 4 | 4 | 100.00 | 
| CONT_ASSIGN | 44 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 45 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 48 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 49 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 53 | 0 | 0 |  | 
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 |  | 
| 44 | 
1 | 
1 | 
| 45 | 
1 | 
1 | 
| 48 | 
1 | 
1 | 
| 49 | 
1 | 
1 | 
| 53 | 
 | 
unreachable | 
Assert Coverage for Instance : tb.dut.u_reg.u_socket.fifo_h.rspfifo
Assertion Details
DataKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
15403144 | 
0 | 
0 | 
| T1 | 
168330 | 
135309 | 
0 | 
0 | 
| T2 | 
12686 | 
4000 | 
0 | 
0 | 
| T3 | 
3142 | 
1079 | 
0 | 
0 | 
| T4 | 
373887 | 
33046 | 
0 | 
0 | 
| T5 | 
50170 | 
8733 | 
0 | 
0 | 
| T6 | 
3352 | 
14 | 
0 | 
0 | 
| T7 | 
674988 | 
74279 | 
0 | 
0 | 
| T8 | 
14830 | 
1116 | 
0 | 
0 | 
| T9 | 
67273 | 
6918 | 
0 | 
0 | 
| T10 | 
381957 | 
50307 | 
0 | 
0 | 
DepthKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
RvalidKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
WreadyKnown_A
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
431957862 | 
431821479 | 
0 | 
0 | 
| T1 | 
168330 | 
168325 | 
0 | 
0 | 
| T2 | 
12686 | 
12635 | 
0 | 
0 | 
| T3 | 
3142 | 
3077 | 
0 | 
0 | 
| T4 | 
373887 | 
373808 | 
0 | 
0 | 
| T5 | 
50170 | 
50106 | 
0 | 
0 | 
| T6 | 
3352 | 
3267 | 
0 | 
0 | 
| T7 | 
674988 | 
674983 | 
0 | 
0 | 
| T8 | 
14830 | 
14772 | 
0 | 
0 | 
| T9 | 
67273 | 
67222 | 
0 | 
0 | 
| T10 | 
381957 | 
381893 | 
0 | 
0 | 
gen_passthru_fifo.paramCheckPass
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
1149 | 
1149 | 
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 | 
| T6 | 
1 | 
1 | 
0 | 
0 | 
| T7 | 
1 | 
1 | 
0 | 
0 | 
| T8 | 
1 | 
1 | 
0 | 
0 | 
| T9 | 
1 | 
1 | 
0 | 
0 | 
| T10 | 
1 | 
1 | 
0 | 
0 |