Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1979528	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	492434	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	201781	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].idInRange	0	0	259629478	254394	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	254394	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2241722	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].idInRange	0	0	259629478	333818	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	333818	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	547762	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_49.maxM	0	0	899	899	0	0
tb.dut.u_sm1_49.rspIdInRange	0	0	259629478	2789484	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2268165	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2268165	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2789484	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2789484	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1938284	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	456193	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	199281	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].idInRange	0	0	259629478	249503	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	249503	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2074935	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].idInRange	0	0	259629478	308703	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	308703	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	520691	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_50.maxM	0	0	899	899	0	0
tb.dut.u_sm1_50.rspIdInRange	0	0	259629478	2595626	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2193180	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2193180	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2595626	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2595626	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2108625	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	503210	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	222538	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].idInRange	0	0	259629478	268516	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	268516	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2113552	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].idInRange	0	0	259629478	336275	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	336275	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	515476	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_51.maxM	0	0	899	899	0	0
tb.dut.u_sm1_51.rspIdInRange	0	0	259629478	2629028	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2387281	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2387281	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2629028	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2629028	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2027107	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	523153	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	204817	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].idInRange	0	0	259629478	289414	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	289414	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2244905	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].idInRange	0	0	259629478	358882	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	358882	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	511706	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_52.maxM	0	0	899	899	0	0
tb.dut.u_sm1_52.rspIdInRange	0	0	259629478	2756611	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2343427	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2343427	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2756611	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2756611	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2013098	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	513147	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	208052	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].idInRange	0	0	259629478	282145	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	282145	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1684813	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].idInRange	0	0	259629478	349771	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	349771	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	460450	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_53.maxM	0	0	899	899	0	0
tb.dut.u_sm1_53.rspIdInRange	0	0	259629478	2145263	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2316177	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2316177	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2145263	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0

Go next page

	ASSERT	PROPERTIES	SEQUENCES
Total	9532	0	222
Category 0	9532	0	222

	ASSERT	PROPERTIES	SEQUENCES
Total	9532	0	222
Severity 0	9532	0	222

	NUMBER	PERCENT
Total Number	9532	100.00
Uncovered	70	0.73
Success	9462	99.27
Failure	0	0.00
Incomplete	24	0.25
Without Attempts	0	0.00

	NUMBER	PERCENT
Total Number	222	100.00
Uncovered	0	0.00
All Matches	222	100.00
First Matches	222	100.00