Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sm1_53.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_53.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3348873	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	4192265	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_53.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	4192265	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	3023890	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	643725	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	225157	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].idInRange	0	0	430217806	332476	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	332476	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	2854240	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].idInRange	0	0	430217806	453310	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	453310	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	675955	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_54.maxM	0	0	900	900	0	0
tb.dut.u_sm1_54.rspIdInRange	0	0	430217806	3530195	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	3440442	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3440442	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	3530195	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_54.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3530195	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	2943519	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	540941	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	217152	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].idInRange	0	0	430217806	277083	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	277083	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3794548	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].idInRange	0	0	430217806	359877	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	359877	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	798323	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_55.maxM	0	0	900	900	0	0
tb.dut.u_sm1_55.rspIdInRange	0	0	430217806	4592871	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	3265292	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3265292	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	4592871	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_55.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	4592871	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckHotOne_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesReady_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GntImpliesValid_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.GrantKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IdxKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.IndexIsCorrect_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A	0	0	430217806	2940267	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ReqImpliesValid_A	0	0	430217806	596278	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.ValidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A	0	0	430217806	217948	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].idInRange	0	0	430217806	308700	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	308700	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	3234674	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].idInRange	0	0	430217806	412511	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A	0	0	430217806	412511	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A	0	0	430217806	723586	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass	0	0	900	900	0	0
tb.dut.u_sm1_56.maxM	0	0	900	900	0	0
tb.dut.u_sm1_56.rspIdInRange	0	0	430217806	3958260	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DataKnown_A	0	0	430217806	3316581	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3316581	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DataKnown_A	0	0	430217806	3958260	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.DepthKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.RvalidKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.WreadyKnown_A	0	0	430217806	430092490	0	0
tb.dut.u_sm1_56.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth	0	0	430217806	3958260	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	430217806	18140	0	900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_30.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	26394	0	900
tb.dut.u_sm1_31.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_33.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_34.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_36.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_38.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_40.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_42.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_43.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_44.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_45.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_46.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_47.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_54.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_55.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900
tb.dut.u_sm1_56.gen_arb_ppc.u_reqarb.RoundRobin_A	0	0	430217806	0	0	900

---

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	430218303	1134	1134	0
tb.dut.tlul_assert_device_aes.gen_host_cov.dValidNotAccepted_C	0	0	430218303	365	365	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	96	96	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	35	35	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	42	42	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	47	47	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	56	56	0
tb.dut.tlul_assert_device_aes.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	83	83	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.b2bRsp_C	0	0	430218303	803	803	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.dValidNotAccepted_C	0	0	430218303	368	368	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	113	113	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	24	24	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	43	43	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	58	58	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	61	61	0
tb.dut.tlul_assert_device_csrng.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	102	102	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.b2bRsp_C	0	0	430218303	931	931	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.dValidNotAccepted_C	0	0	430218303	385	385	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	146	146	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	62	62	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	48	48	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	76	76	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	75	75	0
tb.dut.tlul_assert_device_edn0.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	119	119	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.b2bRsp_C	0	0	430218303	876	876	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.dValidNotAccepted_C	0	0	430218303	329	329	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	138	138	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	43	43	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	46	46	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	58	58	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	83	83	0
tb.dut.tlul_assert_device_edn1.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	122	122	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.b2bRsp_C	0	0	430218303	1025	1025	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.dValidNotAccepted_C	0	0	430218303	461	461	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	84	84	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	29	29	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	28	28	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	36	36	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	43	43	0
tb.dut.tlul_assert_device_entropy_src.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	61	61	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.b2bRsp_C	0	0	430218303	798	798	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.dValidNotAccepted_C	0	0	430218303	352	352	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	97	97	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	39	39	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	49	49	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	38	38	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	58	58	0
tb.dut.tlul_assert_device_flash_ctrl__core.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	87	87	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.b2bRsp_C	0	0	430218303	1965	1965	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.dValidNotAccepted_C	0	0	430218303	1206	1206	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	332	332	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	115	115	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	76	76	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	155	155	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	97	97	0
tb.dut.tlul_assert_device_flash_ctrl__mem.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	151	151	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.b2bRsp_C	0	0	430218303	973	973	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.dValidNotAccepted_C	0	0	430218303	380	380	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	113	113	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	39	39	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	44	44	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	65	65	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	68	68	0
tb.dut.tlul_assert_device_flash_ctrl__prim.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	98	98	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.b2bRsp_C	0	0	430218303	743	743	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.dValidNotAccepted_C	0	0	430218303	366	366	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	105	105	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	38	38	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	42	42	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	58	58	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	70	70	0
tb.dut.tlul_assert_device_hmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	91	91	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.b2bRsp_C	0	0	430218303	808	808	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.dValidNotAccepted_C	0	0	430218303	313	313	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	109	109	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	49	49	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	47	47	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	51	51	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	73	73	0
tb.dut.tlul_assert_device_keymgr.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	97	97	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.b2bRsp_C	0	0	430218303	1126	1126	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.dValidNotAccepted_C	0	0	430218303	445	445	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	153	153	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	67	67	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	51	51	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	89	89	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	98	98	0
tb.dut.tlul_assert_device_kmac.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	125	125	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.b2bRsp_C	0	0	430218303	846	846	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.dValidNotAccepted_C	0	0	430218303	374	374	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_dataChangedNotAccepted_C	0	0	430218303	84	84	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_errorChangedNotAccepted_C	0	0	430218303	31	31	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_opcodeChangedNotAccepted_C	0	0	430218303	40	40	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sinkChangedNotAccepted_C	0	0	430218303	39	39	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sizeChangedNotAccepted_C	0	0	430218303	45	45	0
tb.dut.tlul_assert_device_otbn.gen_host_cov.d_sourceChangedNotAccepted_C	0	0	430218303	73	73	0

Go next page