Unified Coverage Report :: Module :: edn_core

Module : edn_core

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

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_edn_core	97.60	100.00	90.39			100.00	100.00

---

Module Instance : tb.dut.u_edn_core

Instance :

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

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.80	99.92	92.46	82.54	83.72	99.28	98.88

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
94.44		83.33	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_ep_blk[0].u_edn_ack_sm_ep	98.57	100.00	100.00		92.86	100.00	100.00
gen_ep_blk[0].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[1].u_edn_ack_sm_ep	98.57	100.00	100.00		92.86	100.00	100.00
gen_ep_blk[1].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[2].u_edn_ack_sm_ep	97.14	100.00	100.00		85.71	100.00	100.00
gen_ep_blk[2].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[3].u_edn_ack_sm_ep	97.14	100.00	100.00		85.71	100.00	100.00
gen_ep_blk[3].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[4].u_edn_ack_sm_ep	97.14	100.00	100.00		85.71	100.00	100.00
gen_ep_blk[4].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[5].u_edn_ack_sm_ep	97.14	100.00	100.00		85.71	100.00	100.00
gen_ep_blk[5].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
gen_ep_blk[6].u_edn_ack_sm_ep	97.14	100.00	100.00		85.71	100.00	100.00
gen_ep_blk[6].u_prim_packer_fifo_ep	98.81	100.00	95.24			100.00	100.00
u_edn_main_sm	94.11	100.00	94.44		78.38	97.73	100.00
u_intr_hw_edn_cmd_req_done	100.00	100.00	100.00			100.00	100.00
u_intr_hw_edn_fatal_err	100.00	100.00	100.00			100.00	100.00
u_prim_arbiter_ppc_packer_arb	95.16	95.00	92.31			100.00	93.33
u_prim_count_max_reqs_cntr	70.79			70.79
u_prim_edge_detector_recov_alert	100.00	100.00	100.00			100.00
u_prim_fifo_sync_gencmd	98.38	100.00	91.89	100.00		100.00	100.00
u_prim_fifo_sync_rescmd	98.38	100.00	91.89	100.00		100.00	100.00
u_prim_mubi4_sync_auto_req_mode	100.00	100.00					100.00
u_prim_mubi4_sync_boot_req_mode	100.00	100.00					100.00
u_prim_mubi4_sync_cmd_fifo_rst	100.00	100.00					100.00
u_prim_mubi4_sync_edn_enable	100.00	100.00					100.00
u_prim_packer_fifo_cs	95.24	100.00	95.24			85.71	100.00

---

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

Line Coverage for Module : edn_core

	Line No.	Total	Covered	Percent
