Unified Coverage Report :: Module :: tlul_sram_byte

Module : tlul_sram_byte

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_14/spi_device_1r1w-sim-vcs/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_tlul2sram_egress.u_sram_byte	100.00	100.00					100.00
tb.dut.u_tlul2sram_ingress.u_sram_byte	100.00	100.00					100.00

---

Module Instance : tb.dut.u_tlul2sram_egress.u_sram_byte

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
86.94	95.83	76.84			90.48	84.62	u_tlul2sram_egress

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Module Instance : tb.dut.u_tlul2sram_ingress.u_sram_byte

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00					100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
91.69	95.83	79.25			91.67	100.00	u_tlul2sram_ingress

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : tlul_sram_byte

	Line No.	Total	Covered	Percent
TOTAL		3	3	100.00
CONT_ASSIGN	702	1	1	100.00
CONT_ASSIGN	703	1	1	100.00
CONT_ASSIGN	704	1	1	100.00
CONT_ASSIGN	710	0	0
CONT_ASSIGN	716	0	0
CONT_ASSIGN	717	0	0

701                         // In this case we pass everything just through.
702        1/1              assign tl_sram_o = tl_i;
           Tests:       T1 T2 T3 
703        1/1              assign tl_o = tl_sram_i;
           Tests:       T1 T2 T3 
704        1/1              assign error_o = error_i;
           Tests:       T2 T3 T4 
705                         assign alert_o = 1'b0;
706                         assign compound_txn_in_progress_o = 1'b0;
707                     
708                         // Signal only used in readback mode.
709                         mubi4_t unused_readback_en;
710        unreachable      assign unused_readback_en = readback_en_i;
711                     
712                       end
713                     
714                       // Signals only used for SVA.
715                       logic unused_write_pending, unused_wr_collision;
716        unreachable    assign unused_write_pending = write_pending_i;
717        unreachable    assign unused_wr_collision = wr_collision_i;

---

Assert Coverage for Module : tlul_sram_byte

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SramReadbackAndIntg	1912	1912	0	0

SramReadbackAndIntg

Name	Attempts	Real Successes	Failures	Incomplete
Total	1912	1912	0	0
T1	2	2	0	0
T2	2	2	0	0
T3	2	2	0	0
T4	2	2	0	0
T5	2	2	0	0
T6	2	2	0	0
T7	2	2	0	0
T8	2	2	0	0
T9	2	2	0	0
T10	2	2	0	0

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

	Line No.	Total	Covered	Percent
TOTAL		3	3	100.00
CONT_ASSIGN	702	1	1	100.00
CONT_ASSIGN	703	1	1	100.00
CONT_ASSIGN	704	1	1	100.00
CONT_ASSIGN	710	0	0
CONT_ASSIGN	716	0	0
CONT_ASSIGN	717	0	0

701                         // In this case we pass everything just through.
702        1/1              assign tl_sram_o = tl_i;
           Tests:       T1 T2 T3 
703        1/1              assign tl_o = tl_sram_i;
           Tests:       T1 T2 T3 
704        1/1              assign error_o = error_i;
           Tests:       T3 T4 T5 
705                         assign alert_o = 1'b0;
706                         assign compound_txn_in_progress_o = 1'b0;
707                     
708                         // Signal only used in readback mode.
709                         mubi4_t unused_readback_en;
710        unreachable      assign unused_readback_en = readback_en_i;
711                     
712                       end
713                     
714                       // Signals only used for SVA.
715                       logic unused_write_pending, unused_wr_collision;
716        unreachable    assign unused_write_pending = write_pending_i;
717        unreachable    assign unused_wr_collision = wr_collision_i;

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SramReadbackAndIntg	956	956	0	0

SramReadbackAndIntg

Name	Attempts	Real Successes	Failures	Incomplete
Total	956	956	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_tlul2sram_ingress.u_sram_byte

	Line No.	Total	Covered	Percent
TOTAL		3	3	100.00
CONT_ASSIGN	702	1	1	100.00
CONT_ASSIGN	703	1	1	100.00
CONT_ASSIGN	704	1	1	100.00
CONT_ASSIGN	710	0	0
CONT_ASSIGN	716	0	0
CONT_ASSIGN	717	0	0

701                         // In this case we pass everything just through.
702        1/1              assign tl_sram_o = tl_i;
           Tests:       T1 T2 T3 
703        1/1              assign tl_o = tl_sram_i;
           Tests:       T1 T2 T3 
704        1/1              assign error_o = error_i;
           Tests:       T2 T3 T4 
705                         assign alert_o = 1'b0;
706                         assign compound_txn_in_progress_o = 1'b0;
707                     
708                         // Signal only used in readback mode.
709                         mubi4_t unused_readback_en;
710        unreachable      assign unused_readback_en = readback_en_i;
711                     
712                       end
713                     
714                       // Signals only used for SVA.
715                       logic unused_write_pending, unused_wr_collision;
716        unreachable    assign unused_write_pending = write_pending_i;
717        unreachable    assign unused_wr_collision = wr_collision_i;

---

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

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SramReadbackAndIntg	956	956	0	0

SramReadbackAndIntg

Name	Attempts	Real Successes	Failures	Incomplete
Total	956	956	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