Unified Coverage Report :: Module :: prim_sync_reqack

Module : prim_sync_reqack

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.17	100.00	66.67			100.00	50.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack	77.24	100.00	66.67			92.31	50.00
tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack	79.17	100.00	66.67			100.00	50.00

---

Module Instance : tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
77.24	100.00	66.67			92.31	50.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
77.98	100.00	66.67			95.24	50.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.78	100.00	93.33			100.00		i_cdc_resp

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rz_hs_protocol.ack_sync	100.00	100.00				100.00
gen_rz_hs_protocol.req_sync	100.00	100.00				100.00

---

Module Instance : tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.17	100.00	66.67			100.00	50.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.17	100.00	66.67			100.00	50.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
95.83	100.00	87.50			100.00		i_cdc_req

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rz_hs_protocol.ack_sync	100.00	100.00				100.00
gen_rz_hs_protocol.req_sync	100.00	100.00				100.00

Line Coverage for Module : prim_sync_reqack

	Line No.	Total	Covered	Percent
TOTAL		27	27	100.00
CONT_ASSIGN	55	0	0
ALWAYS	75	10	10	100.00
ALWAYS	117	3	3	100.00
ALWAYS	126	11	11	100.00
ALWAYS	169	3	3	100.00
CONT_ASSIGN	335	0	0
ALWAYS	339	0	0

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

Line No.	Covered	Statements
55		unreachable
75	1	1
76	1	1
77	1	1
79	1	1
83	1	1
84	1	1
			MISSING_ELSE
88	1	1
90	1	1
93	1	1
94	1	1
			MISSING_ELSE
117	1	1
118	1	1
120	1	1
126	1	1
127	1	1
128	1	1
130	1	1
132	1	1
134	1	1
137	1	1
138	1	1
			MISSING_ELSE
			MISSING_ELSE
143	1	1
145	1	1
146	1	1
			MISSING_ELSE
169	1	1
170	1	1
172	1	1
335		unreachable
339		unreachable
340		unreachable
341		unreachable
342		unreachable
			==> MISSING_ELSE

---

Cond Coverage for Module : prim_sync_reqack

	Total	Covered	Percent
Conditions	6	4	66.67
Logical	6	4	66.67
Non-Logical	0	0
Event	0	0

 LINE       83
 EXPRESSION (((!gen_rz_hs_protocol.src_ack)) && src_req_i)
             ---------------1---------------    ----2----

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

 LINE       93
 EXPRESSION (((!src_req_i)) || gen_rz_hs_protocol.src_ack)
             -------1------    -------------2------------

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

---

Branch Coverage for Module : prim_sync_reqack

	Line No.	Total	Covered	Percent
Branches		13	13	100.00
CASE	79	4	4	100.00
IF	117	2	2	100.00
CASE	130	5	5	100.00
IF	169	2	2	100.00

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

	LineNo.	Expression
-1-:	79	case (gen_rz_hs_protocol.src_fsm_q)
-2-:	83	if (((!gen_rz_hs_protocol.src_ack) && src_req_i))
-3-:	93	if (((!src_req_i) || gen_rz_hs_protocol.src_ack))

Branches:

-1-	-2-	-3-	Status	Tests
LoSt	1	-	Covered	T1,T2,T3
LoSt	0	-	Covered	T1,T2,T3
HiSt	-	1	Covered	T1,T2,T3
HiSt	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	117	if ((!rst_src_ni))

Branches:

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

	LineNo.	Expression
-1-:	130	case (gen_rz_hs_protocol.dst_fsm_q)
-2-:	132	if (gen_rz_hs_protocol.dst_req)
-3-:	137	if (dst_ack_i)
-4-:	145	if ((!gen_rz_hs_protocol.dst_req))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
LoSt	1	1	-	Covered	T1,T2,T3
LoSt	1	0	-	Covered	T1,T2,T3
LoSt	0	-	-	Covered	T1,T2,T3
HiSt	-	-	1	Covered	T1,T2,T3
HiSt	-	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	169	if ((!rst_dst_ni))

