Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total95320222
Category 095320222

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total95320222
Severity 095320222

Summary for Assertions
NUMBERPERCENT
Total Number9532100.00
Uncovered700.73
Success946299.27
Failure00.00
Incomplete240.25
Without Attempts00.00

Summary for Cover Sequences
NUMBERPERCENT
Total Number222100.00
Uncovered00.00
All Matches222100.00
First Matches222100.00
Go previous page
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETE
tb.dut.u_s1n_57.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.DataKnown_A 0025962947834977100
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.DataKnown_A 0025962947846045000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[20].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.DataKnown_A 0025962947835472400
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.DataKnown_A 0025962947853763500
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[21].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.DataKnown_A 0025962947833761500
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.DataKnown_A 0025962947840954500
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[22].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.DataKnown_A 0025962947834338500
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.DataKnown_A 0025962947847290000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[23].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 0025962947844749600
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 0025962947835999800
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.DataKnown_A 0025962947830933200
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.DataKnown_A 0025962947852287700
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[3].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.DataKnown_A 00259629478126234600
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.DataKnown_A 0025962947837453100
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[4].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.DataKnown_A 0025962947884551000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.DataKnown_A 0025962947847898600
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[5].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.DataKnown_A 0025962947865483800
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.DataKnown_A 0025962947868683900
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[6].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.DataKnown_A 0025962947860003100
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.DataKnown_A 0025962947853245700
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[7].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.DataKnown_A 0025962947868355200
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.DataKnown_A 0025962947849471800
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[8].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.DataKnown_A 0025962947830289100
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.DataKnown_A 0025962947858399700
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_s1n_57.gen_dfifo[9].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_s1n_57.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 0089989900
tb.dut.u_s1n_57.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 0089989900
tb.dut.u_s1n_57.maxN 0089989900
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.CheckHotOne_A 0025962947825951240000
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0089989900
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0025962947881640400
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0025962947881640400
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.GrantKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.IdxKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0025962947881640400
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00259629478733241500
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0025962947881640400
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0025962947881640400
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00259629478181946200
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.RoundRobin_A 00259629478196870899
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.ValidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0025962947881640400
tb.dut.u_sm1_28.gen_host_fifo[0].idInRange 00259629478134929700
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 00259629478134929700
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00259629478952865800
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.gen_host_fifo[1].idInRange 0025962947835005000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0025962947835005000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 00259629478176598400
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.gen_host_fifo[2].idInRange 0025962947846021500
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A 0025962947846021500
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_A 0025962947839660400
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.gen_host_fifo[2].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_28.maxM 0089989900
tb.dut.u_sm1_28.rspIdInRange 002596294781169124600
tb.dut.u_sm1_28.u_devicefifo.reqfifo.DataKnown_A 00259629478914986100
tb.dut.u_sm1_28.u_devicefifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00259629478914986100
tb.dut.u_sm1_28.u_devicefifo.rspfifo.DataKnown_A 002596294781169124600
tb.dut.u_sm1_28.u_devicefifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_28.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 002596294781169124600
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.CheckHotOne_A 0025962947825951240000
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0089989900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0025962947880300900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0025962947880300900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.GrantKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.IdxKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0025962947880300900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00259629478803234000
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0025962947880300900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0025962947880300900
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 00259629478189570400
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.ValidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0025962947880300900
tb.dut.u_sm1_29.gen_host_fifo[0].idInRange 00259629478143790000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 00259629478143790000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00259629478960706100
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_29.gen_host_fifo[1].idInRange 0025962947837036500
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0025962947837036500
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 00259629478180916300
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0089989900
tb.dut.u_sm1_29.gen_host_fifo[2].idInRange 0025962947844749600
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_A 0025962947844749600
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.DataKnown_AKnownEnable 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.DepthKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.RvalidKnown_A 0025962947825951240000
tb.dut.u_sm1_29.gen_host_fifo[2].u_hostfifo.reqfifo.WreadyKnown_A 0025962947825951240000
Go next page
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%