Unified Coverage Report :: Module :: tlul_sram_byte

Module : tlul_sram_byte

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.84	99.31	93.07		100.00	91.80	100.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	97.40	99.31	95.88		100.00	91.80	100.00

---

Module Instance : tb.dut.u_tlul_adapter_sram.u_sram_byte

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.40	99.31	95.88		100.00	91.80	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.23	98.83	94.94		100.00	92.38	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.06	98.65	92.73			96.88	100.00	u_tlul_adapter_sram

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_integ_handling.gen_readback_logic.u_rdback_check_flop	100.00	100.00				100.00
gen_integ_handling.gen_readback_logic.u_rdback_chk_ok_buf	100.00	100.00
gen_integ_handling.gen_readback_logic.u_rdback_data_exp	100.00	100.00				100.00
gen_integ_handling.gen_readback_logic.u_rdback_data_exp_intg	100.00	100.00				100.00
gen_integ_handling.gen_readback_logic.u_rdback_en_flop	100.00	100.00				100.00
gen_integ_handling.u_state_regs	100.00	100.00				100.00	100.00
gen_integ_handling.u_sync_fifo	90.73	95.00	86.67			81.25	100.00
gen_integ_handling.u_sync_fifo_a_size	100.00	100.00	100.00			100.00	100.00
gen_integ_handling.u_tlul_data_integ_enc	100.00	100.00

Line Coverage for Module : tlul_sram_byte

	Line No.	Total	Covered	Percent
TOTAL		145	144	99.31
ALWAYS	104	3	3	100.00
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	133	1	1	100.00
CONT_ASSIGN	134	1	1	100.00
CONT_ASSIGN	135	1	1	100.00
CONT_ASSIGN	136	1	1	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	139	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
ALWAYS	233	95	94	98.95
CONT_ASSIGN	500	1	1	100.00
CONT_ASSIGN	511	1	1	100.00
ALWAYS	536	2	2	100.00
ALWAYS	547	0	0
ALWAYS	547	2	2	100.00
ALWAYS	566	2	2	100.00
ALWAYS	573	22	22	100.00
CONT_ASSIGN	627	1	1	100.00
ALWAYS	652	4	4	100.00
CONT_ASSIGN	670	1	1	100.00
CONT_ASSIGN	693	1	1	100.00
CONT_ASSIGN	710	1	1	100.00
CONT_ASSIGN	711	1	1	100.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
104	3	3
132	1	1
133	1	1
134	1	1
135	1	1
136	1	1
138	1	1
139	1	1
150	1	1
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
238	1	1
239	1	1
240	1	1
241	1	1
242	1	1
243	1	1
244	1	1
245	1	1
246	1	1
247	1	1
249	1	1
251	1	1
256	1	1
257	1	1
260	1	1
261	0	1
			MISSING_ELSE
			MISSING_ELSE
265	1	1
266	1	1
267	1	1
268	1	1
			MISSING_ELSE
270	1	1
274	1	1
275	1	1
			MISSING_ELSE
278	1	1
281	1	1
			MISSING_ELSE
289	1	1
290	1	1
291	1	1
292	1	1
293	1	1
294	1	1
			==> MISSING_ELSE
			MISSING_ELSE
300	1	1
301	1	1
303	1	1
304	1	1
305	1	1
306	1	1
307	1	1
			==> MISSING_ELSE
314	1	1
316		unreachable
			MISSING_ELSE
320	1	1
324	1	1
325	1	1
328	1	1
329	1	1
330	1	1
331	1	1
334	1	1
337	1	1
			MISSING_ELSE
344	1	1
346		unreachable
			MISSING_ELSE
349	1	1
351	1	1
353	1	1
359	1	1
361		unreachable
			MISSING_ELSE
365	1	1
367	1	1
369	1	1
372	1	1
			MISSING_ELSE
379	1	1
381		unreachable
			MISSING_ELSE
386	1	1
389	1	1
392	1	1
394	1	1
397	1	1
403	1	1
			==> MISSING_ELSE
411	1	1
413		unreachable
			MISSING_ELSE
416	1	1
418	1	1
420	1	1
424	1	1
426		unreachable
			MISSING_ELSE
429	1	1
432	1	1
434	1	1
437	1	1
			MISSING_ELSE
442	1	1
444		unreachable
			MISSING_ELSE
449	1	1
453	1	1
454	1	1
456	1	1
457	1	1
459	1	1
460	1	1
461	1	1
464	1	1
			MISSING_ELSE
470	1	1
472		unreachable
			MISSING_ELSE
475	1	1
477	1	1
480	1	1
482	1	1
483	1	1
484	1	1
			MISSING_ELSE
500	1	1
511	1	1
536	1	1
537	1	1
			MISSING_ELSE
547	1	1
548	1	1
566	1	1
567	1	1
573	1	1
575	1	1
584	1	1
585	1	1
587	1	1
590	1	1
592	1	1
596	1	1
597	1	1
599	1	1
600	1	1
601	1	1
602	1	1
604	1	1
606	1	1
608	1	1
611	1	1
612	1	1
614	1	1
615	1	1
			MISSING_ELSE
