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	403733496	403619028	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	639832	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	3836659	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A	0	0	403733496	3260319	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	403733496	3260319	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A	0	0	403733496	3836659	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	403733496	3836659	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	403733496	403619028	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	403733496	220340	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	403733496	220340	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	403733496	220340	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	403733496	2918416	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	403733496	220340	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	403733496	220340	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	403733496	587444	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	403733496	220340	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange	0	0	403733496	304808	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	403733496	304808	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	3261990	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	401419	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	403733496	401419	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	666764	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	403733496	403619028	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	403733496	3928754	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A	0	0	403733496	3283571	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	403733496	3283571	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A	0	0	403733496	3928754	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A	0	0	403733496	403619028	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	403733496	3928754	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	403733496	14780	0	900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	29634	0	900
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	0	0	900
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	403733496	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	403733992	821	821	0
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C	0	0	403733992	307	307	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	68	68	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	17	17	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	24	24	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	22	22	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	26	26	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	52	52	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C	0	0	403733992	727	727	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C	0	0	403733992	267	267	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	50	50	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	21	21	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	14	14	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	26	26	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	40	40	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C	0	0	403733992	723	723	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C	0	0	403733992	263	263	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	76	76	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	23	23	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	29	29	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	39	39	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	38	38	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	61	61	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C	0	0	403733992	484	484	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C	0	0	403733992	248	248	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	69	69	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	29	29	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	24	24	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	33	33	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	40	40	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	58	58	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C	0	0	403733992	846	846	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C	0	0	403733992	344	344	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	74	74	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	11	11	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	44	44	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	48	48	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	65	65	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C	0	0	403733992	728	728	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C	0	0	403733992	256	256	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	71	71	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	24	24	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	24	24	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	29	29	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	53	53	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C	0	0	403733992	1998	1998	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C	0	0	403733992	891	891	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	161	161	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	64	64	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	21	21	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	78	78	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	34	34	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	49	49	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C	0	0	403733992	651	651	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C	0	0	403733992	270	270	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	61	61	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	18	18	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	22	22	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	26	26	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	23	23	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	44	44	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C	0	0	403733992	809	809	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C	0	0	403733992	377	377	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	95	95	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	14	14	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	42	42	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	50	50	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	56	56	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	85	85	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C	0	0	403733992	717	717	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C	0	0	403733992	250	250	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	65	65	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	25	25	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	22	22	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	32	32	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	34	34	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	50	50	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.b2bRsp_C	0	0	403733992	557	557	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.dValidNotAccepted_C	0	0	403733992	248	248	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	79	79	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	29	29	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	42	42	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	41	41	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	65	65	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.b2bRsp_C	0	0	403733992	721	721	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.dValidNotAccepted_C	0	0	403733992	316	316	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	53	53	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	27	27	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	16	16	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	27	27	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	20	20	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	32	32	0
tb.dut.tlul_assert_device_peri.gen_host_cov.b2bRsp_C	0	0	467595591	7540	7540	0
tb.dut.tlul_assert_device_peri.gen_host_cov.dValidNotAccepted_C	0	0	467595591	981	981	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_dataChangedNotAccepted_C	0	0	467595591	297	297	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_errorChangedNotAccepted_C	0	0	467595591	81	81	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	467595591	76	76	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	467595591	138	138	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	467595591	117	117	0
tb.dut.tlul_assert_device_peri.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	467595591	172	172	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.b2bRsp_C	0	0	403733992	747	747	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.dValidNotAccepted_C	0	0	403733992	435	435	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	133	133	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	48	48	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	59	59	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	63	63	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	78	78	0
tb.dut.tlul_assert_device_rom_ctrl__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	118	118	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.b2bRsp_C	0	0	403733992	62990	62990	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.dValidNotAccepted_C	0	0	403733992	1058	1058	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	538	538	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	234	234	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	116	116	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	271	271	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	174	174	0
tb.dut.tlul_assert_device_rom_ctrl__rom.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	252	252	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.b2bRsp_C	0	0	403733992	806	806	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.dValidNotAccepted_C	0	0	403733992	290	290	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	81	81	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	32	32	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	39	39	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	36	36	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	51	51	0
tb.dut.tlul_assert_device_rv_core_ibex__cfg.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	74	74	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.b2bRsp_C	0	0	403733992	2228	2228	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.dValidNotAccepted_C	0	0	403733992	1028	1028	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	291	291	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	103	103	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	63	63	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	141	141	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	113	113	0
tb.dut.tlul_assert_device_rv_dm__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	165	165	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.b2bRsp_C	0	0	403733992	698	698	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.dValidNotAccepted_C	0	0	403733992	262	262	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	95	95	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	45	45	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	27	27	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	44	44	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	55	55	0
tb.dut.tlul_assert_device_rv_dm__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	79	79	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.b2bRsp_C	0	0	403733992	606	606	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.dValidNotAccepted_C	0	0	403733992	214	214	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	45	45	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	17	17	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	18	18	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	28	28	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	19	19	0
tb.dut.tlul_assert_device_rv_plic.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.b2bRsp_C	0	0	492416844	7955	7955	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.dValidNotAccepted_C	0	0	492416844	758	758	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	492416844	542	542	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	492416844	214	214	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	492416844	157	157	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	492416844	247	247	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	492416844	263	263	0
tb.dut.tlul_assert_device_spi_host0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	492416844	395	395	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.b2bRsp_C	0	0	533573389	7586	7586	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.dValidNotAccepted_C	0	0	533573389	809	809	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	533573389	403	403	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	533573389	106	106	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	533573389	144	144	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	533573389	206	206	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	533573389	212	212	0
tb.dut.tlul_assert_device_spi_host1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	533573389	291	291	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.b2bRsp_C	0	0	403733992	71397	71397	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.dValidNotAccepted_C	0	0	403733992	12295	12295	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	3504	3504	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	1299	1299	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	250	250	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	1727	1727	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	373	373	0
tb.dut.tlul_assert_device_sram_ctrl_main__ram.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	571	571	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.b2bRsp_C	0	0	403733992	694	694	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.dValidNotAccepted_C	0	0	403733992	261	261	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_dataChangedNotAccepted_C	0	0	403733992	66	66	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_errorChangedNotAccepted_C	0	0	403733992	32	32	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	403733992	24	24	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	403733992	31	31	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	403733992	33	33	0
tb.dut.tlul_assert_device_sram_ctrl_main__regs.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	403733992	52	52	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.b2bRsp_C	0	0	517978467	10121	10121	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.dValidNotAccepted_C	0	0	517978467	980	980	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_dataChangedNotAccepted_C	0	0	517978467	249	249	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_errorChangedNotAccepted_C	0	0	517978467	108	108	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	517978467	59	59	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	517978467	121	121	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	517978467	94	94	0
tb.dut.tlul_assert_device_usbdev.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	517978467	150	150	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.aValidNotAccepted_C	0	0	403733992	142086	142086	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_addressChangedNotAccepted_C	0	0	403733992	31495	31495	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_dataChangedNotAccepted_C	0	0	403733992	32560	32560	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_maskChangedNotAccepted_C	0	0	403733992	28253	28253	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	403733992	21738	21738	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	403733992	21621	21621	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	403733992	16202	16202	15
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReqWithSameAddr_C	0	0	403733992	23475	23475	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bReq_C	0	0	403733992	664632	664632	0
tb.dut.tlul_assert_host_rv_core_ibex__cored.gen_device_cov.b2bSameSource_C	0	0	403733992	141944	141944	605
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.aValidNotAccepted_C	0	0	403733992	120833	120833	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_addressChangedNotAccepted_C	0	0	403733992	27342	27342	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_dataChangedNotAccepted_C	0	0	403733992	28360	28360	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_maskChangedNotAccepted_C	0	0	403733992	24209	24209	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	403733992	18844	18844	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	403733992	18684	18684	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	403733992	13382	13382	14
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReqWithSameAddr_C	0	0	403733992	25589	25589	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bReq_C	0	0	403733992	667677	667677	0
tb.dut.tlul_assert_host_rv_core_ibex__corei.gen_device_cov.b2bSameSource_C	0	0	403733992	157528	157528	606

Go next page