Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1958280	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	436675	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	199196	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].idInRange	0	0	259629478	234237	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	234237	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1956236	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].idInRange	0	0	259629478	298605	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	298605	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	452109	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_44.maxM	0	0	899	899	0	0
tb.dut.u_sm1_44.rspIdInRange	0	0	259629478	2408345	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2193743	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2193743	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2408345	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2408345	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1971697	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	440325	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	187611	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].idInRange	0	0	259629478	232408	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	232408	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2090067	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].idInRange	0	0	259629478	296686	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	296686	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	461296	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_45.maxM	0	0	899	899	0	0
tb.dut.u_sm1_45.rspIdInRange	0	0	259629478	2551363	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2222395	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2222395	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2551363	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_45.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2551363	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2012287	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	498718	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	206819	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].idInRange	0	0	259629478	278633	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	278633	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2230128	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].idInRange	0	0	259629478	334271	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	334271	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	522019	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_46.maxM	0	0	899	899	0	0
tb.dut.u_sm1_46.rspIdInRange	0	0	259629478	2752147	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2302170	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2302170	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2752147	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_46.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2752147	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2000365	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	472549	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	194975	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].idInRange	0	0	259629478	251656	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	251656	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1654338	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].idInRange	0	0	259629478	318085	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	318085	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	429200	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_47.maxM	0	0	899	899	0	0
tb.dut.u_sm1_47.rspIdInRange	0	0	259629478	2083538	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2275923	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2275923	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2083538	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_47.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2083538	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1969920	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	447733	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	200266	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].idInRange	0	0	259629478	240218	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	240218	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1826395	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].idInRange	0	0	259629478	300464	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	300464	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	461752	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_48.maxM	0	0	899	899	0	0
tb.dut.u_sm1_48.rspIdInRange	0	0	259629478	2288147	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2215371	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2215371	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2288147	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2288147	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