Unified Coverage Report :: Module :: tlul_sram_byte

Module : tlul_sram_byte

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_tlul_adapter_sram.u_sram_byte	0.00	0.00	0.00		0.00	0.00

---

Module Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
0.00	0.00	0.00			0.00		u_tlul_adapter_sram

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_integ_handling.u_sync_fifo	0.00	0.00	0.00			0.00
gen_integ_handling.u_sync_fifo_a_size	0.00	0.00	0.00			0.00
gen_integ_handling.u_tlul_data_integ_enc	0.00	0.00

Line Coverage for Module : tlul_sram_byte

	Line No.	Total	Covered	Percent
TOTAL		64	0	0.00
ALWAYS	56	3	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
CONT_ASSIGN	76	1	0	0.00
CONT_ASSIGN	77	1	0	0.00
CONT_ASSIGN	79	1	0	0.00
CONT_ASSIGN	80	1	0	0.00
ALWAYS	84	20	0	0.00
CONT_ASSIGN	145	1	0	0.00
ALWAYS	178	2	0	0.00
ALWAYS	189	0	0
ALWAYS	189	2	0	0.00
ALWAYS	208	2	0	0.00
ALWAYS	215	20	0	0.00
CONT_ASSIGN	262	1	0	0.00
CONT_ASSIGN	266	1	0	0.00
ALWAYS	291	4	0	0.00
CONT_ASSIGN	309	1	0	0.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
56	0	1
57	0	1
59	0	1
73	0	1
74	0	1
75	0	1
76	0	1
77	0	1
79	0	1
80	0	1
84	0	1
85	0	1
86	0	1
87	0	1
88	0	1
90	0	1
92	0	1
93	0	1
94	0	1
95	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
104	0	1
105	0	1
106	0	1
107	0	1
108	0	1
109	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
115	0	1
116	0	1
118	0	1
119	0	1
			==> MISSING_ELSE
145	0	1
178	0	1
179	0	1
			==> MISSING_ELSE
189	0	1
190	0	1
208	0	1
209	0	1
215	0	1
217	0	1
226	0	1
227	0	1
228	0	1
231	0	1
232	0	1
235	0	1
236	0	1
237	0	1
238	0	1
239	0	1
240	0	1
242	0	1
244	0	1
246	0	1
249	0	1
250	0	1
252	0	1
253	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
262	0	1
266	0	1
291	0	1
294	0	1
298	0	1
303	0	1
309	0	1

---

Cond Coverage for Module : tlul_sram_byte

	Total	Covered	Percent
Conditions	54	0	0.00
Logical	54	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       73
 EXPRESSION (tl_i.a_valid & tl_o.a_ready)
             ------1-----   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       74
 EXPRESSION (tl_o.d_valid & tl_i.d_ready)
             ------1-----   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       75
 EXPRESSION (tl_sram_o.a_valid & tl_sram_i.a_ready)
             --------1--------   --------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       76
 EXPRESSION (tl_sram_i.d_valid & tl_sram_o.d_ready)
             --------1--------   --------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       77
 EXPRESSION ((tl_i.a_opcode == PutFullData) | (tl_i.a_opcode == PutPartialData))
             ---------------1--------------   ----------------2----------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       77
 SUB-EXPRESSION (tl_i.a_opcode == PutFullData)
                ---------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       77
 SUB-EXPRESSION (tl_i.a_opcode == PutPartialData)
                ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       79
 EXPRESSION (gen_integ_handling.byte_wr_txn & gen_integ_handling.a_ack & ((~error_i)))
             ---------------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       80
 EXPRESSION (tl_i.a_valid & ((~&tl_i.a_mask)) & gen_integ_handling.wr_txn)
             ------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       106
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       178
 EXPRESSION (gen_integ_handling.sram_d_ack && gen_integ_handling.rd_wait)
             --------------1--------------    -------------2------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       190
 EXPRESSION (gen_integ_handling.held_data.a_mask[i] ? gen_integ_handling.held_data.a_data[(i * 8)+:8] : gen_integ_handling.rsp_data[(i * 8)+:8])
             -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       217
 EXPRESSION (tl_i.d_ready | gen_integ_handling.rd_wait)
             ------1-----   -------------2------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       246
 EXPRESSION (((!error_i)) || gen_integ_handling.stall_host)
             ------1-----    --------------2--------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       252
 EXPRESSION (tl_i.a_valid & ((~gen_integ_handling.stall_host)))
             ------1-----   -----------------2----------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       266
 EXPRESSION (error_i & ((~gen_integ_handling.stall_host)))
             ---1---   -----------------2----------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       294
 EXPRESSION (tl_sram_i.a_ready & ((~gen_integ_handling.stall_host)) & gen_integ_handling.fifo_rdy & gen_integ_handling.size_fifo_rdy)
             --------1--------   -----------------2----------------   -------------3-------------   ----------------4---------------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Not Covered
