Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	396906024	727377	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.maxM	0	0	900	900	0	0
tb.dut.u_sm1_55.rspIdInRange	0	0	396906024	4614334	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A	0	0	396906024	2966363	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	396906024	2966363	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A	0	0	396906024	4614334	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	396906024	4614334	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	396906024	2643377	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	396906024	562789	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	396906024	213977	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange	0	0	396906024	297987	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	396906024	297987	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	396906024	3080754	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].idInRange	0	0	396906024	384984	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	396906024	384984	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	396906024	580708	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.maxM	0	0	900	900	0	0
tb.dut.u_sm1_56.rspIdInRange	0	0	396906024	3661462	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A	0	0	396906024	2990199	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	396906024	2990199	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A	0	0	396906024	3661462	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A	0	0	396906024	396790949	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	396906024	3661462	0	0

Assertions Incomplete:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	16865	0	900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	30145	0	900
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	396906024	0	0	900

---

Detail Report for Cover Sequences

Cover Sequences All Matches:

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE	SRC
tb.dut.tlul_assert_device_aes.gen_host_cov.b2bRsp_C	0	0	396906547	882	882	0
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C	0	0	396906547	325	325	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	108	108	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	30	30	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	41	41	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	54	54	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	62	62	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	85	85	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C	0	0	396906547	695	695	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C	0	0	396906547	312	312	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	140	140	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	40	40	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	52	52	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	68	68	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	80	80	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	129	129	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C	0	0	396906547	908	908	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C	0	0	396906547	323	323	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	116	116	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	35	35	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	42	42	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	64	64	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	59	59	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	92	92	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C	0	0	396906547	937	937	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C	0	0	396906547	334	334	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	79	79	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	30	30	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	28	28	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	36	36	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	44	44	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	65	65	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C	0	0	396906547	1078	1078	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C	0	0	396906547	302	302	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	45	45	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	15	15	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	15	15	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	19	19	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	23	23	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	31	31	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C	0	0	396906547	802	802	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C	0	0	396906547	330	330	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	61	61	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	20	20	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	10	10	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	34	34	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	40	40	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	51	51	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C	0	0	396906547	2235	2235	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C	0	0	396906547	1016	1016	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	257	257	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	115	115	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	41	41	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	135	135	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	65	65	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	99	99	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C	0	0	396906547	1044	1044	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C	0	0	396906547	416	416	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	110	110	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	47	47	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	33	33	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	52	52	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	62	62	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	89	89	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C	0	0	396906547	1050	1050	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C	0	0	396906547	350	350	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	110	110	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	43	43	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	47	47	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	59	59	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	60	60	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	91	91	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C	0	0	396906547	767	767	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C	0	0	396906547	361	361	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	117	117	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	43	43	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	52	52	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	52	52	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	68	68	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	103	103	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.b2bRsp_C	0	0	396906547	805	805	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.dValidNotAccepted_C	0	0	396906547	254	254	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	62	62	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	33	33	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	17	17	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	30	30	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	37	37	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	50	50	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.b2bRsp_C	0	0	396906547	836	836	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.dValidNotAccepted_C	0	0	396906547	315	315	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	109	109	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	48	48	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	35	35	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	56	56	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	56	56	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	84	84	0
tb.dut.tlul_assert_device_peri.gen_host_cov.b2bRsp_C	0	0	552364849	2778	2778	0
tb.dut.tlul_assert_device_peri.gen_host_cov.dValidNotAccepted_C	0	0	552364849	3090	3090	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_dataChangedNotAccepted_C	0	0	552364849	535	535	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_errorChangedNotAccepted_C	0	0	552364849	141	141	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	552364849	139	139	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	552364849	271	271	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	552364849	206	206	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	552364849	290	290	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.b2bRsp_C	0	0	396906547	1162	1162	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.dValidNotAccepted_C	0	0	396906547	303	303	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	123	123	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	58	58	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	48	48	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	65	65	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	68	68	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	108	108	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.b2bRsp_C	0	0	396906547	54828	54828	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.dValidNotAccepted_C	0	0	396906547	1128	1128	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	506	506	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	211	211	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	99	99	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	251	251	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	138	138	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	229	229	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.b2bRsp_C	0	0	396906547	1074	1074	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.dValidNotAccepted_C	0	0	396906547	334	334	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	68	68	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	37	37	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	14	14	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	30	30	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	43	43	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	59	59	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.b2bRsp_C	0	0	396906547	2589	2589	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.dValidNotAccepted_C	0	0	396906547	1103	1103	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	337	337	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	126	126	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	62	62	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	171	171	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	112	112	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	169	169	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.b2bRsp_C	0	0	396906547	947	947	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C	0	0	396906547	351	351	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	79	79	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	25	25	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	36	36	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	35	35	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	50	50	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	70	70	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C	0	0	396906547	911	911	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C	0	0	396906547	336	336	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	72	72	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	31	31	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	15	15	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	43	43	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	31	31	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	57	57	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C	0	0	567923872	3871	3871	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C	0	0	567923872	1650	1650	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	567923872	569	569	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	567923872	237	237	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	567923872	203	203	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	567923872	303	303	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	567923872	284	284	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	567923872	457	457	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C	0	0	559137736	4222	4222	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C	0	0	559137736	1355	1355	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	559137736	620	620	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	559137736	227	227	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	559137736	187	187	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	559137736	323	323	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	559137736	279	279	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	559137736	416	416	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C	0	0	396906547	52773	52773	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C	0	0	396906547	16534	16534	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	3431	3431	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	1357	1357	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	322	322	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	1749	1749	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	504	504	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	744	744	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C	0	0	396906547	539	539	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C	0	0	396906547	249	249	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	396906547	80	80	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	396906547	31	31	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	396906547	31	31	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	396906547	37	37	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	396906547	48	48	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	396906547	72	72	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C	0	0	574902575	5597	5597	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C	0	0	574902575	1801	1801	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C	0	0	574902575	927	927	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C	0	0	574902575	242	242	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	574902575	354	354	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	574902575	469	469	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	574902575	545	545	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	574902575	804	804	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C	0	0	396906547	145444	145444	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C	0	0	396906547	31545	31545	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C	0	0	396906547	32680	32680	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C	0	0	396906547	28228	28228	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	396906547	21837	21837	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	396906547	21565	21565	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	396906547	17448	17448	19
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C	0	0	396906547	19582	19582	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C	0	0	396906547	570805	570805	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C	0	0	396906547	139043	139043	612
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C	0	0	396906547	132459	132459	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C	0	0	396906547	30772	30772	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C	0	0	396906547	31993	31993	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C	0	0	396906547	27390	27390	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	396906547	21249	21249	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	396906547	21057	21057	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	396906547	15471	15471	15
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C	0	0	396906547	21741	21741	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C	0	0	396906547	577019	577019	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C	0	0	396906547	150285	150285	616

Go next page