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	432248515	432122964	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	675730	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	3759000	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A	0	0	432248515	3580920	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	432248515	3580920	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A	0	0	432248515	3759000	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	432248515	3759000	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	432248515	432122964	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	432248515	245463	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	432248515	245463	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	432248515	245463	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	432248515	3136609	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	432248515	245463	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	432248515	245463	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	432248515	580298	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	432248515	245463	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange	0	0	432248515	299270	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	432248515	299270	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	3462876	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	384676	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	432248515	384676	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	709657	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	432248515	432122964	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	432248515	4172533	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A	0	0	432248515	3469458	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	432248515	3469458	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A	0	0	432248515	4172533	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A	0	0	432248515	432122964	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	432248515	4172533	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	432248515	23389	0	900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	35712	0	900
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	0	0	900
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	432248515	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	432249004	978	978	0
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C	0	0	432249004	301	301	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	44	44	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	18	18	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	24	24	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	35	35	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C	0	0	432249004	964	964	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C	0	0	432249004	319	319	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	77	77	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	26	26	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	30	30	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	46	46	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	35	35	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	58	58	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C	0	0	432249004	824	824	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C	0	0	432249004	343	343	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	64	64	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	22	22	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	30	30	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	33	33	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	50	50	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C	0	0	432249004	919	919	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C	0	0	432249004	269	269	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	47	47	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	16	16	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	18	18	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	26	26	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	26	26	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	40	40	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C	0	0	432249004	1103	1103	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C	0	0	432249004	419	419	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	59	59	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	24	24	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	27	27	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	28	28	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	31	31	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	52	52	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C	0	0	432249004	614	614	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C	0	0	432249004	259	259	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	39	39	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	13	13	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	15	15	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	23	23	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	12	12	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	28	28	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C	0	0	432249004	2427	2427	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C	0	0	432249004	1097	1097	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	158	158	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	59	59	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	23	23	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	81	81	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	32	32	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	44	44	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C	0	0	432249004	731	731	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C	0	0	432249004	327	327	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	51	51	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	14	14	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	14	14	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	23	23	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	18	18	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	31	31	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C	0	0	432249004	1230	1230	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C	0	0	432249004	406	406	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	105	105	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	42	42	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	43	43	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	46	46	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	57	57	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	94	94	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C	0	0	432249004	759	759	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C	0	0	432249004	232	232	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	51	51	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	17	17	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	28	28	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	30	30	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	45	45	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.b2bRsp_C	0	0	432249004	650	650	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.dValidNotAccepted_C	0	0	432249004	328	328	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	77	77	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	29	29	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	29	29	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	34	34	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	38	38	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	61	61	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.b2bRsp_C	0	0	432249004	842	842	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.dValidNotAccepted_C	0	0	432249004	244	244	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	33	33	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	7	7	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	14	14	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	16	16	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	14	14	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	26	26	0
tb.dut.tlul_assert_device_peri.gen_host_cov.b2bRsp_C	0	0	539299701	8221	8221	0
tb.dut.tlul_assert_device_peri.gen_host_cov.dValidNotAccepted_C	0	0	539299701	677	677	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_dataChangedNotAccepted_C	0	0	539299701	115	115	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_errorChangedNotAccepted_C	0	0	539299701	46	46	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	539299701	19	19	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	539299701	52	52	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	539299701	49	49	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	539299701	57	57	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.b2bRsp_C	0	0	432249004	824	824	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.dValidNotAccepted_C	0	0	432249004	220	220	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	40	40	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	16	16	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	22	22	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	21	21	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	27	27	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.b2bRsp_C	0	0	432249004	88376	88376	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.dValidNotAccepted_C	0	0	432249004	1107	1107	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	443	443	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	140	140	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	75	75	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	229	229	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	97	97	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	155	155	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.b2bRsp_C	0	0	432249004	721	721	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.dValidNotAccepted_C	0	0	432249004	187	187	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	42	42	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	10	10	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	10	10	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	19	19	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	22	22	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	32	32	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.b2bRsp_C	0	0	432249004	2360	2360	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.dValidNotAccepted_C	0	0	432249004	991	991	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	277	277	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	101	101	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	69	69	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	151	151	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	95	95	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	138	138	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.b2bRsp_C	0	0	432249004	1134	1134	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C	0	0	432249004	491	491	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	74	74	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	40	40	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	24	24	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	28	28	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	42	42	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	64	64	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C	0	0	432249004	731	731	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C	0	0	432249004	359	359	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	71	71	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	20	20	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	26	26	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	34	34	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	41	41	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	59	59	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C	0	0	550357983	11837	11837	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C	0	0	550357983	1382	1382	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	550357983	434	434	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	550357983	128	128	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	550357983	136	136	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	550357983	219	219	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	550357983	180	180	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	550357983	278	278	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C	0	0	536892158	11713	11713	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C	0	0	536892158	3130	3130	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	536892158	142	142	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	536892158	42	42	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	536892158	48	48	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	536892158	65	65	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	536892158	79	79	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	536892158	116	116	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C	0	0	432249004	80950	80950	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C	0	0	432249004	14113	14113	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	3432	3432	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	1392	1392	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	334	334	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	1735	1735	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	517	517	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	762	762	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C	0	0	432249004	849	849	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C	0	0	432249004	329	329	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	432249004	75	75	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	432249004	38	38	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	432249004	29	29	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	432249004	36	36	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	432249004	43	43	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	432249004	65	65	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C	0	0	555925431	9493	9493	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C	0	0	555925431	2050	2050	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C	0	0	555925431	327	327	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C	0	0	555925431	98	98	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	555925431	125	125	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	555925431	168	168	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	555925431	184	184	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	555925431	278	278	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C	0	0	432249004	166635	166635	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C	0	0	432249004	35379	35379	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C	0	0	432249004	36530	36530	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C	0	0	432249004	31638	31638	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	432249004	24487	24487	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	432249004	24068	24068	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	432249004	17348	17348	22
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C	0	0	432249004	27258	27258	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C	0	0	432249004	875807	875807	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C	0	0	432249004	169056	169056	611
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C	0	0	432249004	155496	155496	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C	0	0	432249004	31568	31568	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C	0	0	432249004	32759	32759	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C	0	0	432249004	27951	27951	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	432249004	21908	21908	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	432249004	21565	21565	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	432249004	15454	15454	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C	0	0	432249004	31519	31519	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C	0	0	432249004	872130	872130	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C	0	0	432249004	195595	195595	619

Go next page