Unified Coverage Report :: Module :: prim_ram_1p_scr

Module : prim_ram_1p_scr

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.40	98.11	91.49			100.00	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_prim_ram_1p_scr	97.87	100.00	91.49			100.00	100.00

---

Module Instance : tb.dut.u_prim_ram_1p_scr

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.87	100.00	91.49			100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.40	100.00	92.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.85	100.00	97.56	100.00		100.00	91.67	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_addr_scr.u_prim_subst_perm	100.00	100.00
gen_diffuse_data[0].u_prim_subst_perm_dec	100.00	100.00
gen_diffuse_data[0].u_prim_subst_perm_enc	100.00	100.00
gen_par_scr[0].u_prim_prince	100.00			100.00
u_intg_error	100.00	100.00
u_prim_ram_1p_adv	100.00	100.00	100.00			100.00	100.00

Line Coverage for Module : prim_ram_1p_scr

	Line No.	Total	Covered	Percent
TOTAL		53	52	98.11
CONT_ASSIGN	109	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	112	1	1	100.00
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	128	1	1	100.00
CONT_ASSIGN	131	1	1	100.00
CONT_ASSIGN	134	1	1	100.00
CONT_ASSIGN	142	1	1	100.00
CONT_ASSIGN	147	1	1	100.00
CONT_ASSIGN	168	1	1	100.00
CONT_ASSIGN	181	1	1	100.00
CONT_ASSIGN	210	1	1	100.00
CONT_ASSIGN	216	1	1	100.00
CONT_ASSIGN	242	1	1	100.00
CONT_ASSIGN	272	1	1	100.00
CONT_ASSIGN	297	1	1	100.00
CONT_ASSIGN	306	1	1	100.00
ALWAYS	312	10	9	90.00
ALWAYS	340	26	26	100.00

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

Line No.	Covered	Statements
109	1	1
111	1	1
112	1	1
118	1	1
128	1	1
131	1	1
134	1	1
142	1	1
147	1	1
168	1	1
181	1	1
210	1	1
216	1	1
242	1	1
272	1	1
297	1	1
306	1	1
312	1	1
313	1	1
315	1	1
316	1	1
319	1	1
320	1	1
321	1	1
322	1	1
324	0	1
330	1	1
			MISSING_ELSE
340	1	1
341	1	1
342	1	1
343	1	1
344	1	1
345	1	1
346	1	1
347	1	1
348	1	1
349	1	1
350	1	1
351	1	1
353	1	1
354	1	1
355	1	1
356	1	1
357	1	1
359	1	1
360	1	1
			MISSING_ELSE
362	1	1
363	1	1
364	1	1
365	1	1
366	1	1
			MISSING_ELSE
368	1	1
369	1	1
			MISSING_ELSE

---

Cond Coverage for Module : prim_ram_1p_scr

	Total	Covered	Percent
Conditions	47	43	91.49
Logical	47	43	91.49
Non-Logical	0	0
Event	0	0

 LINE       109
 EXPRESSION (req_i & key_valid_i)
             --1--   -----2-----

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

 LINE       111
 EXPRESSION (gnt_o & ((~write_i)))
             --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       112
 EXPRESSION (gnt_o & write_i)
             --1--   ---2---

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

 LINE       118
 EXPRESSION (read_en & (write_en_q | write_pending_q) & (addr_scr == waddr_scr_q))
             ---1---   ---------------2--------------   ------------3------------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T1,T2,T3
1	0	1	Covered	T9,T10,T11
1	1	0	Covered	T1,T2,T3
1	1	1	Covered	T11,T13,T14

 LINE       118
 SUB-EXPRESSION (write_en_q | write_pending_q)
                 -----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       118
 SUB-EXPRESSION (addr_scr == waddr_scr_q)
                ------------1------------

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

 LINE       128
 EXPRESSION (((~intg_error_w_q)) & ((~intg_error_buf)) & (read_en | write_en_q | write_pending_q))
             ---------1---------   ---------2---------   --------------------3-------------------

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

 LINE       128
 SUB-EXPRESSION (read_en | write_en_q | write_pending_q)
                 ---1---   -----2----   -------3-------

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

 LINE       131
 EXPRESSION ((write_en_q | write_pending_q) & ((~read_en)) & ((~intg_error_w_q)))
             ---------------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	Not Covered