617	1	1
620	1	1
			MISSING_ELSE
627	1	1
652	1	1
655	1	1
659	1	1
664	1	1
670	1	1
693	1	1
710	1	1
711	1	1

---

Cond Coverage for Module : tlul_sram_byte

	Total	Covered	Percent
Conditions	101	94	93.07
Logical	101	94	93.07
Non-Logical	0	0
Event	0	0

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T11,T5
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       138
 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	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T4
1	1	0	Covered	T2,T11,T12
1	1	1	Covered	T1,T2,T4

 LINE       139
 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	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T1,T2,T4
1	1	1	Covered	T1,T2,T4

 LINE       150
 EXPRESSION (gen_integ_handling.rdback_data_exp_q == tl_sram_i.d_data)
            -----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       260
 EXPRESSION (((!gen_integ_handling.rdback_chk_ok)) && ((!error_i)))
             ------------------1------------------    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T3,T8,T26
1	0	Not Covered
1	1	Not Covered

 LINE       275
 EXPRESSION (gen_integ_handling.wr_txn ? StWrReadBackInit : StRdReadBack)
             ------------1------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T3,T8,T26

 LINE       291
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T2,T11,T5
1	Covered	T1,T2,T4

 LINE       324
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T28,T44,T45
1	Covered	T3,T8,T26

 LINE       389
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Covered	T8,T26,T46

 LINE       453
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T28,T44,T45
1	Covered	T3,T8,T26

 LINE       511
 EXPRESSION (gen_integ_handling.hold_tx_data | gen_integ_handling.byte_req_ack)
             ---------------1---------------   ---------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T4
1	0	Covered	T3,T8,T26

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T4

 LINE       548
 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	Covered	T1,T2,T4
1	Covered	T1,T2,T3

 LINE       575
 EXPRESSION (tl_i.d_ready | gen_integ_handling.rd_wait | gen_integ_handling.rdback_wait)
             ------1-----   -------------2------------   ---------------3--------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T3,T47,T48
0	1	0	Covered	T2,T11,T5
1	0	0	Covered	T1,T2,T3

 LINE       584
 EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase | gen_integ_handling.rdback_phase_wrreadback)
             -------------1-------------   ---------------2---------------   ---------------------3--------------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T8,T26,T46
