Unified Coverage Report :: Module :: kmac_msgfifo

Module : kmac_msgfifo

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.21	100.00			100.00	92.86	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_msgfifo	98.21	100.00			100.00	92.86	100.00

---

Module Instance : tb.dut.u_msgfifo

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.21	100.00			100.00	92.86	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.32	100.00	95.16	94.52	100.00	94.23	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.76	98.75	96.74	100.00	100.00	97.06	100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_msgfifo	98.38	100.00	91.89	100.00		100.00	100.00
u_packer	96.41	100.00	100.00	89.74		92.31	100.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : kmac_msgfifo

	Line No.	Total	Covered	Percent
TOTAL		36	36	100.00
CONT_ASSIGN	138	1	1	100.00
ALWAYS	140	3	3	100.00
CONT_ASSIGN	171	1	1	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	174	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	179	1	1	100.00
ALWAYS	185	3	3	100.00
ALWAYS	193	16	16	100.00
CONT_ASSIGN	238	1	1	100.00
ALWAYS	242	5	5	100.00

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

Line No.	Covered	Statements
138	1	1
140	1	1
141	1	1
142	1	1
171	1	1
172	1	1
174	1	1
175	1	1
176	1	1
177	1	1
179	1	1
185	1	1
186	1	1
188	1	1
193	1	1
195	1	1
197	1	1
199	1	1
200	1	1
202	1	1
207	1	1
208	1	1
210	1	1
215	1	1
216	1	1
218	1	1
220	1	1
225	1	1
226	1	1
228	1	1
238	1	1
242	1	1
249	1	1
250	1	1
256	1	1
257	1	1
			MISSING_ELSE

---

FSM Coverage for Module : kmac_msgfifo

Summary for FSM :: flush_st

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

State, Transition and Sequence Details for FSM :: flush_st

---

states	Line No.	Covered	Tests
FlushClear	216	Covered	T2,T7,T8
FlushFifo	208	Covered	T2,T7,T8
FlushIdle	202	Covered	T1,T2,T3
FlushPacker	200	Covered	T2,T7,T8

transitions	Line No.	Covered	Tests
FlushClear->FlushIdle	226	Covered	T2,T7,T8
FlushFifo->FlushClear	216	Covered	T2,T7,T8
FlushIdle->FlushPacker	200	Covered	T2,T7,T8
FlushPacker->FlushFifo	208	Covered	T2,T7,T8

---

Branch Coverage for Module : kmac_msgfifo

	Line No.	Total	Covered	Percent
Branches		14	13	92.86
IF	185	2	2	100.00
CASE	197	9	8	88.89
IF	249	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	197	case (flush_st)
-2-:	199	if (process_i)
-3-:	207	if (packer_flush_done)
-4-:	215	if (fifo_empty_o)
-5-:	225	if (prim_mubi_pkg::mubi4_test_true_strict(clear_i))

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
FlushIdle	1	-	-	-	Covered	T2,T7,T8
FlushIdle	0	-	-	-	Covered	T1,T2,T3
FlushPacker	-	1	-	-	Covered	T2,T7,T8
FlushPacker	-	0	-	-	Covered	T2,T7,T8
FlushFifo	-	-	1	-	Covered	T2,T7,T8
FlushFifo	-	-	0	-	Covered	T2,T7,T8
FlushClear	-	-	-	1	Covered	T2,T7,T8
FlushClear	-	-	-	0	Covered	T2,T7,T8
default	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	249	if (packer_err)
-2-:	256	if (fifo_err)

Branches:

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

---

Assert Coverage for Module : kmac_msgfifo

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
FlushStInValid_A	2147483647	2147483647	0	0
MessageValid_a	2147483647	104314183	0	0
PackerDoneDelay_A	2147483647	2147483647	0	0
PackerDoneValid_a	2147483647	333216	0	0

FlushStInValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	1626	1530	0	0
T2	958413	958403	0	0
T3	2145	2090	0	0
T7	111991	111933	0	0
T8	555608	555599	0	0
T9	119190	119096	0	0
T14	611486	611476	0	0
T15	733968	733960	0	0
T16	1168	1104	0	0
T17	17241	17141	0	0

MessageValid_a

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	104314183	0	0
T2	958413	216636	0	0
T3	2145	0	0	0
T7	111991	5145	0	0
T8	555608	456911	0	0
T9	119190	0	0	0
T10	497173	84558	0	0
T14	611486	447735	0	0
T15	733968	161342	0	0
T16	1168	0	0	0
T17	17241	226	0	0
T22	0	25494	0	0
T42	0	455403	0	0
T43	0	596	0	0

PackerDoneDelay_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	1626	1530	0	0
T2	958413	958403	0	0
T3	2145	2090	0	0
T7	111991	111933	0	0
T8	555608	555599	0	0
T9	119190	119096	0	0
T14	611486	611476	0	0
T15	733968	733960	0	0
T16	1168	1104	0	0
T17	17241	17141	0	0

PackerDoneValid_a

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	333216	0	0
T2	958413	390	0	0
T3	2145	0	0	0
T7	111991	32	0	0
T8	555608	2265	0	0
T9	119190	0	0	0
T10	497173	68	0	0
T14	611486	2265	0	0
T15	733968	310	0	0
T16	1168	0	0	0
T17	17241	9	0	0
T22	0	179	0	0
T42	0	2265	0	0
T43	0	99	0	0