Unified Coverage Report

Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.DataKnown_A	0	0	430217806	1954134	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.DataKnown_A	0	0	430217806	552629	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.DataKnown_A	0	0	430217806	604496	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.DataKnown_A	0	0	430217806	839771	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.DataKnown_A	0	0	430217806	911346	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.DataKnown_A	0	0	430217806	951351	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.DataKnown_A	0	0	430217806	746267	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.DataKnown_A	0	0	430217806	1095032	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.DataKnown_A	0	0	430217806	826240	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.DataKnown_A	0	0	430217806	944214	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.DataKnown_A	0	0	430217806	397797	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.DataKnown_A	0	0	430217806	826147	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A	0	0	900	900	0	0
tb.dut.u_s1n_57.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck	0	0	900	900	0	0
tb.dut.u_s1n_57.maxN	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	11319148	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	2284159	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	18140	0	900
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	877825	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].idInRange	0	0	430217806	1673604	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	1673604	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	14964109	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].idInRange	0	0	430217806	435108	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	435108	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3447986	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].idInRange	0	0	430217806	559926	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	559926	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	557853	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_28.maxM	0	0	900	900	0	0
tb.dut.u_sm1_28.rspIdInRange	0	0	430217806	18969948	0	0
tb.dut.u_sm1_28.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	13601291	0	0
tb.dut.u_sm1_28.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	13601291	0	0
tb.dut.u_sm1_28.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	18969948	0	0
tb.dut.u_sm1_28.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_28.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	18969948	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	12145216	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	2606750	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	883679	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].idInRange	0	0	430217806	1940553	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	1940553	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	15179500	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].idInRange	0	0	430217806	574711	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	574711	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3275044	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].idInRange	0	0	430217806	693839	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	693839	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	549673	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_29.maxM	0	0	900	900	0	0
tb.dut.u_sm1_29.rspIdInRange	0	0	430217806	19004217	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	13866271	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	13866271	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	19004217	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_29.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	19004217	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	361600352	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	13194397	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	26394	0	900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	879581	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].idInRange	0	0	430217806	10116157	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	10116157	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	15819014	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].idInRange	0	0	430217806	1917704	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	1917704	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3864013	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].idInRange	0	0	430217806	1954134	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	1954134	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	552629	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.maxM	0	0	900	900	0	0
tb.dut.u_sm1_30.rspIdInRange	0	0	430217806	20235656	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	13194397	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	20235656	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_30.u_devicefifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	11968093	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	2400805	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	853031	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].idInRange	0	0	430217806	1806676	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	1806676	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	14850753	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].idInRange	0	0	430217806	451728	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	451728	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3028767	0	0
tb.dut.u_sm1_31.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_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