Unified Coverage Report :: Module :: edn_core

Module : edn_core

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.58	100.00	90.30			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.58	100.00	90.30			100.00	100.00

---

Module Instance : tb.dut.u_edn_core

Instance :

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

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.47	99.92	92.48	82.54	81.50	99.52	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	97.14	100.00	100.00		85.71	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	97.14	100.00	100.00		85.71	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	98.57	100.00	100.00		92.86	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.93	100.00	100.00		74.67	100.00	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	616	1	1	100.00
CONT_ASSIGN	617	1	1	100.00
CONT_ASSIGN	626	1	1	100.00
CONT_ASSIGN	627	1	1	100.00
CONT_ASSIGN	654	1	1	100.00
CONT_ASSIGN	656	1	1	100.00
CONT_ASSIGN	660	1	1	100.00
CONT_ASSIGN	664	1	1	100.00
CONT_ASSIGN	666	1	1	100.00
CONT_ASSIGN	668	1	1	100.00
CONT_ASSIGN	697	1	1	100.00
CONT_ASSIGN	699	1	1	100.00
CONT_ASSIGN	703	1	1	100.00
CONT_ASSIGN	707	1	1	100.00
CONT_ASSIGN	709	1	1	100.00
CONT_ASSIGN	711	1	1	100.00
CONT_ASSIGN	770	1	1	100.00
CONT_ASSIGN	774	1	1	100.00
CONT_ASSIGN	777	1	1	100.00
CONT_ASSIGN	787	1	1	100.00
CONT_ASSIGN	792	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	798	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	834	1	1	100.00
CONT_ASSIGN	858	1	1	100.00
CONT_ASSIGN	859	1	1	100.00
CONT_ASSIGN	861	1	1	100.00
CONT_ASSIGN	862	1	1	100.00
CONT_ASSIGN	863	1	1	100.00
CONT_ASSIGN	864	1	1	100.00
CONT_ASSIGN	866	1	1	100.00
CONT_ASSIGN	881	1	1	100.00
CONT_ASSIGN	883	1	1	100.00
CONT_ASSIGN	885	1	1	100.00
CONT_ASSIGN	891	1	1	100.00
CONT_ASSIGN	894	1	1	100.00
CONT_ASSIGN	895	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	919	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	920	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	923	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	926	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	929	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	930	1	1	100.00
CONT_ASSIGN	950	1	1	100.00
CONT_ASSIGN	966	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
616	1	1
617	1	1
626	1	1
627	1	1
654	1	1
656	1	1
660	1	1
664	1	1
666	1	1
668	1	1
697	1	1
699	1	1
703	1	1
707	1	1
709	1	1
711	1	1
770	1	1
774	1	1
777	1	1
787	1	1
792	1	1
793	1	1
794	1	1
795	1	1
798	1	1
834	7	7
858	1	1
859	1	1
861	1	1
862	1	1
863	1	1
864	1	1
866	1	1
881	1	1
883	1	1
885	1	1
891	1	1
894	1	1
895	1	1
919	7	7
920	7	7
923	7	7
926	7	7
929	7	7
930	7	7
950	1	1
966	1	1

---

Cond Coverage for Module : edn_core

	Total	Covered	Percent
Conditions	629	568	90.30
Logical	629	568	90.30
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-711	91.76
711-966	86.67

---

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	617	5	5	100.00
TERNARY	627	2	2	100.00
TERNARY	656	2	2	100.00
TERNARY	660	2	2	100.00
TERNARY	699	2	2	100.00
TERNARY	703	2	2	100.00
TERNARY	777	6	6	100.00
TERNARY	866	3	3	100.00
TERNARY	883	2	2	100.00
TERNARY	885	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	3	3	100.00
TERNARY	923	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	T19,T13,T14
0	0	1	-	-	Covered	T19,T13,T14
0	0	0	1	-	Covered	T19,T20,T37
0	0	0	0	1	Covered	T3,T4,T18
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	T3,T4,T18
0	0	1	Covered	T3,T4,T18
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	T3,T8,T9
0	1	0	-	-	-	Covered	T3,T8,T9
0	0	-	1	1	-	Covered	T3,T8,T9
0	0	-	1	0	-	Covered	T3,T8,T9
0	0	-	0	-	1	Covered	T3,T4,T18
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	T3,T8,T9
0	0	1	-	Covered	T3,T8,T9
0	0	0	1	Covered	T3,T8,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,T2,T3
0	0	1	-	-	Covered	T3,T4,T18
0	0	0	1	-	Covered	T1,T2,T3
0	0	0	0	1	Covered	T3,T4,T18
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,T2,T3
0	0	1	-	-	Covered	T3,T4,T18
0	0	0	1	-	Covered	T1,T2,T3
0	0	0	0	1	Covered	T3,T4,T18
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	T3,T4,T18
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	T3,T4,T18
0	0	1	Covered	T3,T4,T18
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	T19,T13,T14
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	T3,T8,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)) ? 

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Covered	T1,T2,T3
0	1	-	-	Covered	T1,T2,T3
0	0	1	-	Covered	T3,T19,T13
0	0	0	1	Covered	T24,T25,T26
0	0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	617	((!edn_enable_fo[HwCmdSts])) ? 
-2-:	617	(sw_cmd_valid) ? 
-3-:	617	((cs_cmd_req_vld_out_q && csrng_cmd_i.csrng_req_ready)) ? 
-4-:	617	(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	T3,T19,T13
0	0	0	1	Covered	T3,T19,T13
0	0	0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	627	((((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	T3,T19,T13
0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T40,T39,T41
0	0	Covered	T1,T2,T3

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

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T3,T24,T40
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	227365895	6936	0	0
CsErrIssueNoCommands_A	227365895	6936	0	0

CsErrAcceptNoEntropy_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	227365895	6936	0	0
T24	2486	169	0	0
T25	1770	117	0	0
T26	2346	117	0	0
T39	2039	0	0	0
T40	1625	0	0	0
T44	2623	0	0	0
T45	3207	0	0	0
T51	1341	0	0	0
T75	1247	0	0	0
T85	8056	0	0	0
T89	0	157	0	0
T91	0	161	0	0
T93	0	146	0	0
T130	0	129	0	0
T131	0	129	0	0
T161	0	129	0	0
T162	0	129	0	0

CsErrIssueNoCommands_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	227365895	6936	0	0
T24	2486	169	0	0
T25	1770	117	0	0
T26	2346	117	0	0
T39	2039	0	0	0
T40	1625	0	0	0
T44	2623	0	0	0
T45	3207	0	0	0
T51	1341	0	0	0
T75	1247	0	0	0
T85	8056	0	0	0
T89	0	157	0	0
T91	0	161	0	0
T93	0	146	0	0
T130	0	129	0	0
T131	0	129	0	0
T161	0	129	0	0
T162	0	129	0	0