Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	207774	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	207774	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	3175003	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	207774	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	207774	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	1133874	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	207774	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].idInRange	0	0	259629478	754888	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	754888	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2227639	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].idInRange	0	0	259629478	845510	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	845510	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	478986	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_36.maxM	0	0	899	899	0	0
tb.dut.u_sm1_36.rspIdInRange	0	0	259629478	2706625	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	1133874	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2706625	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_36.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	3299294	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	937353	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	202745	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].idInRange	0	0	259629478	591228	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	591228	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2284850	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].idInRange	0	0	259629478	654838	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	654838	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	686839	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.maxM	0	0	899	899	0	0
tb.dut.u_sm1_38.rspIdInRange	0	0	259629478	2971689	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	937353	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2971689	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_38.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	3274481	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	855869	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	197203	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].idInRange	0	0	259629478	518650	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	518650	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2032912	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].idInRange	0	0	259629478	600031	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	600031	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	532457	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.maxM	0	0	899	899	0	0
tb.dut.u_sm1_40.rspIdInRange	0	0	259629478	2565369	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	855869	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2565369	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_40.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	3291362	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	947825	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	201386	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].idInRange	0	0	259629478	614316	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	614316	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2095798	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].idInRange	0	0	259629478	683552	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	683552	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	494718	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.maxM	0	0	899	899	0	0
tb.dut.u_sm1_42.rspIdInRange	0	0	259629478	2590516	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	947825	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	2590516	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_42.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	259629478	1983295	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	259629478	458413	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	259629478	201571	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].idInRange	0	0	259629478	251097	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	251097	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	2491050	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].idInRange	0	0	259629478	302891	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	259629478	302891	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	259629478	583997	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	899	899	0	0
tb.dut.u_sm1_43.maxM	0	0	899	899	0	0
tb.dut.u_sm1_43.rspIdInRange	0	0	259629478	3075047	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.DataKnown_A	0	0	259629478	2238121	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	2238121	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.DataKnown_A	0	0	259629478	3075047	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.DataKnown_AKnownEnable	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.DepthKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.RvalidKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.WreadyKnown_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_43.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	259629478	3075047	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	259629478	259512400	0	0
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	899	899	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