TOTAL		253	253	100.00
ALWAYS	217	36	36	100.00
CONT_ASSIGN	292	1	1	100.00
CONT_ASSIGN	297	1	1	100.00
CONT_ASSIGN	304	1	1	100.00
CONT_ASSIGN	310	1	1	100.00
CONT_ASSIGN	312	1	1	100.00
CONT_ASSIGN	314	1	1	100.00
CONT_ASSIGN	316	1	1	100.00
CONT_ASSIGN	318	1	1	100.00
CONT_ASSIGN	321	1	1	100.00
CONT_ASSIGN	325	1	1	100.00
CONT_ASSIGN	329	1	1	100.00
CONT_ASSIGN	337	1	1	100.00
CONT_ASSIGN	340	1	1	100.00
CONT_ASSIGN	343	1	1	100.00
CONT_ASSIGN	346	1	1	100.00
CONT_ASSIGN	349	1	1	100.00
CONT_ASSIGN	351	1	1	100.00
CONT_ASSIGN	352	1	1	100.00
CONT_ASSIGN	357	1	1	100.00
CONT_ASSIGN	360	1	1	100.00
CONT_ASSIGN	363	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	368	1	1	100.00
CONT_ASSIGN	372	1	1	100.00
CONT_ASSIGN	374	1	1	100.00
CONT_ASSIGN	375	1	1	100.00
CONT_ASSIGN	378	1	1	100.00
CONT_ASSIGN	397	1	1	100.00
CONT_ASSIGN	400	1	1	100.00
CONT_ASSIGN	404	1	1	100.00
CONT_ASSIGN	413	1	1	100.00
CONT_ASSIGN	414	1	1	100.00
CONT_ASSIGN	415	1	1	100.00
CONT_ASSIGN	416	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	419	1	1	100.00
CONT_ASSIGN	434	1	1	100.00
CONT_ASSIGN	435	1	1	100.00
CONT_ASSIGN	436	1	1	100.00
CONT_ASSIGN	437	1	1	100.00
CONT_ASSIGN	440	1	1	100.00
CONT_ASSIGN	440	1	1	100.00
CONT_ASSIGN	440	1	1	100.00
CONT_ASSIGN	454	1	1	100.00
CONT_ASSIGN	461	1	1	100.00
CONT_ASSIGN	462	1	1	100.00
CONT_ASSIGN	463	1	1	100.00
CONT_ASSIGN	464	1	1	100.00
CONT_ASSIGN	465	1	1	100.00
CONT_ASSIGN	480	1	1	100.00
CONT_ASSIGN	481	1	1	100.00
CONT_ASSIGN	483	1	1	100.00
CONT_ASSIGN	484	1	1	100.00
CONT_ASSIGN	486	1	1	100.00
CONT_ASSIGN	487	1	1	100.00
CONT_ASSIGN	489	1	1	100.00
CONT_ASSIGN	490	1	1	100.00
CONT_ASSIGN	492	1	1	100.00
CONT_ASSIGN	493	1	1	100.00
CONT_ASSIGN	494	1	1	100.00
CONT_ASSIGN	497	1	1	100.00
CONT_ASSIGN	506	1	1	100.00
CONT_ASSIGN	513	1	1	100.00
CONT_ASSIGN	517	1	1	100.00
CONT_ASSIGN	533	1	1	100.00
CONT_ASSIGN	541	1	1	100.00
CONT_ASSIGN	542	1	1	100.00
CONT_ASSIGN	547	1	1	100.00
CONT_ASSIGN	548	1	1	100.00
CONT_ASSIGN	552	1	1	100.00
CONT_ASSIGN	562	1	1	100.00
CONT_ASSIGN	563	1	1	100.00
CONT_ASSIGN	573	1	1	100.00
CONT_ASSIGN	574	1	1	100.00
CONT_ASSIGN	581	1	1	100.00
CONT_ASSIGN	582	1	1	100.00
CONT_ASSIGN	593	1	1	100.00
CONT_ASSIGN	594	1	1	100.00
CONT_ASSIGN	599	1	1	100.00
CONT_ASSIGN	600	1	1	100.00
CONT_ASSIGN	606	1	1	100.00
CONT_ASSIGN	607	1	1	100.00
CONT_ASSIGN	617	1	1	100.00
CONT_ASSIGN	618	1	1	100.00
CONT_ASSIGN	627	1	1	100.00
CONT_ASSIGN	628	1	1	100.00
CONT_ASSIGN	655	1	1	100.00
CONT_ASSIGN	657	1	1	100.00
CONT_ASSIGN	661	1	1	100.00
CONT_ASSIGN	665	1	1	100.00
CONT_ASSIGN	667	1	1	100.00
CONT_ASSIGN	669	1	1	100.00
CONT_ASSIGN	698	1	1	100.00
CONT_ASSIGN	700	1	1	100.00
CONT_ASSIGN	704	1	1	100.00
CONT_ASSIGN	708	1	1	100.00
CONT_ASSIGN	710	1	1	100.00
CONT_ASSIGN	712	1	1	100.00
CONT_ASSIGN	771	1	1	100.00
CONT_ASSIGN	775	1	1	100.00
CONT_ASSIGN	778	1	1	100.00
CONT_ASSIGN	788	1	1	100.00
CONT_ASSIGN	793	1	1	100.00
CONT_ASSIGN	794	1	1	100.00
CONT_ASSIGN	795	1	1	100.00
CONT_ASSIGN	796	1	1	100.00
CONT_ASSIGN	799	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	835	1	1	100.00
CONT_ASSIGN	859	1	1	100.00
CONT_ASSIGN	860	1	1	100.00
CONT_ASSIGN	863	1	1	100.00
CONT_ASSIGN	864	1	1	100.00
CONT_ASSIGN	865	1	1	100.00
CONT_ASSIGN	866	1	1	100.00
CONT_ASSIGN	868	1	1	100.00
CONT_ASSIGN	883	1	1	100.00
CONT_ASSIGN	885	1	1	100.00
CONT_ASSIGN	887	1	1	100.00
CONT_ASSIGN	893	1	1	100.00
CONT_ASSIGN	896	1	1	100.00
CONT_ASSIGN	897	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	921	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	922	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	925	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	928	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	931	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	932	1	1	100.00
CONT_ASSIGN	952	1	1	100.00
CONT_ASSIGN	968	1	1	100.00

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

