Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	359998	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_29.maxM	0	0	899	899	0	0
tb.dut.u_sm1_29.rspIdInRange	0	0	259629478	11776222	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	9123019	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	9123019	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	11776222	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	11776222	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	216182903	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	8782074	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	31215	0	899
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	803137	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].idInRange	0	0	259629478	6751243	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	6751243	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	9900066	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].idInRange	0	0	259629478	1235045	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	1235045	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2329606	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].idInRange	0	0	259629478	1262346	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	1262346	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	374531	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.maxM	0	0	899	899	0	0
tb.dut.u_sm1_30.rspIdInRange	0	0	259629478	12604203	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	8782074	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	12604203	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	8078478	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	1979496	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	815882	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].idInRange	0	0	259629478	1479744	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	1479744	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	9629297	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].idInRange	0	0	259629478	411795	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	411795	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1938840	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].idInRange	0	0	259629478	519151	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	519151	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	368849	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_31.maxM	0	0	899	899	0	0
tb.dut.u_sm1_31.rspIdInRange	0	0	259629478	11936986	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	9240076	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	9240076	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	11936986	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_31.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	11936986	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1969659	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	468757	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	200268	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].idInRange	0	0	259629478	249060	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	249060	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2034983	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].idInRange	0	0	259629478	310946	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	310946	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	497666	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_33.maxM	0	0	899	899	0	0
tb.dut.u_sm1_33.rspIdInRange	0	0	259629478	2532649	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2236132	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2236132	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2532649	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_33.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2532649	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1951556	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	461312	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	199586	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].idInRange	0	0	259629478	253428	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	253428	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2130755	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].idInRange	0	0	259629478	309332	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	309332	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	522877	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_34.maxM	0	0	899	899	0	0
tb.dut.u_sm1_34.rspIdInRange	0	0	259629478	2653632	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2211266	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2211266	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2653632	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_34.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2653632	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	207774	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