Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_53.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2145263	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	2035425	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	515982	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	202833	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].idInRange	0	0	259629478	280485	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	280485	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2428261	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].idInRange	0	0	259629478	354724	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	354724	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	537635	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_54.maxM	0	0	899	899	0	0
tb.dut.u_sm1_54.rspIdInRange	0	0	259629478	2965896	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2346558	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2346558	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2965896	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2965896	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1988548	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	498050	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	201917	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].idInRange	0	0	259629478	277939	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	277939	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	1723634	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].idInRange	0	0	259629478	337615	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	337615	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	409545	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_55.maxM	0	0	899	899	0	0
tb.dut.u_sm1_55.rspIdInRange	0	0	259629478	2133179	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2282665	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2282665	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2133179	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2133179	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1983934	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	502068	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	201355	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange	0	0	259629478	272481	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	272481	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2034876	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].idInRange	0	0	259629478	343385	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	343385	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	472900	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_56.maxM	0	0	899	899	0	0
tb.dut.u_sm1_56.rspIdInRange	0	0	259629478	2507776	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2282631	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2282631	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2507776	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2507776	0	0

Assertions Incomplete:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	19687	0	899
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	31215	0	899
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	259629478	0	0	899

Detail Report for Cover Sequences

Cover Sequences All Matches:

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE	SRC
tb.dut.tlul_assert_device_aes.gen_host_cov.b2bRsp_C	0	0	259629986	665	665	0
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C	0	0	259629986	194	194	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	94	94	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	36	36	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	40	40	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	46	46	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	52	52	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	81	81	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C	0	0	259629986	756	756	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C	0	0	259629986	176	176	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	55	55	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	22	22	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	19	19	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	27	27	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	35	35	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	51	51	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C	0	0	259629986	668	668	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C	0	0	259629986	185	185	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	70	70	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	23	23	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	28	28	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	38	38	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	38	38	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	57	57	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C	0	0	259629986	993	993	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C	0	0	259629986	195	195	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	68	68	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	22	22	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	27	27	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	31	31	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	36	36	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	66	66	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C	0	0	259629986	778	778	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C	0	0	259629986	245	245	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	81	81	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	28	28	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	27	27	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	44	44	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	48	48	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	67	67	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C	0	0	259629986	727	727	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C	0	0	259629986	155	155	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	60	60	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	29	29	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	19	19	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	26	26	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	33	33	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	47	47	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C	0	0	259629986	2467	2467	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C	0	0	259629986	1144	1144	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	282	282	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	104	104	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	58	58	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	137	137	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	88	88	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	137	137	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C	0	0	259629986	510	510	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C	0	0	259629986	155	155	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	30	30	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	9	9	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	5	5	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	12	12	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	16	16	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	22	22	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C	0	0	259629986	755	755	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C	0	0	259629986	188	188	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	44	44	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	23	23	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	259629986	16	16	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	259629986	25	25	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	259629986	24	24	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	259629986	35	35	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C	0	0	259629986	948	948	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C	0	0	259629986	260	260	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C	0	0	259629986	77	77	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C	0	0	259629986	38	38	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