Line No.	Covered	Statements
217	1	1
218	1	1
219	1	1
220	1	1
221	1	1
222	1	1
223	1	1
224	1	1
225	1	1
226	1	1
227	1	1
228	1	1
229	1	1
230	1	1
231	1	1
232	1	1
233	1	1
234	1	1
236	1	1
237	1	1
238	1	1
239	1	1
240	1	1
241	1	1
242	1	1
243	1	1
244	1	1
245	1	1
246	1	1
247	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	1	1
253	1	1
292	1	1
297	1	1
304	1	1
310	1	1
312	1	1
314	1	1
316	1	1
318	1	1
321	1	1
325	1	1
329	1	1
337	1	1
340	1	1
343	1	1
346	1	1
349	1	1
351	1	1
352	1	1
357	1	1
360	1	1
363	1	1
368	31	31
372	1	1
374	1	1
375	1	1
378	1	1
397	1	1
400	1	1
404	1	1
413	1	1
414	1	1
415	1	1
416	1	1
419	19	19
434	1	1
435	1	1
436	1	1
437	1	1
440	3	3
454	1	1
461	1	1
462	1	1
463	1	1
464	1	1
465	1	1
480	1	1
481	1	1
483	1	1
484	1	1
486	1	1
487	1	1
489	1	1
490	1	1
492	1	1
493	1	1
494	1	1
497	1	1
506	1	1
513	1	1
517	1	1
533	1	1
541	1	1
542	1	1
547	1	1
548	1	1
552	1	1
562	1	1
563	1	1
573	1	1
574	1	1
581	1	1
582	1	1
593	1	1
594	1	1
599	1	1
600	1	1
606	1	1
607	1	1
617	1	1
618	1	1
627	1	1
628	1	1
655	1	1
657	1	1
661	1	1
665	1	1
667	1	1
669	1	1
698	1	1
700	1	1
704	1	1
708	1	1
710	1	1
712	1	1
771	1	1
775	1	1
778	1	1
788	1	1
793	1	1
794	1	1
795	1	1
796	1	1
799	1	1
835	7	7
859	1	1
860	1	1
863	1	1
864	1	1
865	1	1
866	1	1
868	1	1
883	1	1
885	1	1
887	1	1
893	1	1
896	1	1
897	1	1
921	7	7
922	7	7
925	7	7
928	7	7
931	7	7
932	7	7
952	1	1
968	1	1

---

Cond Coverage for Module : edn_core

	Total	Covered	Percent
Conditions	635	574	90.39
Logical	635	574	90.39
Non-Logical	0	0
Event	0	0

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.

Line numbers	Percent
292-710	91.78
712-968	87.03

---

Branch Coverage for Module : edn_core

	Line No.	Total	Covered	Percent
Branches		104	104	100.00
TERNARY	497	6	6	100.00
TERNARY	506	4	4	100.00
TERNARY	517	7	7	100.00
TERNARY	533	5	5	100.00
TERNARY	552	6	6	100.00
TERNARY	563	6	6	100.00
TERNARY	574	3	3	100.00
TERNARY	582	4	4	100.00
TERNARY	594	3	3	100.00
TERNARY	600	3	3	100.00
TERNARY	607	5	5	100.00
TERNARY	618	5	5	100.00
TERNARY	628	2	2	100.00
TERNARY	657	2	2	100.00
TERNARY	661	2	2	100.00
TERNARY	700	2	2	100.00
TERNARY	704	2	2	100.00
TERNARY	778	6	6	100.00
TERNARY	868	3	3	100.00
TERNARY	885	2	2	100.00
TERNARY	887	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
TERNARY	925	3	3	100.00
IF	217	2	2	100.00

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

	LineNo.	Expression
-1-:	497	((!edn_enable_fo[CsrngCmdReq])) ? 
-2-:	497	(boot_wr_ins_cmd) ? 
-3-:	497	(boot_wr_gen_cmd) ? 
-4-:	497	(boot_wr_uni_cmd) ? 
-5-:	497	(sw_cmd_req_load) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	-	-	-	-	Covered	T1,T2,T3
0	1	-	-	-	Covered	T1,T20,T21
0	0	1	-	-	Covered	T1,T20,T21
0	0	0	1	-	Covered	T1,T21,T27
0	0	0	0	1	Covered	T1,T2,T19
0	0	0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	506	((!edn_enable_fo[CsrngCmdReqValid])) ? 
-2-:	506	(cs_cmd_handshake) ? 
-3-:	506	((((sw_cmd_req_load || boot_wr_ins_cmd) || boot_wr_gen_cmd) || boot_wr_uni_cmd)) ? 

