Unified Coverage Report :: Module :: spi_device_csr_assert_fpv

Module : spi_device_csr_assert_fpv

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
1.72						1.72

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_fpv_spi_device_csr_assert_0/spi_device_csr_assert_fpv.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.spi_device_csr_assert	1.72						1.72

---

Module Instance : tb.dut.spi_device_csr_assert

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
1.72						1.72

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
1.72						1.72

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
91.60	94.25	84.31	96.51		87.50	95.45	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

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

Assert Coverage for Module : spi_device_csr_assert_fpv

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	58	58	100.00	1	1.72
Cover properties	0	0		0
Cover sequences	0	0		0
Total	58	58	100.00	1	1.72

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
TlulOOBAddrErr_A	550046070	0	0	0
addr_swap_data_rd_A	550046070	0	0	0
addr_swap_mask_rd_A	550046070	0	0	0
cfg_rd_A	550046070	0	0	0
cmd_filter_0_rd_A	550046070	0	0	0
cmd_filter_1_rd_A	550046070	0	0	0
cmd_filter_2_rd_A	550046070	0	0	0
cmd_filter_3_rd_A	550046070	0	0	0
cmd_filter_4_rd_A	550046070	0	0	0
cmd_filter_5_rd_A	550046070	0	0	0
cmd_filter_6_rd_A	550046070	0	0	0
cmd_filter_7_rd_A	550046070	0	0	0
cmd_info_0_rd_A	550046070	0	0	0
cmd_info_10_rd_A	550046070	0	0	0
cmd_info_11_rd_A	550046070	0	0	0
cmd_info_12_rd_A	550046070	0	0	0
cmd_info_13_rd_A	550046070	0	0	0
cmd_info_14_rd_A	550046070	0	0	0
cmd_info_15_rd_A	550046070	0	0	0
cmd_info_16_rd_A	550046070	0	0	0
cmd_info_17_rd_A	550046070	0	0	0
cmd_info_18_rd_A	550046070	0	0	0
cmd_info_19_rd_A	550046070	0	0	0
cmd_info_1_rd_A	550046070	0	0	0
cmd_info_20_rd_A	550046070	0	0	0
cmd_info_21_rd_A	550046070	0	0	0
cmd_info_22_rd_A	550046070	0	0	0
cmd_info_23_rd_A	550046070	0	0	0
cmd_info_2_rd_A	550046070	0	0	0
cmd_info_3_rd_A	550046070	0	0	0
cmd_info_4_rd_A	550046070	0	0	0
cmd_info_5_rd_A	550046070	0	0	0
cmd_info_6_rd_A	550046070	0	0	0
cmd_info_7_rd_A	550046070	0	0	0
cmd_info_8_rd_A	550046070	0	0	0
cmd_info_9_rd_A	550046070	0	0	0
cmd_info_en4b_rd_A	550046070	0	0	0
cmd_info_ex4b_rd_A	550046070	0	0	0
cmd_info_wrdi_rd_A	550046070	0	0	0
cmd_info_wren_rd_A	550046070	0	0	0
intercept_en_rd_A	550046070	0	0	0
intr_enable_rd_A	550046070	344	0	0
jedec_cc_rd_A	550046070	0	0	0
jedec_id_rd_A	550046070	0	0	0
mailbox_addr_rd_A	550046070	0	0	0
payload_swap_data_rd_A	550046070	0	0	0
payload_swap_mask_rd_A	550046070	0	0	0
read_threshold_rd_A	550046070	0	0	0
tpm_access_0_rd_A	550046070	0	0	0
tpm_access_1_rd_A	550046070	0	0	0
tpm_cfg_rd_A	550046070	0	0	0
tpm_did_vid_rd_A	550046070	0	0	0
tpm_int_enable_rd_A	550046070	0	0	0
tpm_int_status_rd_A	550046070	0	0	0
tpm_int_vector_rd_A	550046070	0	0	0
tpm_intf_capability_rd_A	550046070	0	0	0
tpm_rid_rd_A	550046070	0	0	0
tpm_sts_rd_A	550046070	0	0	0

TlulOOBAddrErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

addr_swap_data_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

addr_swap_mask_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cfg_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_2_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_3_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_4_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_5_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_6_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_filter_7_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_10_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_11_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_12_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_13_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_14_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_15_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_16_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_17_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_18_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_19_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_20_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_21_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_22_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_23_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_2_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_3_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_4_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_5_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_6_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_7_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_8_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_9_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_en4b_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_ex4b_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_wrdi_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

cmd_info_wren_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

intercept_en_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

intr_enable_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	344	0	0
T1	7274	5	0	0
T2	0	7	0	0
T3	0	11	0	0
T4	0	4	0	0
T5	0	43	0	0
T6	0	26	0	0
T7	0	20	0	0
T8	0	22	0	0
T9	0	28	0	0
T10	0	49	0	0
T11	2830	0	0	0
T12	195260	0	0	0
T13	1303	0	0	0
T14	1504	0	0	0
T15	330799	0	0	0
T16	29518	0	0	0
T17	15699	0	0	0
T18	66882	0	0	0
T19	256830	0	0	0

jedec_cc_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

jedec_id_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

mailbox_addr_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

payload_swap_data_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

payload_swap_mask_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

read_threshold_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_access_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_access_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_cfg_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_did_vid_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_int_enable_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_int_status_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_int_vector_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_intf_capability_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_rid_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0

tpm_sts_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	550046070	0	0	0