1	1	1	Covered	T1,T2,T3

 LINE       131
 SUB-EXPRESSION (write_en_q | write_pending_q)
                 -----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       134
 EXPRESSION (write_en_q & read_en)
             -----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       142
 EXPRESSION (read_en ? addr_scr : waddr_scr_q)
             ---1---

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

 LINE       297
 EXPRESSION (macro_write ? 1'b0 : (rw_collision ? 1'b1 : write_pending_q))
             -----1-----

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

 LINE       297
 SUB-EXPRESSION (rw_collision ? 1'b1 : write_pending_q)
                 ------1-----

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

 LINE       306
 EXPRESSION (write_pending_q ? wdata_scr_q : wdata_scr_d)
             -------1-------

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

 LINE       315
 EXPRESSION (((!intg_error_r_q)) && rvalid_q)
             ---------1---------    ----2---

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

---

Branch Coverage for Module : prim_ram_1p_scr

	Line No.	Total	Covered	Percent
Branches		17	17	100.00
TERNARY	142	2	2	100.00
TERNARY	297	3	3	100.00
TERNARY	306	2	2	100.00
IF	315	3	3	100.00
IF	340	7	7	100.00

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

	LineNo.	Expression
-1-:	142	(read_en) ? 

Branches:

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

	LineNo.	Expression
-1-:	297	(macro_write) ? 
-2-:	297	(rw_collision) ? 

Branches:

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

	LineNo.	Expression
-1-:	306	(write_pending_q) ? 

Branches:

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

	LineNo.	Expression
-1-:	315	if (((!intg_error_r_q) && rvalid_q))
-2-:	319	if (addr_collision_q)

Branches:

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

	LineNo.	Expression
-1-:	340	if ((!rst_ni))
-2-:	359	if (read_en)
-3-:	362	if (write_en_d)
-4-:	368	if (rw_collision)

Branches:

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

---

Assert Coverage for Module : prim_ram_1p_scr

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DepthPow2Check_A	847	847	0	0
DiffWidthMinimum_A	847	847	0	0
DiffWidthWithParity_A	847	847	0	0

DepthPow2Check_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

DiffWidthMinimum_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

DiffWidthWithParity_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

Line Coverage for Instance : tb.dut.u_prim_ram_1p_scr

	Line No.	Total	Covered	Percent
TOTAL		52	52	100.00
CONT_ASSIGN	109	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	112	1	1	100.00
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	128	1	1	100.00
CONT_ASSIGN	131	1	1	100.00
CONT_ASSIGN	134	1	1	100.00
CONT_ASSIGN	142	1	1	100.00
CONT_ASSIGN	147	1	1	100.00
CONT_ASSIGN	168	1	1	100.00
CONT_ASSIGN	181	1	1	100.00
CONT_ASSIGN	210	1	1	100.00
CONT_ASSIGN	216	1	1	100.00
CONT_ASSIGN	242	1	1	100.00
CONT_ASSIGN	272	1	1	100.00
CONT_ASSIGN	297	1	1	100.00
CONT_ASSIGN	306	1	1	100.00
ALWAYS	312	9	9	100.00
ALWAYS	340	26	26	100.00

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

Line No.	Covered	Statements
109	1	1
111	1	1
112	1	1
118	1	1
128	1	1
131	1	1
134	1	1
142	1	1
147	1	1
168	1	1
181	1	1
210	1	1
216	1	1
242	1	1
272	1	1
297	1	1
306	1	1
312	1	1
313	1	1
315	1	1
316	1	1
319	1	1
320	1	1
321	1	1
322	1	1
324		excluded
			Exclude Annotation: VC_COV_UNR
330	1	1
			MISSING_ELSE
340	1	1
341	1	1
342	1	1
343	1	1
344	1	1
345	1	1
346	1	1
347	1	1
348	1	1
349	1	1
350	1	1
351	1	1
353	1	1
354	1	1
355	1	1
356	1	1
357	1	1
359	1	1
360	1	1
			MISSING_ELSE
362	1	1
363	1	1
364	1	1
365	1	1
366	1	1
			MISSING_ELSE
368	1	1
369	1	1
			MISSING_ELSE

---

Cond Coverage for Instance : tb.dut.u_prim_ram_1p_scr

	Total	Covered	Percent
Conditions	47	43	91.49
Logical	47	43	91.49
Non-Logical	0	0
Event	0	0

 LINE       109
 EXPRESSION (req_i & key_valid_i)
             --1--   -----2-----

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

 LINE       111
 EXPRESSION (gnt_o & ((~write_i)))
             --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       112
 EXPRESSION (gnt_o & write_i)
             --1--   ---2---

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

 LINE       118
 EXPRESSION (read_en & (write_en_q | write_pending_q) & (addr_scr == waddr_scr_q))
             ---1---   ---------------2--------------   ------------3------------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T1,T2,T3
1	0	1	Covered	T9,T10,T11
1	1	0	Covered	T1,T2,T3
1	1	1	Covered	T11,T13,T14

 LINE       118
 SUB-EXPRESSION (write_en_q | write_pending_q)
                 -----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       118
 SUB-EXPRESSION (addr_scr == waddr_scr_q)
                ------------1------------

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

 LINE       128
 EXPRESSION (((~intg_error_w_q)) & ((~intg_error_buf)) & (read_en | write_en_q | write_pending_q))
             ---------1---------   ---------2---------   --------------------3-------------------

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

 LINE       128
 SUB-EXPRESSION (read_en | write_en_q | write_pending_q)
                 ---1---   -----2----   -------3-------

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

 LINE       131
 EXPRESSION ((write_en_q | write_pending_q) & ((~read_en)) & ((~intg_error_w_q)))
             ---------------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	Not Covered
1	1	1	Covered	T1,T2,T3

 LINE       131
 SUB-EXPRESSION (write_en_q | write_pending_q)
                 -----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       134
 EXPRESSION (write_en_q & read_en)
             -----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       142
 EXPRESSION (read_en ? addr_scr : waddr_scr_q)
             ---1---

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

 LINE       297
 EXPRESSION (macro_write ? 1'b0 : (rw_collision ? 1'b1 : write_pending_q))
             -----1-----

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

 LINE       297
 SUB-EXPRESSION (rw_collision ? 1'b1 : write_pending_q)
                 ------1-----

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

 LINE       306
 EXPRESSION (write_pending_q ? wdata_scr_q : wdata_scr_d)
             -------1-------

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

 LINE       315
 EXPRESSION (((!intg_error_r_q)) && rvalid_q)
             ---------1---------    ----2---

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

---

Branch Coverage for Instance : tb.dut.u_prim_ram_1p_scr

	Line No.	Total	Covered	Percent
Branches		17	17	100.00
TERNARY	142	2	2	100.00
TERNARY	297	3	3	100.00
TERNARY	306	2	2	100.00
IF	315	3	3	100.00
IF	340	7	7	100.00

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

	LineNo.	Expression
-1-:	142	(read_en) ? 

Branches:

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

	LineNo.	Expression
-1-:	297	(macro_write) ? 
-2-:	297	(rw_collision) ? 

Branches:

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

	LineNo.	Expression
-1-:	306	(write_pending_q) ? 

Branches:

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

	LineNo.	Expression
-1-:	315	if (((!intg_error_r_q) && rvalid_q))
-2-:	319	if (addr_collision_q)

Branches:

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

	LineNo.	Expression
-1-:	340	if ((!rst_ni))
-2-:	359	if (read_en)
-3-:	362	if (write_en_d)
-4-:	368	if (rw_collision)

Branches:

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

---

Assert Coverage for Instance : tb.dut.u_prim_ram_1p_scr

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DepthPow2Check_A	847	847	0	0
DiffWidthMinimum_A	847	847	0	0
DiffWidthWithParity_A	847	847	0	0

DepthPow2Check_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

DiffWidthMinimum_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0

DiffWidthWithParity_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	847	847	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T4	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0