Branches:

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

---

Assert Coverage for Module : prim_sync_reqack

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SyncReqAckAckNeedsReq	140749332	89592	0	0
SyncReqAckHoldReq	140749332	0	0	0

SyncReqAckAckNeedsReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	140749332	89592	0	0
T1	250082	466	0	0
T2	2379	2	0	0
T3	32139	140	0	0
T4	582121	308	0	0
T7	9936	42	0	0
T16	258043	238	0	0
T29	231233	1860	0	0
T31	34265	44	0	0
T44	167830	214	0	0
T45	1715	2	0	0

SyncReqAckHoldReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	140749332	0	0	0

Line Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack

	Line No.	Total	Covered	Percent
TOTAL		27	27	100.00
CONT_ASSIGN	55	0	0
ALWAYS	75	10	10	100.00
ALWAYS	117	3	3	100.00
ALWAYS	126	11	11	100.00
ALWAYS	169	3	3	100.00
CONT_ASSIGN	335	0	0
ALWAYS	339	0	0

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

Line No.	Covered	Statements
55		unreachable
75	1	1
76	1	1
77	1	1
79	1	1
83	1	1
84	1	1
			MISSING_ELSE
88	1	1
90	1	1
93	1	1
94	1	1
			MISSING_ELSE
117	1	1
118	1	1
120	1	1
126	1	1
127	1	1
128	1	1
130	1	1
132	1	1
134	1	1
137	1	1
138	1	1
			==> MISSING_ELSE
			MISSING_ELSE
143	1	1
145	1	1
146	1	1
			MISSING_ELSE
169	1	1
170	1	1
172	1	1
335		unreachable
339		unreachable
340		unreachable
341		unreachable
342		unreachable
			==> MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack

	Total	Covered	Percent
Conditions	6	4	66.67
Logical	6	4	66.67
Non-Logical	0	0
Event	0	0

 LINE       83
 EXPRESSION (((!gen_rz_hs_protocol.src_ack)) && src_req_i)
             ---------------1---------------    ----2----

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

 LINE       93
 EXPRESSION (((!src_req_i)) || gen_rz_hs_protocol.src_ack)
             -------1------    -------------2------------

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

---

Branch Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack

	Line No.	Total	Covered	Percent
Branches		13	12	92.31
CASE	79	4	4	100.00
IF	117	2	2	100.00
CASE	130	5	4	80.00
IF	169	2	2	100.00

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

	LineNo.	Expression
-1-:	79	case (gen_rz_hs_protocol.src_fsm_q)
-2-:	83	if (((!gen_rz_hs_protocol.src_ack) && src_req_i))
-3-:	93	if (((!src_req_i) || gen_rz_hs_protocol.src_ack))

Branches:

-1-	-2-	-3-	Status	Tests
LoSt	1	-	Covered	T1,T2,T3
LoSt	0	-	Covered	T1,T2,T3
HiSt	-	1	Covered	T1,T2,T3
HiSt	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	117	if ((!rst_src_ni))

Branches:

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

	LineNo.	Expression
-1-:	130	case (gen_rz_hs_protocol.dst_fsm_q)
-2-:	132	if (gen_rz_hs_protocol.dst_req)
-3-:	137	if (dst_ack_i)
-4-:	145	if ((!gen_rz_hs_protocol.dst_req))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
LoSt	1	1	-	Covered	T1,T2,T3
LoSt	1	0	-	Not Covered
LoSt	0	-	-	Covered	T1,T2,T3
HiSt	-	-	1	Covered	T1,T2,T3
HiSt	-	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	169	if ((!rst_dst_ni))

Branches:

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

---

Assert Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_resp.u_prim_sync_reqack

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SyncReqAckAckNeedsReq	6043393	44796	0	0
SyncReqAckHoldReq	134705939	0	0	0

SyncReqAckAckNeedsReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	6043393	44796	0	0
T1	26930	233	0	0
T2	308	1	0	0
T3	8365	70	0	0
T4	19279	154	0	0
T7	2850	21	0	0
T16	13611	119	0	0
T29	106909	930	0	0
T31	2654	22	0	0
T44	12203	107	0	0
T45	442	1	0	0

SyncReqAckHoldReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	134705939	0	0	0

Line Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack

	Line No.	Total	Covered	Percent
TOTAL		27	27	100.00
CONT_ASSIGN	55	0	0
ALWAYS	75	10	10	100.00
ALWAYS	117	3	3	100.00
ALWAYS	126	11	11	100.00
ALWAYS	169	3	3	100.00
CONT_ASSIGN	335	0	0
ALWAYS	339	0	0

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

Line No.	Covered	Statements
55		unreachable
75	1	1
76	1	1
77	1	1
79	1	1
83	1	1
84	1	1
			MISSING_ELSE
88	1	1
90	1	1
93	1	1
94	1	1
			MISSING_ELSE
117	1	1
118	1	1
120	1	1
126	1	1
127	1	1
128	1	1
130	1	1
132	1	1
134	1	1
137	1	1
138	1	1
			MISSING_ELSE
			MISSING_ELSE
143	1	1
145	1	1
146	1	1
			MISSING_ELSE
169	1	1
170	1	1
172	1	1
335		unreachable
339		unreachable
340		unreachable
341		unreachable
342		unreachable
			==> MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack

	Total	Covered	Percent
Conditions	6	4	66.67
Logical	6	4	66.67
Non-Logical	0	0
Event	0	0

 LINE       83
 EXPRESSION (((!gen_rz_hs_protocol.src_ack)) && src_req_i)
             ---------------1---------------    ----2----

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

 LINE       93
 EXPRESSION (((!src_req_i)) || gen_rz_hs_protocol.src_ack)
             -------1------    -------------2------------

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

---

Branch Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack

	Line No.	Total	Covered	Percent
Branches		13	13	100.00
CASE	79	4	4	100.00
IF	117	2	2	100.00
CASE	130	5	5	100.00
IF	169	2	2	100.00

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

	LineNo.	Expression
-1-:	79	case (gen_rz_hs_protocol.src_fsm_q)
-2-:	83	if (((!gen_rz_hs_protocol.src_ack) && src_req_i))
-3-:	93	if (((!src_req_i) || gen_rz_hs_protocol.src_ack))

Branches:

-1-	-2-	-3-	Status	Tests
LoSt	1	-	Covered	T1,T2,T3
LoSt	0	-	Covered	T1,T2,T3
HiSt	-	1	Covered	T1,T2,T3
HiSt	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	117	if ((!rst_src_ni))

Branches:

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

	LineNo.	Expression
-1-:	130	case (gen_rz_hs_protocol.dst_fsm_q)
-2-:	132	if (gen_rz_hs_protocol.dst_req)
-3-:	137	if (dst_ack_i)
-4-:	145	if ((!gen_rz_hs_protocol.dst_req))

Branches:

-1-	-2-	-3-	-4-	Status	Tests
LoSt	1	1	-	Covered	T1,T2,T3
LoSt	1	0	-	Covered	T1,T2,T3
LoSt	0	-	-	Covered	T1,T2,T3
HiSt	-	-	1	Covered	T1,T2,T3
HiSt	-	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	169	if ((!rst_dst_ni))

Branches:

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

---

Assert Coverage for Instance : tb.dut.dap.i_dmi_cdc.i_cdc_req.u_prim_sync_reqack

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
SyncReqAckAckNeedsReq	134705939	44796	0	0
SyncReqAckHoldReq	6043393	0	0	0

SyncReqAckAckNeedsReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	134705939	44796	0	0
T1	223152	233	0	0
T2	2071	1	0	0
T3	23774	70	0	0
T4	562842	154	0	0
T7	7086	21	0	0
T16	244432	119	0	0
T29	124324	930	0	0
T31	31611	22	0	0
T44	155627	107	0	0
T45	1273	1	0	0

SyncReqAckHoldReq

Name	Attempts	Real Successes	Failures	Incomplete
Total	6043393	0	0	0