Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total92700222
Category 092700222

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total92700222
Severity 092700222

Summary for Assertions
NUMBERPERCENT
Total Number9270100.00
Uncovered700.76
Success920099.24
Failure00.00
Incomplete240.26
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_sm1_48.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780621902400
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780621902400
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780621902400
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806298568900
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780621902400
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780621902400
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780659729000
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780621902400
tb.dut.u_sm1_48.gen_host_fifo[0].idInRange 0043021780631299900
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780631299900
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806363947700
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_48.gen_host_fifo[1].idInRange 0043021780641547300
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780641547300
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780678238300
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_48.maxM 0090090000
tb.dut.u_sm1_48.rspIdInRange 00430217806442186000
tb.dut.u_sm1_48.u_devicefifo.reqfifo.DataKnown_A 00430217806336193900
tb.dut.u_sm1_48.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806336193900
tb.dut.u_sm1_48.u_devicefifo.rspfifo.DataKnown_A 00430217806442186000
tb.dut.u_sm1_48.u_devicefifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_48.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806442186000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckHotOne_A 0043021780643009249000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780620459800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780620459800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780620459800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806296286800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780620459800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780620459800
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780655653400
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780620459800
tb.dut.u_sm1_49.gen_host_fifo[0].idInRange 0043021780629109300
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780629109300
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806295296400
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_49.gen_host_fifo[1].idInRange 0043021780638458000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780638458000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780666415000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_49.maxM 0090090000
tb.dut.u_sm1_49.rspIdInRange 00430217806361711400
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DataKnown_A 00430217806331278800
tb.dut.u_sm1_49.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806331278800
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DataKnown_A 00430217806361711400
tb.dut.u_sm1_49.u_devicefifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_49.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806361711400
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckHotOne_A 0043021780643009249000
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780621156900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780621156900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780621156900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806293214400
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780621156900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780621156900
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780654136500
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780621156900
tb.dut.u_sm1_50.gen_host_fifo[0].idInRange 0043021780627348400
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780627348400
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806358541100
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_50.gen_host_fifo[1].idInRange 0043021780636524900
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780636524900
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780671152000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_50.maxM 0090090000
tb.dut.u_sm1_50.rspIdInRange 00430217806429693100
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DataKnown_A 00430217806325992400
tb.dut.u_sm1_50.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806325992400
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DataKnown_A 00430217806429693100
tb.dut.u_sm1_50.u_devicefifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_50.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806429693100
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckHotOne_A 0043021780643009249000
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780623089300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780623089300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780623089300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806308213600
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780623089300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780623089300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780654937300
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780623089300
tb.dut.u_sm1_51.gen_host_fifo[0].idInRange 0043021780628043900
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780628043900
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806379673700
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_51.gen_host_fifo[1].idInRange 0043021780636931800
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780636931800
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780688165100
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_51.maxM 0090090000
tb.dut.u_sm1_51.rspIdInRange 00430217806467838800
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DataKnown_A 00430217806339860000
tb.dut.u_sm1_51.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806339860000
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DataKnown_A 00430217806467838800
tb.dut.u_sm1_51.u_devicefifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_51.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806467838800
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckHotOne_A 0043021780643009249000
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780621172300
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780621172300
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780621172300
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806295958900
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780621172300
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780621172300
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780659699200
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780621172300
tb.dut.u_sm1_52.gen_host_fifo[0].idInRange 0043021780630554000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780630554000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806355545100
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_52.gen_host_fifo[1].idInRange 0043021780641134100
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780641134100
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780675322400
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_52.maxM 0090090000
tb.dut.u_sm1_52.rspIdInRange 00430217806430867500
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DataKnown_A 00430217806334284200
tb.dut.u_sm1_52.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806334284200
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DataKnown_A 00430217806430867500
tb.dut.u_sm1_52.u_devicefifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_52.u_devicefifo.rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00430217806430867500
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckHotOne_A 0043021780643009249000
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.CheckNGreaterZero_A 0090090000
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesReady_A 0043021780621660100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GntImpliesValid_A 0043021780621660100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.GrantKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IdxKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.IndexIsCorrect_A 0043021780621660100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.NoReadyValidNoGrant_A 00430217806298336100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReadyAndValidImplyGrant_A 0043021780621660100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqAndReadyImplyGrant_A 0043021780621660100
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ReqImpliesValid_A 0043021780658412900
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.ValidKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_arb_ppc.u_reqarb.gen_data_port_assertion.DataFlow_A 0043021780621660100
tb.dut.u_sm1_53.gen_host_fifo[0].idInRange 0043021780630458400
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DataKnown_A 0043021780630458400
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DataKnown_A 00430217806345981800
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[0].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_53.gen_host_fifo[1].idInRange 0043021780639537800
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DataKnown_A 0043021780639537800
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.reqfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DataKnown_A 0043021780673244700
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.DepthKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.RvalidKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.WreadyKnown_A 0043021780643009249000
tb.dut.u_sm1_53.gen_host_fifo[1].u_hostfifo.rspfifo.gen_passthru_fifo.paramCheckPass 0090090000
tb.dut.u_sm1_53.maxM 0090090000
tb.dut.u_sm1_53.rspIdInRange 00430217806419226500
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DataKnown_A 00430217806334887300
tb.dut.u_sm1_53.u_devicefifo.reqfifo.DepthKnown_A 0043021780643009249000
Go next page
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%