Branches:

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

	LineNo.	Expression
-1-:	517	((!edn_enable_fo[CsrngCmdReqOut])) ? 
-2-:	517	((send_rescmd || capt_rescmd_fifo_cnt)) ? 
-3-:	517	(sfifo_rescmd_pop) ? 
-4-:	517	((send_gencmd || capt_gencmd_fifo_cnt)) ? 
-5-:	517	(sfifo_gencmd_pop) ? 
-6-:	517	((cs_cmd_req_vld_q && (!cs_cmd_handshake))) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	Status	Tests
1	-	-	-	-	-	Covered	T1,T2,T3
0	1	1	-	-	-	Covered	T8,T11,T9
0	1	0	-	-	-	Covered	T8,T11,T9
0	0	-	1	1	-	Covered	T8,T11,T9
0	0	-	1	0	-	Covered	T8,T11,T9
0	0	-	0	-	1	Covered	T1,T2,T19
0	0	-	0	-	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	533	((!edn_enable_fo[CsrngCmdReqValidOut])) ? 
-2-:	533	(cmd_sent) ? 
-3-:	533	((send_rescmd || capt_rescmd_fifo_cnt)) ? 
-4-:	533	((send_gencmd || capt_gencmd_fifo_cnt)) ? 

Branches:

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

	LineNo.	Expression
-1-:	552	((!edn_enable_fo[SwCmdSts])) ? 
-2-:	552	((!sw_cmd_valid)) ? 
-3-:	552	(sw_cmd_req_load) ? 
-4-:	552	(accept_sw_cmds_pulse) ? 
-5-:	552	(csrng_cmd_i.csrng_rsp_ack) ? 

Branches:

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

	LineNo.	Expression
-1-:	563	((!edn_enable_fo[SwCmdSts])) ? 
-2-:	563	((!sw_cmd_valid)) ? 
-3-:	563	(sw_cmd_req_load) ? 
-4-:	563	(accept_sw_cmds_pulse) ? 
-5-:	563	(cs_cmd_handshake) ? 

Branches:

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

	LineNo.	Expression