0	1	0	Covered	T3,T8,T26
1	0	0	Covered	T1,T2,T4

 LINE       587
 EXPRESSION (gen_integ_handling.wr_phase ? PutFullData : Get)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       590
 EXPRESSION 
 Number  Term
      1  (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? (2'(gen_integ_handling.AccessSize)) : gen_integ_handling.held_data.a_size)

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       590
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       592
 EXPRESSION ((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? ('{(*adjust*)default:'1}) : gen_integ_handling.held_data.a_mask)
             -------------------------------------1------------------------------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       592
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       597
 EXPRESSION 
 Number  Term
      1  (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? '0 : gen_integ_handling.held_data.a_address[(gen_integ_handling.AccessSize - 1):0])

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       597
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       601
 EXPRESSION (gen_integ_handling.wr_phase ? gen_integ_handling.combined_data : '0)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       602
 EXPRESSION (gen_integ_handling.wr_phase ? gen_integ_handling.combined_user : '0)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	0	Covered	T2,T11,T12
0	1	Covered	T1,T2,T4
1	0	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T4
1	1	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

 LINE       655
 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	Covered	T1,T2,T7
1	0	1	1	Covered	T8,T26,T46
1	1	0	1	Not Covered
1	1	1	0	Not Covered
1	1	1	1	Covered	T1,T2,T3

 LINE       659
 EXPRESSION (tl_sram_i.d_valid & ((~gen_integ_handling.rd_wait)) & ((~gen_integ_handling.rdback_wait)))
             --------1--------   ---------------2---------------   -----------------3-----------------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T4
1	1	0	Covered	T3,T8,T26
1	1	1	Covered	T1,T2,T3

 LINE       693
 EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase | gen_integ_handling.rdback_phase_wrreadback)
             -------------1-------------   ---------------2---------------   ---------------------3--------------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T8,T26,T46
0	1	0	Covered	T3,T8,T26
1	0	0	Covered	T1,T2,T4

---

FSM Coverage for Module : tlul_sram_byte

Summary for FSM :: gen_integ_handling.state_q

	Total	Covered	Percent
States	11	11	100.00	(Not included in score)
Transitions	17	17	100.00
Sequences	0	0

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

---

states	Line No.	Covered	Tests
StByteWrReadBack	397	Covered	T8,T26,T46
StByteWrReadBackDWait	403	Covered	T47,T48,T49
StByteWrReadBackInit	304	Covered	T8,T26,T46
StPassThru	304	Covered	T1,T2,T3
StRdReadBack	275	Covered	T3,T8,T26
StRdReadBackDWait	464	Covered	T3,T47,T48
StWaitRd	268	Covered	T1,T2,T4
StWrReadBack	334	Covered	T3,T8,T26
StWrReadBackDWait	337	Covered	T3,T47,T48
StWrReadBackInit	275	Covered	T3,T8,T26
StWriteCmd	294	Covered	T1,T2,T4

transitions	Line No.	Covered	Tests
StByteWrReadBack->StPassThru	420	Covered	T8,T26,T46
StByteWrReadBackDWait->StByteWrReadBack	437	Covered	T47,T48,T49
StByteWrReadBackInit->StByteWrReadBack	397	Covered	T8,T26,T46
StByteWrReadBackInit->StByteWrReadBackDWait	403	Covered	T47,T48,T49
StPassThru->StRdReadBack	275	Covered	T3,T8,T26
StPassThru->StWaitRd	268	Covered	T1,T2,T4
StPassThru->StWrReadBackInit	275	Covered	T3,T8,T26
StRdReadBack->StPassThru	457	Covered	T3,T8,T26
StRdReadBack->StRdReadBackDWait	464	Covered	T3,T47,T48
StRdReadBackDWait->StPassThru	480	Covered	T3,T47,T48
StWaitRd->StWriteCmd	294	Covered	T1,T2,T4
StWrReadBack->StPassThru	353	Covered	T3,T8,T26
StWrReadBackDWait->StWrReadBack	372	Covered	T3,T47,T48
StWrReadBackInit->StWrReadBack	334	Covered	T3,T8,T26
StWrReadBackInit->StWrReadBackDWait	337	Covered	T3,T47,T48
StWriteCmd->StByteWrReadBackInit	304	Covered	T8,T26,T46
StWriteCmd->StPassThru	304	Covered	T1,T2,T4

---

Branch Coverage for Module : tlul_sram_byte

	Line No.	Total	Covered	Percent
Branches		61	56	91.80
IF	104	2	2	100.00
CASE	249	39	34	87.18
IF	536	2	2	100.00
TERNARY	548	2	2	100.00
IF	584	16	16	100.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-:	104	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	249	case (gen_integ_handling.state_q)
-2-:	251	if ((prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_en_q) && prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_check_q)))
-3-:	260	if (((!gen_integ_handling.rdback_chk_ok) && (!error_i)))
-4-:	265	if (gen_integ_handling.byte_wr_txn)
-5-:	267	if (gen_integ_handling.byte_req_ack)
-6-:	270	if (((gen_integ_handling.a_ack && prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_en_q)) && (!error_i)))
-7-:	275	(gen_integ_handling.wr_txn) ? 
-8-:	278	if ((((!tl_sram_o.a_valid) && (!tl_o.d_valid)) && prim_mubi_pkg::mubi4_test_false_strict(gen_integ_handling.rdback_check_q)))
-9-:	291	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-10-:	293	if (gen_integ_handling.sram_d_ack)
-11-:	303	if (gen_integ_handling.sram_a_ack)
-12-:	314	if ((EnableReadback == 1'b0))
-13-:	324	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-14-:	331	if (gen_integ_handling.d_ack)
-15-:	344	if ((EnableReadback == 1'b0))
-16-:	359	if ((EnableReadback == 1'b0))
-17-:	369	if (gen_integ_handling.d_ack)
-18-:	379	if ((EnableReadback == 1'b0))
-19-:	389	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-20-:	394	if (gen_integ_handling.d_ack)
-21-:	411	if ((EnableReadback == 1'b0))
-22-:	424	if ((EnableReadback == 1'b0))
-23-:	434	if (gen_integ_handling.d_ack)
-24-:	442	if ((EnableReadback == 1'b0))
-25-:	453	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-26-:	456	if (gen_integ_handling.d_ack)
-27-:	470	if ((EnableReadback == 1'b0))
-28-:	477	if (gen_integ_handling.d_ack)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	-18-	-19-	-20-	-21-	-22-	-23-	-24-	-25-	-26-	-27-	-28-	Status	Tests
StPassThru	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StPassThru	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StPassThru	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T11,T12
StPassThru	-	-	0	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	-	-	0	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	-	-	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StWaitRd	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StWaitRd	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StWaitRd	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T11,T5
StWriteCmd	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StWriteCmd	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T44,T45
StWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	Unreachable
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Not Covered
StByteWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	Unreachable
StByteWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Unreachable
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T47,T48,T49
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Unreachable
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	Covered	T3,T8,T26
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T3,T8,T26
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T3,T47,T48
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T28,T44,T45
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Unreachable
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T3,T47,T48
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T3,T47,T48
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T3,T47,T48
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T4
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T4

	LineNo.	Expression
-1-:	584	if (((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase) | gen_integ_handling.rdback_phase_wrreadback))
-2-:	587	(gen_integ_handling.wr_phase) ? 
-3-:	590	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-4-:	592	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-5-:	597	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-6-:	601	(gen_integ_handling.wr_phase) ? 
-7-:	602	(gen_integ_handling.wr_phase) ? 
-8-:	604	if (gen_integ_handling.rd_phase)
-9-:	608	if (((!error_i) || gen_integ_handling.stall_host))
-10-:	617	if (gen_integ_handling.wait_phase)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	Status	Tests
1	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
1	0	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	1	-	-	-	-	-	-	-	Covered	T1,T2,T4
1	-	0	-	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	1	-	-	-	-	-	-	Covered	T1,T2,T4
1	-	-	0	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	1	-	-	-	-	-	Covered	T1,T2,T4
1	-	-	-	0	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	-	1	-	-	-	-	Covered	T1,T2,T4
1	-	-	-	-	0	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	-	-	1	-	-	-	Covered	T1,T2,T4
1	-	-	-	-	-	0	-	-	-	Covered	T3,T8,T26
0	-	-	-	-	-	-	1	1	-	Covered	T1,T2,T4
0	-	-	-	-	-	-	1	0	-	Covered	T2,T11,T12
0	-	-	-	-	-	-	0	-	1	Covered	T3,T8,T26
0	-	-	-	-	-	-	0	-	0	Covered	T1,T2,T3

---

Assert Coverage for Module : tlul_sram_byte

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	9	9	100.00	9	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	9	9	100.00	9	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SramReadbackAndIntg	887	887	0	0
gen_integ_handling.ByteAccessStateChange_A	319701408	6476916	0	0
gen_integ_handling.ReadCompleteStateChange_A	319701408	6476916	0	0
gen_integ_handling.ReadbackAccessAlwaysGranted_A	319701408	228204	0	0
gen_integ_handling.ReadbackDataImmediatelyAvailable_A	319701408	316902	0	0
gen_integ_handling.TlulSramByteTlSize_A	319701408	319585853	0	0
gen_integ_handling.gen_readback_logic.NoPendingWriteAfterWrite_A	319701408	27967	0	0
gen_integ_handling.gen_readback_logic.WRCollisionDuringReadBack_A	319701408	504648	0	0
gen_integ_handling.u_state_regs_A	319701408	319585853	0	0

SramReadbackAndIntg

Name	Attempts	Real Successes	Failures	Incomplete
Total	887	887	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

gen_integ_handling.ByteAccessStateChange_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	6476916	0	0
T1	151245	93420	0	0
T2	495257	14152	0	0
T3	57028	0	0	0
T4	6503	1002	0	0
T5	0	5	0	0
T7	1930	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	3899	0	0
T12	234039	2978	0	0
T13	0	92361	0	0
T14	0	371	0	0
T50	0	2977	0	0

gen_integ_handling.ReadCompleteStateChange_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	6476916	0	0
T1	151245	93420	0	0
T2	495257	14152	0	0
T3	57028	0	0	0
T4	6503	1002	0	0
T5	0	5	0	0
T7	1930	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	3899	0	0
T12	234039	2978	0	0
T13	0	92361	0	0
T14	0	371	0	0
T50	0	2977	0	0

gen_integ_handling.ReadbackAccessAlwaysGranted_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	228204	0	0
T3	57028	177	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	873	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	5064	0	0
T29	3095	0	0	0
T46	0	903	0	0
T47	0	604	0	0
T48	0	513	0	0
T49	0	596	0	0
T51	0	1834	0	0
T52	0	230	0	0
T53	0	168	0	0

gen_integ_handling.ReadbackDataImmediatelyAvailable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	316902	0	0
T3	57028	427	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	873	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	7822	0	0
T29	3095	0	0	0
T46	0	903	0	0
T47	0	912	0	0
T48	0	767	0	0
T49	0	848	0	0
T51	0	1827	0	0
T52	0	559	0	0
T53	0	424	0	0

gen_integ_handling.TlulSramByteTlSize_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	319585853	0	0
T1	151245	151240	0	0
T2	495257	495181	0	0
T3	57028	56971	0	0
T4	6503	6423	0	0
T7	1930	1870	0	0
T8	5919	5839	0	0
T9	1002	940	0	0
T10	1961	1886	0	0
T11	178524	178518	0	0
T12	234039	233947	0	0

gen_integ_handling.gen_readback_logic.NoPendingWriteAfterWrite_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	27967	0	0
T5	66819	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T13	435756	0	0	0
T14	89553	0	0	0
T26	0	590	0	0
T28	0	159	0	0
T29	3095	0	0	0
T46	0	521	0	0
T47	0	963	0	0
T48	0	992	0	0
T49	0	983	0	0
T51	0	988	0	0
T54	0	706	0	0
T55	0	803	0	0
T56	13230	0	0	0

gen_integ_handling.gen_readback_logic.WRCollisionDuringReadBack_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	504648	0	0
T3	57028	2756	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	935	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	11938	0	0
T29	3095	0	0	0
T46	0	932	0	0
T47	0	1873	0	0
T48	0	1917	0	0
T49	0	1904	0	0
T51	0	1886	0	0
T52	0	3607	0	0
T53	0	2706	0	0

gen_integ_handling.u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	319585853	0	0
T1	151245	151240	0	0
T2	495257	495181	0	0
T3	57028	56971	0	0
T4	6503	6423	0	0
T7	1930	1870	0	0
T8	5919	5839	0	0
T9	1002	940	0	0
T10	1961	1886	0	0
T11	178524	178518	0	0
T12	234039	233947	0	0

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

	Line No.	Total	Covered	Percent
TOTAL		145	144	99.31
ALWAYS	104	3	3	100.00
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	133	1	1	100.00
CONT_ASSIGN	134	1	1	100.00
CONT_ASSIGN	135	1	1	100.00
CONT_ASSIGN	136	1	1	100.00
CONT_ASSIGN	138	1	1	100.00
CONT_ASSIGN	139	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
ALWAYS	233	95	94	98.95
CONT_ASSIGN	500	1	1	100.00
CONT_ASSIGN	511	1	1	100.00
ALWAYS	536	2	2	100.00
ALWAYS	547	0	0
ALWAYS	547	2	2	100.00
ALWAYS	566	2	2	100.00
ALWAYS	573	22	22	100.00
CONT_ASSIGN	627	1	1	100.00
ALWAYS	652	4	4	100.00
CONT_ASSIGN	670	1	1	100.00
CONT_ASSIGN	693	1	1	100.00
CONT_ASSIGN	710	1	1	100.00
CONT_ASSIGN	711	1	1	100.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
104	3	3
132	1	1
133	1	1
134	1	1
135	1	1
136	1	1
138	1	1
139	1	1
150	1	1
233	1	1
234	1	1
235	1	1
236	1	1
237	1	1
238	1	1
239	1	1
240	1	1
241	1	1
242	1	1
243	1	1
244	1	1
245	1	1
246	1	1
247	1	1
249	1	1
251	1	1
256	1	1
257	1	1
260	1	1
261	0	1
			MISSING_ELSE
			MISSING_ELSE
265	1	1
266	1	1
267	1	1
268	1	1
			MISSING_ELSE
270	1	1
274	1	1
275	1	1
			MISSING_ELSE
278	1	1
281	1	1
			MISSING_ELSE
289	1	1
290	1	1
291	1	1
292	1	1
293	1	1
294	1	1
			==> MISSING_ELSE
			MISSING_ELSE
300	1	1
301	1	1
303	1	1
304	1	1
305	1	1
306	1	1
307	1	1
			==> MISSING_ELSE
314	1	1
316		unreachable
			MISSING_ELSE
320	1	1
324	1	1
325	1	1
328	1	1
329	1	1
330	1	1
331	1	1
334	1	1
337	1	1
			MISSING_ELSE
344	1	1
346		unreachable
			MISSING_ELSE
349	1	1
351	1	1
353	1	1
359	1	1
361		unreachable
			MISSING_ELSE
365	1	1
367	1	1
369	1	1
372	1	1
			MISSING_ELSE
379	1	1
381		unreachable
			MISSING_ELSE
386	1	1
389	1	1
392	1	1
394	1	1
397	1	1
403	1	1
			==> MISSING_ELSE
411	1	1
413		unreachable
			MISSING_ELSE
416	1	1
418	1	1
420	1	1
424	1	1
426		unreachable
			MISSING_ELSE
429	1	1
432	1	1
434	1	1
437	1	1
			MISSING_ELSE
442	1	1
444		unreachable
			MISSING_ELSE
449	1	1
453	1	1
454	1	1
456	1	1
457	1	1
459	1	1
460	1	1
461	1	1
464	1	1
			MISSING_ELSE
470	1	1
472		unreachable
			MISSING_ELSE
475	1	1
477	1	1
480	1	1
482	1	1
483	1	1
484	1	1
			MISSING_ELSE
500	1	1
511	1	1
536	1	1
537	1	1
			MISSING_ELSE
547	1	1
548	1	1
566	1	1
567	1	1
573	1	1
575	1	1
584	1	1
585	1	1
587	1	1
590	1	1
592	1	1
596	1	1
597	1	1
599	1	1
600	1	1
601	1	1
602	1	1
604	1	1
606	1	1
608	1	1
611	1	1
612	1	1
614	1	1
615	1	1
			MISSING_ELSE
617	1	1
620	1	1
			MISSING_ELSE
627	1	1
652	1	1
655	1	1
659	1	1
664	1	1
670	1	1
693	1	1
710	1	1
711	1	1

---

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

	Total	Covered	Percent
Conditions	97	93	95.88
Logical	97	93	95.88
Non-Logical	0	0
Event	0	0

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T11,T5
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

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

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       138
 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	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T4
1	1	0	Covered	T2,T11,T12
1	1	1	Covered	T1,T2,T4

 LINE       139
 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	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T1,T2,T4
1	1	1	Covered	T1,T2,T4

 LINE       150
 EXPRESSION (gen_integ_handling.rdback_data_exp_q == tl_sram_i.d_data)
            -----------------------------1----------------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       260
 EXPRESSION (((!gen_integ_handling.rdback_chk_ok)) && ((!error_i)))
             ------------------1------------------    ------2-----

-1-	-2-	Status	Tests
0	1	Covered	T3,T8,T26
1	0	Not Covered
1	1	Not Covered

 LINE       275
 EXPRESSION (gen_integ_handling.wr_txn ? StWrReadBackInit : StRdReadBack)
             ------------1------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T3,T8,T26

 LINE       291
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T2,T11,T5
1	Covered	T1,T2,T4

 LINE       324
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T28,T44,T45
1	Covered	T3,T8,T26

 LINE       389
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Covered	T8,T26,T46

 LINE       453
 EXPRESSION (gen_integ_handling.pending_txn_cnt == 2'(1))
            ----------------------1----------------------

-1-	Status	Tests
0	Covered	T28,T44,T45
1	Covered	T3,T8,T26

 LINE       511
 EXPRESSION (gen_integ_handling.hold_tx_data | gen_integ_handling.byte_req_ack)
             ---------------1---------------   ---------------2---------------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T4
1	0	Covered	T3,T8,T26

 LINE       536
 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	Covered	T1,T2,T3
1	1	Covered	T1,T2,T4

 LINE       548
 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	Covered	T1,T2,T4
1	Covered	T1,T2,T3

 LINE       575
 EXPRESSION (tl_i.d_ready | gen_integ_handling.rd_wait | gen_integ_handling.rdback_wait)
             ------1-----   -------------2------------   ---------------3--------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T3,T47,T48
0	1	0	Covered	T2,T11,T5
1	0	0	Covered	T1,T2,T3

 LINE       584
 EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase | gen_integ_handling.rdback_phase_wrreadback)
             -------------1-------------   ---------------2---------------   ---------------------3--------------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T8,T26,T46
0	1	0	Covered	T3,T8,T26
1	0	0	Covered	T1,T2,T4

 LINE       587
 EXPRESSION (gen_integ_handling.wr_phase ? PutFullData : Get)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       590
 EXPRESSION 
 Number  Term
      1  (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? (2'(gen_integ_handling.AccessSize)) : gen_integ_handling.held_data.a_size)

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       590
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       592
 EXPRESSION ((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? ('{(*adjust*)default:'1}) : gen_integ_handling.held_data.a_mask)
             -------------------------------------1------------------------------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       592
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       597
 EXPRESSION 
 Number  Term
      1  (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback) ? '0 : gen_integ_handling.held_data.a_address[(gen_integ_handling.AccessSize - 1):0])

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       597
 SUB-EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)
                 -------------1-------------   ---------------------2--------------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T8,T26
0	1	Covered	T8,T26,T46
1	0	Covered	T1,T2,T4

 LINE       601
 EXPRESSION (gen_integ_handling.wr_phase ? gen_integ_handling.combined_data : '0)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

 LINE       602
 EXPRESSION (gen_integ_handling.wr_phase ? gen_integ_handling.combined_user : '0)
             -------------1-------------

-1-	Status	Tests
0	Covered	T3,T8,T26
1	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	0	Covered	T2,T11,T12
0	1	Covered	T1,T2,T4
1	0	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T1,T2,T4
1	1	Covered	T1,T2,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

 LINE       655
 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	Covered	T1,T2,T7
1	0	1	1	Excluded	T8,T26,T46	VC_COV_UNR
1	1	0	1	Excluded		VC_COV_UNR
1	1	1	0	Excluded		VC_COV_UNR
1	1	1	1	Covered	T1,T2,T3

 LINE       659
 EXPRESSION (tl_sram_i.d_valid & ((~gen_integ_handling.rd_wait)) & ((~gen_integ_handling.rdback_wait)))
             --------1--------   ---------------2---------------   -----------------3-----------------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T1,T2,T3
1	0	1	Covered	T1,T2,T4
1	1	0	Covered	T3,T8,T26
1	1	1	Covered	T1,T2,T3

 LINE       693
 EXPRESSION (gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase | gen_integ_handling.rdback_phase_wrreadback)
             -------------1-------------   ---------------2---------------   ---------------------3--------------------

-1-	-2-	-3-	Status	Tests
0	0	0	Covered	T1,T2,T3
0	0	1	Covered	T8,T26,T46
0	1	0	Covered	T3,T8,T26
1	0	0	Covered	T1,T2,T4

---

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	11	11	100.00	(Not included in score)
Transitions	17	17	100.00
Sequences	0	0

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

---

states	Line No.	Covered	Tests
StByteWrReadBack	397	Covered	T8,T26,T46
StByteWrReadBackDWait	403	Covered	T47,T48,T49
StByteWrReadBackInit	304	Covered	T8,T26,T46
StPassThru	304	Covered	T1,T2,T3
StRdReadBack	275	Covered	T3,T8,T26
StRdReadBackDWait	464	Covered	T3,T47,T48
StWaitRd	268	Covered	T1,T2,T4
StWrReadBack	334	Covered	T3,T8,T26
StWrReadBackDWait	337	Covered	T3,T47,T48
StWrReadBackInit	275	Covered	T3,T8,T26
StWriteCmd	294	Covered	T1,T2,T4

transitions	Line No.	Covered	Tests
StByteWrReadBack->StPassThru	420	Covered	T8,T26,T46
StByteWrReadBackDWait->StByteWrReadBack	437	Covered	T47,T48,T49
StByteWrReadBackInit->StByteWrReadBack	397	Covered	T8,T26,T46
StByteWrReadBackInit->StByteWrReadBackDWait	403	Covered	T47,T48,T49
StPassThru->StRdReadBack	275	Covered	T3,T8,T26
StPassThru->StWaitRd	268	Covered	T1,T2,T4
StPassThru->StWrReadBackInit	275	Covered	T3,T8,T26
StRdReadBack->StPassThru	457	Covered	T3,T8,T26
StRdReadBack->StRdReadBackDWait	464	Covered	T3,T47,T48
StRdReadBackDWait->StPassThru	480	Covered	T3,T47,T48
StWaitRd->StWriteCmd	294	Covered	T1,T2,T4
StWrReadBack->StPassThru	353	Covered	T3,T8,T26
StWrReadBackDWait->StWrReadBack	372	Covered	T3,T47,T48
StWrReadBackInit->StWrReadBack	334	Covered	T3,T8,T26
StWrReadBackInit->StWrReadBackDWait	337	Covered	T3,T47,T48
StWriteCmd->StByteWrReadBackInit	304	Covered	T8,T26,T46
StWriteCmd->StPassThru	304	Covered	T1,T2,T4

---

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

	Line No.	Total	Covered	Percent
Branches		61	56	91.80
IF	104	2	2	100.00
CASE	249	39	34	87.18
IF	536	2	2	100.00
TERNARY	548	2	2	100.00
IF	584	16	16	100.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-:	104	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	249	case (gen_integ_handling.state_q)
-2-:	251	if ((prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_en_q) && prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_check_q)))
-3-:	260	if (((!gen_integ_handling.rdback_chk_ok) && (!error_i)))
-4-:	265	if (gen_integ_handling.byte_wr_txn)
-5-:	267	if (gen_integ_handling.byte_req_ack)
-6-:	270	if (((gen_integ_handling.a_ack && prim_mubi_pkg::mubi4_test_true_loose(gen_integ_handling.rdback_en_q)) && (!error_i)))
-7-:	275	(gen_integ_handling.wr_txn) ? 
-8-:	278	if ((((!tl_sram_o.a_valid) && (!tl_o.d_valid)) && prim_mubi_pkg::mubi4_test_false_strict(gen_integ_handling.rdback_check_q)))
-9-:	291	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-10-:	293	if (gen_integ_handling.sram_d_ack)
-11-:	303	if (gen_integ_handling.sram_a_ack)
-12-:	314	if ((EnableReadback == 1'b0))
-13-:	324	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-14-:	331	if (gen_integ_handling.d_ack)
-15-:	344	if ((EnableReadback == 1'b0))
-16-:	359	if ((EnableReadback == 1'b0))
-17-:	369	if (gen_integ_handling.d_ack)
-18-:	379	if ((EnableReadback == 1'b0))
-19-:	389	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-20-:	394	if (gen_integ_handling.d_ack)
-21-:	411	if ((EnableReadback == 1'b0))
-22-:	424	if ((EnableReadback == 1'b0))
-23-:	434	if (gen_integ_handling.d_ack)
-24-:	442	if ((EnableReadback == 1'b0))
-25-:	453	if ((gen_integ_handling.pending_txn_cnt == 2'(1)))
-26-:	456	if (gen_integ_handling.d_ack)
-27-:	470	if ((EnableReadback == 1'b0))
-28-:	477	if (gen_integ_handling.d_ack)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	-18-	-19-	-20-	-21-	-22-	-23-	-24-	-25-	-26-	-27-	-28-	Status	Tests
StPassThru	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StPassThru	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StPassThru	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T11,T12
StPassThru	-	-	0	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	-	-	0	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StPassThru	-	-	0	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StPassThru	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StWaitRd	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StWaitRd	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StWaitRd	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T11,T5
StWriteCmd	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
StWriteCmd	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T44,T45
StWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Unreachable
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T47,T48
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	-	-	-	Unreachable
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackInit	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Not Covered
StByteWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	-	Unreachable
StByteWrReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	Covered	T8,T26,T46
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Unreachable
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T47,T48,T49
StByteWrReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T47,T48,T49
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	Unreachable
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	Covered	T3,T8,T26
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	-	-	Covered	T3,T8,T26
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	-	Covered	T3,T47,T48
StRdReadBack	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	Covered	T28,T44,T45
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	-	Unreachable
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T3,T47,T48
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	Covered	T3,T47,T48
StRdReadBackDWait	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	Covered	T3,T47,T48
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T4
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T4

	LineNo.	Expression
-1-:	584	if (((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase) | gen_integ_handling.rdback_phase_wrreadback))
-2-:	587	(gen_integ_handling.wr_phase) ? 
-3-:	590	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-4-:	592	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-5-:	597	((gen_integ_handling.wr_phase | gen_integ_handling.rdback_phase_wrreadback)) ? 
-6-:	601	(gen_integ_handling.wr_phase) ? 
-7-:	602	(gen_integ_handling.wr_phase) ? 
-8-:	604	if (gen_integ_handling.rd_phase)
-9-:	608	if (((!error_i) || gen_integ_handling.stall_host))
-10-:	617	if (gen_integ_handling.wait_phase)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	Status	Tests
1	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T4
1	0	-	-	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	1	-	-	-	-	-	-	-	Covered	T1,T2,T4
1	-	0	-	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	1	-	-	-	-	-	-	Covered	T1,T2,T4
1	-	-	0	-	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	1	-	-	-	-	-	Covered	T1,T2,T4
1	-	-	-	0	-	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	-	1	-	-	-	-	Covered	T1,T2,T4
1	-	-	-	-	0	-	-	-	-	Covered	T3,T8,T26
1	-	-	-	-	-	1	-	-	-	Covered	T1,T2,T4
1	-	-	-	-	-	0	-	-	-	Covered	T3,T8,T26
0	-	-	-	-	-	-	1	1	-	Covered	T1,T2,T4
0	-	-	-	-	-	-	1	0	-	Covered	T2,T11,T12
0	-	-	-	-	-	-	0	-	1	Covered	T3,T8,T26
0	-	-	-	-	-	-	0	-	0	Covered	T1,T2,T3

---

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

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	9	9	100.00	9	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	9	9	100.00	9	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SramReadbackAndIntg	887	887	0	0
gen_integ_handling.ByteAccessStateChange_A	319701408	6476916	0	0
gen_integ_handling.ReadCompleteStateChange_A	319701408	6476916	0	0
gen_integ_handling.ReadbackAccessAlwaysGranted_A	319701408	228204	0	0
gen_integ_handling.ReadbackDataImmediatelyAvailable_A	319701408	316902	0	0
gen_integ_handling.TlulSramByteTlSize_A	319701408	319585853	0	0
gen_integ_handling.gen_readback_logic.NoPendingWriteAfterWrite_A	319701408	27967	0	0
gen_integ_handling.gen_readback_logic.WRCollisionDuringReadBack_A	319701408	504648	0	0
gen_integ_handling.u_state_regs_A	319701408	319585853	0	0

SramReadbackAndIntg

Name	Attempts	Real Successes	Failures	Incomplete
Total	887	887	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0

gen_integ_handling.ByteAccessStateChange_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	6476916	0	0
T1	151245	93420	0	0
T2	495257	14152	0	0
T3	57028	0	0	0
T4	6503	1002	0	0
T5	0	5	0	0
T7	1930	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	3899	0	0
T12	234039	2978	0	0
T13	0	92361	0	0
T14	0	371	0	0
T50	0	2977	0	0

gen_integ_handling.ReadCompleteStateChange_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	6476916	0	0
T1	151245	93420	0	0
T2	495257	14152	0	0
T3	57028	0	0	0
T4	6503	1002	0	0
T5	0	5	0	0
T7	1930	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	3899	0	0
T12	234039	2978	0	0
T13	0	92361	0	0
T14	0	371	0	0
T50	0	2977	0	0

gen_integ_handling.ReadbackAccessAlwaysGranted_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	228204	0	0
T3	57028	177	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	873	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	5064	0	0
T29	3095	0	0	0
T46	0	903	0	0
T47	0	604	0	0
T48	0	513	0	0
T49	0	596	0	0
T51	0	1834	0	0
T52	0	230	0	0
T53	0	168	0	0

gen_integ_handling.ReadbackDataImmediatelyAvailable_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	316902	0	0
T3	57028	427	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	873	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	7822	0	0
T29	3095	0	0	0
T46	0	903	0	0
T47	0	912	0	0
T48	0	767	0	0
T49	0	848	0	0
T51	0	1827	0	0
T52	0	559	0	0
T53	0	424	0	0

gen_integ_handling.TlulSramByteTlSize_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	319585853	0	0
T1	151245	151240	0	0
T2	495257	495181	0	0
T3	57028	56971	0	0
T4	6503	6423	0	0
T7	1930	1870	0	0
T8	5919	5839	0	0
T9	1002	940	0	0
T10	1961	1886	0	0
T11	178524	178518	0	0
T12	234039	233947	0	0

gen_integ_handling.gen_readback_logic.NoPendingWriteAfterWrite_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	27967	0	0
T5	66819	0	0	0
T8	5919	536	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T13	435756	0	0	0
T14	89553	0	0	0
T26	0	590	0	0
T28	0	159	0	0
T29	3095	0	0	0
T46	0	521	0	0
T47	0	963	0	0
T48	0	992	0	0
T49	0	983	0	0
T51	0	988	0	0
T54	0	706	0	0
T55	0	803	0	0
T56	13230	0	0	0

gen_integ_handling.gen_readback_logic.WRCollisionDuringReadBack_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	504648	0	0
T3	57028	2756	0	0
T4	6503	0	0	0
T5	66819	0	0	0
T7	1930	0	0	0
T8	5919	935	0	0
T9	1002	0	0	0
T10	1961	0	0	0
T11	178524	0	0	0
T12	234039	0	0	0
T26	0	11938	0	0
T29	3095	0	0	0
T46	0	932	0	0
T47	0	1873	0	0
T48	0	1917	0	0
T49	0	1904	0	0
T51	0	1886	0	0
T52	0	3607	0	0
T53	0	2706	0	0

gen_integ_handling.u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	319701408	319585853	0	0
T1	151245	151240	0	0
T2	495257	495181	0	0
T3	57028	56971	0	0
T4	6503	6423	0	0
T7	1930	1870	0	0
T8	5919	5839	0	0
T9	1002	940	0	0
T10	1961	1886	0	0
T11	178524	178518	0	0
T12	234039	233947	0	0