1	0	1	1	Not Covered
1	1	0	1	Not Covered
1	1	1	0	Not Covered
1	1	1	1	Not Covered

 LINE       298
 EXPRESSION (tl_sram_i.d_valid & ((~gen_integ_handling.rd_wait)))
             --------1--------   ---------------2---------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

---

FSM Coverage for Module : tlul_sram_byte

Summary for FSM :: gen_integ_handling.state_q

	Total	Covered	Percent
States	3	0	0.00	(Not included in score)
Transitions	3	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: gen_integ_handling.state_q

---

states	Line No.	Covered	Tests
StPassThru	119	Not Covered
StWaitRd	95	Not Covered
StWriteCmd	109	Not Covered

transitions	Line No.	Covered	Tests
StPassThru->StWaitRd	95	Not Covered
StWaitRd->StWriteCmd	109	Not Covered
StWriteCmd->StPassThru	119	Not Covered

---

Branch Coverage for Module : tlul_sram_byte

	Line No.	Total	Covered	Percent
Branches		19	0	0.00
IF	56	2	0	0.00
CASE	90	9	0	0.00
IF	178	2	0	0.00
TERNARY	190	2	0	0.00
IF	226	4	0	0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	56	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	90	case (gen_integ_handling.state_q)
-2-:	92	if (gen_integ_handling.byte_wr_txn)
-3-:	94	if (gen_integ_handling.byte_req_ack)
-4-:	106	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-5-:	108	if (gen_integ_handling.sram_d_ack)
-6-:	118	if (gen_integ_handling.sram_a_ack)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
StPassThru	1	1	-	-	-	Not Covered
StPassThru	1	0	-	-	-	Not Covered
StPassThru	0	-	-	-	-	Not Covered
StWaitRd	-	-	1	1	-	Not Covered
StWaitRd	-	-	1	0	-	Not Covered
StWaitRd	-	-	0	-	-	Not Covered
StWriteCmd	-	-	-	-	1	Not Covered
StWriteCmd	-	-	-	-	0	Not Covered
default	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	178	if ((gen_integ_handling.sram_d_ack && gen_integ_handling.rd_wait))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	190	(gen_integ_handling.held_data.a_mask[i]) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	226	if (gen_integ_handling.wr_phase)
-2-:	242	if (gen_integ_handling.rd_phase)
-3-:	246	if (((!error_i) || gen_integ_handling.stall_host))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	1	Not Covered
0	1	0	Not Covered
0	0	-	Not Covered

Line Coverage for Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

	Line No.	Total	Covered	Percent
TOTAL		64	0	0.00
ALWAYS	56	3	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
CONT_ASSIGN	76	1	0	0.00
CONT_ASSIGN	77	1	0	0.00
CONT_ASSIGN	79	1	0	0.00
CONT_ASSIGN	80	1	0	0.00
ALWAYS	84	20	0	0.00
CONT_ASSIGN	145	1	0	0.00
ALWAYS	178	2	0	0.00
ALWAYS	189	0	0
ALWAYS	189	2	0	0.00
ALWAYS	208	2	0	0.00
ALWAYS	215	20	0	0.00
CONT_ASSIGN	262	1	0	0.00
CONT_ASSIGN	266	1	0	0.00
ALWAYS	291	4	0	0.00
CONT_ASSIGN	309	1	0	0.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
56	0	1
57	0	1
59	0	1
73	0	1
74	0	1
75	0	1
76	0	1
77	0	1
79	0	1
80	0	1
84	0	1
85	0	1
86	0	1
87	0	1
88	0	1
90	0	1
92	0	1
93	0	1
94	0	1
95	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
104	0	1
105	0	1
106	0	1
107	0	1
108	0	1
109	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
115	0	1
116	0	1
118	0	1
119	0	1
			==> MISSING_ELSE
			Exclude Annotation: VC_COV_UNR
145	0	1
178	0	1
179	0	1
			==> MISSING_ELSE
189	0	1
190	0	1
208	0	1
209	0	1
215	0	1
217	0	1
226	0	1
227	0	1
228	0	1
231	0	1
232	0	1
235	0	1
236	0	1
237	0	1
238	0	1
239	0	1
240	0	1
242	0	1
244	0	1
246	0	1
249	0	1
250	0	1
252	0	1
253	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
262	0	1
266	0	1
291	0	1
294	0	1
298	0	1
303	0	1
309	0	1

---

Cond Coverage for Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

	Total	Covered	Percent
