Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].idInRange	0	0	430217806	576577	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	576577	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	513875	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.maxM	0	0	900	900	0	0
tb.dut.u_sm1_31.rspIdInRange	0	0	430217806	18393395	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	13513851	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	13513851	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	18393395	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	18393395	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	2953879	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	565259	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	215780	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].idInRange	0	0	430217806	281838	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	281838	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3270076	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].idInRange	0	0	430217806	388112	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	388112	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	663426	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_33.maxM	0	0	900	900	0	0
tb.dut.u_sm1_33.rspIdInRange	0	0	430217806	3933502	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	3301342	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3301342	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	3933502	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3933502	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	3014577	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	541765	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	204542	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].idInRange	0	0	430217806	275197	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	275197	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3319441	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].idInRange	0	0	430217806	366638	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	366638	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	724421	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_34.maxM	0	0	900	900	0	0
tb.dut.u_sm1_34.rspIdInRange	0	0	430217806	4043862	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	3349784	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3349784	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	4043862	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	4043862	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	4891121	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	881614	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	203399	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].idInRange	0	0	430217806	497003	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	497003	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3003462	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].idInRange	0	0	430217806	604496	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	604496	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	839771	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_36.maxM	0	0	900	900	0	0
tb.dut.u_sm1_36.rspIdInRange	0	0	430217806	3843233	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	881614	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	3843233	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	5483610	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	1247672	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	219054	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].idInRange	0	0	430217806	726623	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	726623	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	4386804	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].idInRange	0	0	430217806	911346	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	911346	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	951351	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.maxM	0	0	900	900	0	0
tb.dut.u_sm1_38.rspIdInRange	0	0	430217806	5338155	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	1247672	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	5338155	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	4889712	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	1090414	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	219349	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].idInRange	0	0	430217806	649966	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	649966	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	4259942	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].idInRange	0	0	430217806	746267	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	746267	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	1095032	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.maxM	0	0	900	900	0	0
tb.dut.u_sm1_40.rspIdInRange	0	0	430217806	5354974	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	1090414	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	5354974	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	223788	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	223788	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	223788	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	5742192	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	223788	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	223788	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	1237020	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	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