Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_48.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_48.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	4220830	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3458380	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	681347	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	259183	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].idInRange	0	0	442452457	364821	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	364821	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3831835	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].idInRange	0	0	442452457	456426	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	456426	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	763607	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_49.maxM	0	0	900	900	0	0
tb.dut.u_sm1_49.rspIdInRange	0	0	442452457	4595442	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3878387	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3878387	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	4595442	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_49.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	4595442	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3410756	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	659047	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	256368	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].idInRange	0	0	442452457	344428	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	344428	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3337884	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].idInRange	0	0	442452457	446273	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	446273	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	782288	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_50.maxM	0	0	900	900	0	0
tb.dut.u_sm1_50.rspIdInRange	0	0	442452457	4120172	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3811278	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3811278	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	4120172	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_50.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	4120172	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3449650	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	682152	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	269170	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].idInRange	0	0	442452457	357100	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	357100	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3346356	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].idInRange	0	0	442452457	465065	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	465065	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	759390	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_51.maxM	0	0	900	900	0	0
tb.dut.u_sm1_51.rspIdInRange	0	0	442452457	4105746	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3860475	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3860475	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	4105746	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_51.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	4105746	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3414081	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	619102	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	248070	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].idInRange	0	0	442452457	332382	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	332382	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3072527	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].idInRange	0	0	442452457	406922	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	406922	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	642580	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_52.maxM	0	0	900	900	0	0
tb.dut.u_sm1_52.rspIdInRange	0	0	442452457	3715107	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3782956	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3782956	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	3715107	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_52.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3715107	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3315352	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	644179	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	251684	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].idInRange	0	0	442452457	332499	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	332499	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3173761	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].idInRange	0	0	442452457	438642	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	438642	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	684699	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_53.maxM	0	0	900	900	0	0
tb.dut.u_sm1_53.rspIdInRange	0	0	442452457	3858460	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3705690	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3705690	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	3858460	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3858460	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3380421	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	678983	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	249622	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].idInRange	0	0	442452457	351673	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	351673	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	3357443	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].idInRange	0	0	442452457	465049	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	465049	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	767978	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.maxM	0	0	900	900	0	0
tb.dut.u_sm1_54.rspIdInRange	0	0	442452457	4125421	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DataKnown_A	0	0	442452457	3807625	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	3807625	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DataKnown_A	0	0	442452457	4125421	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	442452457	4125421	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	442452457	3357242	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	442452457	612160	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	442452457	244649	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].idInRange	0	0	442452457	309227	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	309227	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	442452457	2946300	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	442452457	442312719	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].idInRange	0	0	442452457	412620	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	442452457	412620	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	442452457	442312719	0	0

Go next page

	ASSERT	PROPERTIES	SEQUENCES
Total	9270	0	222
Category 0	9270	0	222

	ASSERT	PROPERTIES	SEQUENCES
Total	9270	0	222
Severity 0	9270	0	222

	NUMBER	PERCENT
Total Number	9270	100.00
Uncovered	70	0.76
Success	9200	99.24
Failure	0	0.00
Incomplete	24	0.26
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