-1-:	574	((!edn_enable_fo[SwCmdSts])) ? 
-2-:	574	((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ? 

Branches:

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

	LineNo.	Expression
-1-:	582	((!edn_enable_fo[SwCmdSts])) ? 
-2-:	582	(sw_cmd_req_load) ? 
-3-:	582	((csrng_cmd_i.csrng_rsp_ack && sw_cmd_valid)) ? 

Branches:

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

	LineNo.	Expression
-1-:	594	((main_sm_done_pulse || (!edn_enable_fo[HwCmdSts]))) ? 
-2-:	594	(boot_wr_ins_cmd) ? 

Branches:

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

	LineNo.	Expression
-1-:	600	((main_sm_done_pulse || (!edn_enable_fo[HwCmdSts]))) ? 
-2-:	600	(auto_req_mode_busy) ? 

Branches:

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

	LineNo.	Expression
-1-:	607	((!edn_enable_fo[HwCmdSts])) ? 
-2-:	607	(sw_cmd_valid) ? 
-3-:	607	((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ? 
-4-:	607	((csrng_cmd_i.csrng_rsp_ack && (csrng_cmd_i.csrng_rsp_sts != CMD_STS_SUCCESS))) ? 

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T1,T2,T3
0	0	1	-	Covered	T1,T8,T20
0	0	0	1	Covered	T14,T25,T26
0	0	0	0	Covered	T1,T3,T8

	LineNo.	Expression
-1-:	618	((!edn_enable_fo[HwCmdSts])) ? 
-2-:	618	(sw_cmd_valid) ? 
-3-:	618	((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ? 
-4-:	618	(csrng_cmd_i.csrng_rsp_ack) ? 

Branches:

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

	LineNo.	Expression
-1-:	628	((((edn_enable_fo[HwCmdSts] && (!sw_cmd_valid)) && cs_cmd_req_vld_out_q) && csrng_cmd_i.csrng_req_ready)) ? 

Branches:

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

	LineNo.	Expression
-1-:	657	(rescmd_handshake) ? 

Branches:

-1-	Status	Tests
1	Covered	T8,T11,T9
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	661	(auto_req_mode_busy) ? 

Branches:

-1-	Status	Tests
1	Covered	T8,T11,T9
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	700	(gencmd_handshake) ? 

Branches:

-1-	Status	Tests
1	Covered	T8,T11,T9
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	704	(auto_req_mode_busy) ? 

Branches:

-1-	Status	Tests
1	Covered	T8,T11,T9
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	778	((!edn_enable_fo[CmdFifoCnt])) ? 
-2-:	778	((cmd_fifo_rst_fo[3] || main_sm_done_pulse)) ? 
-3-:	778	(capt_gencmd_fifo_cnt) ? 
-4-:	778	(capt_rescmd_fifo_cnt) ? 
-5-:	778	((sfifo_gencmd_pop || sfifo_rescmd_pop)) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	-	-	-	-	Covered	T1,T2,T3
0	1	-	-	-	Covered	T1,T2,T3
0	0	1	-	-	Covered	T8,T11,T9
0	0	0	1	-	Covered	T8,T11,T9
0	0	0	0	1	Covered	T8,T11,T9
0	0	0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	868	((!edn_enable_fo[CsrngFipsEn])) ? 
-2-:	868	((packer_cs_push && packer_cs_wready)) ? 

Branches:

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

	LineNo.	Expression
-1-:	885	(cs_rdata_capt_vld) ? 

Branches:

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

	LineNo.	Expression
-1-:	887	((!edn_enable_fo[CsrngDataVld])) ? 
-2-:	887	(cs_rdata_capt_vld) ? 

Branches:

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

	LineNo.	Expression
-1-:	925	(packer_ep_clr[0]) ? 
-2-:	925	((packer_ep_push[0] && packer_ep_wready[0])) ? 

Branches:

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

	LineNo.	Expression
-1-:	925	(packer_ep_clr[1]) ? 
-2-:	925	((packer_ep_push[1] && packer_ep_wready[1])) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T115,T116,T118
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	925	(packer_ep_clr[2]) ? 
-2-:	925	((packer_ep_push[2] && packer_ep_wready[2])) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T20,T115,T116
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	925	(packer_ep_clr[3]) ? 
-2-:	925	((packer_ep_push[3] && packer_ep_wready[3])) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T22,T115,T117
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	925	(packer_ep_clr[4]) ? 
-2-:	925	((packer_ep_push[4] && packer_ep_wready[4])) ? 

Branches:

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

	LineNo.	Expression
-1-:	925	(packer_ep_clr[5]) ? 
-2-:	925	((packer_ep_push[5] && packer_ep_wready[5])) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T4,T9,T118
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	925	(packer_ep_clr[6]) ? 
-2-:	925	((packer_ep_push[6] && packer_ep_wready[6])) ? 

Branches:

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

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

Branches:

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

---

Assert Coverage for Module : edn_core

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CsErrAcceptNoEntropy_A	217121993	7047	0	0
CsErrIssueNoCommands_A	217121993	7047	0	0

CsErrAcceptNoEntropy_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	217121993	7047	0	0
T14	746	1	0	0
T25	0	165	0	0
T26	0	129	0	0
T29	2043	0	0	0
T30	0	155	0	0
T44	1316	0	0	0
T52	853	0	0	0
T72	0	165	0	0
T95	0	1	0	0
T102	1873	0	0	0
T114	219228	0	0	0
T127	0	142	0	0
T146	2498	0	0	0
T163	3225	0	0	0
T166	0	129	0	0
T167	0	136	0	0
T168	0	117	0	0
T171	2092	0	0	0
T172	3957	0	0	0

CsErrIssueNoCommands_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	217121993	7047	0	0
T14	746	1	0	0
T25	0	165	0	0
T26	0	129	0	0
T29	2043	0	0	0
T30	0	155	0	0
T44	1316	0	0	0
T52	853	0	0	0
T72	0	165	0	0
T95	0	1	0	0
T102	1873	0	0	0
T114	219228	0	0	0
T127	0	142	0	0
T146	2498	0	0	0
T163	3225	0	0	0
T166	0	129	0	0
T167	0	136	0	0
T168	0	117	0	0
T171	2092	0	0	0
T172	3957	0	0	0