Unified Coverage Report :: Module :: otp_ctrl_ecc_reg

Module : otp_ctrl_ecc_reg

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_ecc_reg.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg	93.33	100.00				80.00	100.00
tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg	93.33	100.00				80.00	100.00
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg	93.33	100.00				80.00	100.00
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg	93.33	100.00				80.00	100.00
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg	93.33	100.00				80.00	100.00
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00
tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg	100.00	100.00				100.00	100.00

---

Module Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.33	100.00				80.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.00	100.00		100.00		80.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
97.23	100.00	100.00		90.00	100.00	96.15	gen_partitions[0].gen_unbuffered.u_part_unbuf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.33	100.00				80.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.00	100.00		100.00		80.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.33	100.00	100.00		91.67	100.00	100.00	gen_partitions[1].gen_unbuffered.u_part_unbuf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.33	100.00				80.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.00	100.00		100.00		80.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.33	100.00	100.00		91.67	100.00	100.00	gen_partitions[2].gen_unbuffered.u_part_unbuf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.33	100.00				80.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.00	100.00		100.00		80.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.33	100.00	100.00		91.67	100.00	100.00	gen_partitions[3].gen_unbuffered.u_part_unbuf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.33	100.00				80.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.00	100.00		100.00		80.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.33	100.00	100.00		91.67	100.00	100.00	gen_partitions[4].gen_unbuffered.u_part_unbuf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
93.19	97.64	97.62		92.00	96.36	82.35	gen_partitions[5].gen_buffered.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[2].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[3].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[4].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[5].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[6].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[7].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[8].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
90.65	95.45	92.86		91.67	90.91	82.35	gen_partitions[6].gen_buffered.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
94.62	98.00	93.75		91.67	95.38	94.29	gen_partitions[7].gen_buffered.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[2].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[3].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[4].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
94.62	98.00	93.75		91.67	95.38	94.29	gen_partitions[8].gen_buffered.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[10].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[2].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[3].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[4].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[5].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[6].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[7].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[8].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[9].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
94.62	98.00	93.75		91.67	95.38	94.29	gen_partitions[9].gen_buffered.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[10].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[2].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[3].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[4].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[5].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[6].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[7].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[8].u_prim_secded_inv_72_64_dec	100.00			100.00
gen_ecc_dec[9].u_prim_secded_inv_72_64_dec	100.00			100.00
u_prim_secded_inv_72_64_enc	100.00			100.00

---

Module Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
94.19	100.00		76.78		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
93.84	96.91	100.00		90.48	100.00	81.82	gen_partitions[10].gen_lifecycle.u_part_buf

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ecc_dec[0].u_prim_secded_inv_72_64_dec	77.94			77.94
gen_ecc_dec[10].u_prim_secded_inv_72_64_dec	75.74			75.74
gen_ecc_dec[1].u_prim_secded_inv_72_64_dec	77.94			77.94
gen_ecc_dec[2].u_prim_secded_inv_72_64_dec	69.12			69.12
gen_ecc_dec[3].u_prim_secded_inv_72_64_dec	77.94			77.94
gen_ecc_dec[4].u_prim_secded_inv_72_64_dec	79.41			79.41
gen_ecc_dec[5].u_prim_secded_inv_72_64_dec	92.65			92.65
gen_ecc_dec[6].u_prim_secded_inv_72_64_dec	68.38			68.38
gen_ecc_dec[7].u_prim_secded_inv_72_64_dec	69.12			69.12
gen_ecc_dec[8].u_prim_secded_inv_72_64_dec	63.24			63.24
gen_ecc_dec[9].u_prim_secded_inv_72_64_dec	69.85			69.85
u_prim_secded_inv_72_64_enc	100.00			100.00

Line Coverage for Module : otp_ctrl_ecc_reg ( parameter Width=64,Depth=9,Aw=4,EccWidth=8 + Width=64,Depth=2,Aw=1,EccWidth=8 + Width=64,Depth=5,Aw=3,EccWidth=8 + Width=64,Depth=11,Aw=4,EccWidth=8 )
Line Coverage for Module self-instances :

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

SCORE	LINE
100.00	100.00

tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Line Coverage for Module : otp_ctrl_ecc_reg ( parameter Width=64,Depth=1,Aw=1,EccWidth=8 )
Line Coverage for Module self-instances :

SCORE	LINE
93.33	100.00

tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

SCORE	LINE
93.33	100.00

tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

SCORE	LINE
93.33	100.00

tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

SCORE	LINE
93.33	100.00

tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

SCORE	LINE
93.33	100.00

tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Module : otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Module : otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	2147483647	2147483647	0	0
DataOutKnown_A	2147483647	2147483647	0	0
EccErrKnown_A	2147483647	2147483647	0	0
EccKnown_A	2147483647	2147483647	0	0
RDataOutKnown_A	2147483647	2147483647	0	0
WidthMustBe64bit_A	12353	12353	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	887733	870342	0	0
T2	232232	228558	0	0
T3	157861	155881	0	0
T4	431486	423060	0	0
T5	746702	733150	0	0
T9	178563	175538	0	0
T10	116039	112838	0	0
T11	132704	130427	0	0
T12	191037	186527	0	0
T13	566368	554609	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	887733	870342	0	0
T2	232232	228558	0	0
T3	157861	155881	0	0
T4	431486	423060	0	0
T5	746702	733150	0	0
T9	178563	175538	0	0
T10	116039	112838	0	0
T11	132704	130427	0	0
T12	191037	186527	0	0
T13	566368	554609	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	887733	870342	0	0
T2	232232	228558	0	0
T3	157861	155881	0	0
T4	431486	423060	0	0
T5	746702	733150	0	0
T9	178563	175538	0	0
T10	116039	112838	0	0
T11	132704	130427	0	0
T12	191037	186527	0	0
T13	566368	554609	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	887733	870342	0	0
T2	232232	228558	0	0
T3	157861	155881	0	0
T4	431486	423060	0	0
T5	746702	733150	0	0
T9	178563	175538	0	0
T10	116039	112838	0	0
T11	132704	130427	0	0
T12	191037	186527	0	0
T13	566368	554609	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	2147483647	2147483647	0	0
T1	887733	870342	0	0
T2	232232	228558	0	0
T3	157861	155881	0	0
T4	431486	423060	0	0
T5	746702	733150	0	0
T9	178563	175538	0	0
T10	116039	112838	0	0
T11	132704	130427	0	0
T12	191037	186527	0	0
T13	566368	554609	0	0

WidthMustBe64bit_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	12353	12353	0	0
T1	11	11	0	0
T2	11	11	0	0
T3	11	11	0	0
T4	11	11	0	0
T5	11	11	0	0
T9	11	11	0	0
T10	11	11	0	0
T11	11	11	0	0
T12	11	11	0	0
T13	11	11	0	0

Line Coverage for Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	4	80.00
IF	90	2	2	100.00
IF	65	3	2	66.67

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	4	80.00
IF	90	2	2	100.00
IF	65	3	2	66.67

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	4	80.00
IF	90	2	2	100.00
IF	65	3	2	66.67

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	4	80.00
IF	90	2	2	100.00
IF	65	3	2	66.67

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	46	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
46	1	1
47	1	1
48	1	1
50	1	1
51	1	1
52	1	1
53	1	1
54	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	4	80.00
IF	90	2	2	100.00
IF	65	3	2	66.67

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

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

---

Assert Coverage for Instance : tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf.gen_ecc_reg.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Instance : tb.dut.gen_partitions[5].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			==> MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	90	2	2	100.00
IF	65	2	2	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests	Exclude Annotation
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Excluded		VC_COV_UNR

---

Assert Coverage for Instance : tb.dut.gen_partitions[6].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Instance : tb.dut.gen_partitions[7].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Instance : tb.dut.gen_partitions[8].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Instance : tb.dut.gen_partitions[9].gen_buffered.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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

Line Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
TOTAL		14	14	100.00
ALWAYS	60	8	8	100.00
CONT_ASSIGN	87	1	1	100.00
ALWAYS	90	5	5	100.00

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

Line No.	Covered	Statements
60	1	1
61	1	1
62	1	1
64	1	1
65	1	1
66	1	1
67	1	1
68	1	1
			MISSING_ELSE
			MISSING_ELSE
87	1	1
90	1	1
91	1	1
92	1	1
94	1	1
95	1	1

---

Branch Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg

	Line No.	Total	Covered	Percent
Branches		5	5	100.00
IF	90	2	2	100.00
IF	65	3	3	100.00

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

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

Branches:

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

	LineNo.	Expression
-1-:	65	if ((32'(addr_i) < Depth))
-2-:	67	if (wren_i)

Branches:

-1-	-2-	Status	Tests
1	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
0	-	Covered	T25,T250,T251

---

Assert Coverage for Instance : tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.u_otp_ctrl_ecc_reg

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
DataKnown_A	1451411390	1450559481	0	0
DataOutKnown_A	1451411390	1450559481	0	0
EccErrKnown_A	1451411390	1450559481	0	0
EccKnown_A	1451411390	1450559481	0	0
RDataOutKnown_A	1451411390	1450559481	0	0
WidthMustBe64bit_A	1123	1123	0	0

DataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

DataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

EccKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

RDataOutKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1451411390	1450559481	0	0
T1	80703	79122	0	0
T2	21112	20778	0	0
T3	14351	14171	0	0
T4	39226	38460	0	0
T5	67882	66650	0	0
T9	16233	15958	0	0
T10	10549	10258	0	0
T11	12064	11857	0	0
T12	17367	16957	0	0
T13	51488	50419	0	0

WidthMustBe64bit_A

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