Conditions	49	0	0.00
Logical	49	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       73
 EXPRESSION (tl_i.a_valid & tl_o.a_ready)
             ------1-----   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       74
 EXPRESSION (tl_o.d_valid & tl_i.d_ready)
             ------1-----   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       75
 EXPRESSION (tl_sram_o.a_valid & tl_sram_i.a_ready)
             --------1--------   --------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       76
 EXPRESSION (tl_sram_i.d_valid & tl_sram_o.d_ready)
             --------1--------   --------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       77
 EXPRESSION ((tl_i.a_opcode == PutFullData) | (tl_i.a_opcode == PutPartialData))
             ---------------1--------------   ----------------2----------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       77
 SUB-EXPRESSION (tl_i.a_opcode == PutFullData)
                ---------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       77
 SUB-EXPRESSION (tl_i.a_opcode == PutPartialData)
                ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       79
 EXPRESSION (gen_integ_handling.byte_wr_txn & gen_integ_handling.a_ack & ((~error_i)))
             ---------------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       80
 EXPRESSION (tl_i.a_valid & ((~&tl_i.a_mask)) & gen_integ_handling.wr_txn)
             ------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       106
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       178
 EXPRESSION (gen_integ_handling.sram_d_ack && gen_integ_handling.rd_wait)
             --------------1--------------    -------------2------------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Excluded		[UNR] this should not happen because the read latency of prim_ram_1p_scr is always 1 cycle
1	0	Not Covered
1	1	Not Covered

 LINE       190
 EXPRESSION (gen_integ_handling.held_data.a_mask[i] ? gen_integ_handling.held_data.a_data[(i * 8)+:8] : gen_integ_handling.rsp_data[(i * 8)+:8])
             -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       217
 EXPRESSION (tl_i.d_ready | gen_integ_handling.rd_wait)
             ------1-----   -------------2------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       246
 EXPRESSION (((!error_i)) || gen_integ_handling.stall_host)
             ------1-----    --------------2--------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       252
 EXPRESSION (tl_i.a_valid & ((~gen_integ_handling.stall_host)))
             ------1-----   -----------------2----------------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Excluded		VC_COV_UNR
1	0	Not Covered
1	1	Not Covered

 LINE       266
 EXPRESSION (error_i & ((~gen_integ_handling.stall_host)))
             ---1---   -----------------2----------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       294
 EXPRESSION (tl_sram_i.a_ready & ((~gen_integ_handling.stall_host)) & gen_integ_handling.fifo_rdy & gen_integ_handling.size_fifo_rdy)
             --------1--------   -----------------2----------------   -------------3-------------   ----------------4---------------

-1-	-2-	-3-	-4-	Status	Tests	Exclude Annotation
0	1	1	1	Not Covered
1	0	1	1	Excluded		VC_COV_UNR
1	1	0	1	Excluded		VC_COV_UNR
1	1	1	0	Excluded		VC_COV_UNR
1	1	1	1	Not Covered

 LINE       298
 EXPRESSION (tl_sram_i.d_valid & ((~gen_integ_handling.rd_wait)))
             --------1--------   ---------------2---------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

---

FSM Coverage for Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

Summary for FSM :: gen_integ_handling.state_q

	Total	Covered	Percent
States	3	0	0.00	(Not included in score)
Transitions	3	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: gen_integ_handling.state_q

---

states	Line No.	Covered	Tests
StPassThru	119	Not Covered
StWaitRd	95	Not Covered
StWriteCmd	109	Not Covered

transitions	Line No.	Covered	Tests
StPassThru->StWaitRd	95	Not Covered
StWaitRd->StWriteCmd	109	Not Covered
StWriteCmd->StPassThru	119	Not Covered

---

Branch Coverage for Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

	Line No.	Total	Covered	Percent
Branches		16	0	0.00
IF	56	2	0	0.00
CASE	90	6	0	0.00
IF	178	2	0	0.00
TERNARY	190	2	0	0.00
IF	226	4	0	0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv' or '../src/lowrisc_tlul_adapter_sram_0.1/rtl/tlul_sram_byte.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	56	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	90	case (gen_integ_handling.state_q)
-2-:	92	if (gen_integ_handling.byte_wr_txn)
-3-:	94	if (gen_integ_handling.byte_req_ack)
-4-:	106	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-5-:	108	if (gen_integ_handling.sram_d_ack)
-6-:	118	if (gen_integ_handling.sram_a_ack)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests	Exclude Annotation
StPassThru	1	1	-	-	-	Not Covered
StPassThru	1	0	-	-	-	Not Covered
StPassThru	0	-	-	-	-	Not Covered
StWaitRd	-	-	1	1	-	Not Covered
StWaitRd	-	-	1	0	-	Excluded		[UNR] this should not happen because the read latency of prim_ram_1p_scr is always 1 cycle
StWaitRd	-	-	0	-	-	Not Covered
StWriteCmd	-	-	-	-	1	Not Covered
StWriteCmd	-	-	-	-	0	Excluded		[UNR] this should not happen because prim_ram_1p_scr can always accept a read or write operation
default	-	-	-	-	-	Excluded		VC_COV_UNR

	LineNo.	Expression
-1-:	178	if ((gen_integ_handling.sram_d_ack && gen_integ_handling.rd_wait))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	190	(gen_integ_handling.held_data.a_mask[i]) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	226	if (gen_integ_handling.wr_phase)
-2-:	242	if (gen_integ_handling.rd_phase)
-3-:	246	if (((!error_i) || gen_integ_handling.stall_host))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	1	Not Covered
0	1	0	Not Covered
0	0	-	Not Covered