Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total494010
Category 0494010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total494010
Severity 0494010


Summary for Assertions
NUMBERPERCENT
Total Number494100.00
Uncovered91.82
Success48598.18
Failure00.00
Incomplete10.20
Without Attempts20.40


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered00.00
All Matches10100.00
First Matches10100.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.i_usbdev_iomux.i_mux_tx_d.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.i_usbdev_iomux.i_mux_tx_dn.gen_generic.u_impl_generic.selKnown1 0026000
tb.dut.i_usbdev_iomux.i_mux_tx_dp.gen_generic.u_impl_generic.selKnown1 0030000
tb.dut.i_usbdev_iomux.i_mux_tx_oe.gen_generic.u_impl_generic.selKnown1 0019000
tb.dut.i_usbdev_iomux.i_mux_tx_se0.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.u_reg.u_wake_events_cdc.BusySrcReqChk_A 00593596346000
tb.dut.u_reg.u_wake_events_cdc.SrcAckBusyChk_A 00593596346000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.DstPulseCheck_A 007356083000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.SrcPulseCheck_M 00593596346000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnown_A 0059178651559148688400
tb.dut.CIODnEnKnown_A 0059178651559148688400
tb.dut.CIODnKnown_A 0059178651559148688400
tb.dut.CIODpEnKnown_A 0059178651559148688400
tb.dut.CIODpKnown_A 0059178651559148688400
tb.dut.FpvSecCmRegWeOnehotCheck_A 005917865158000
tb.dut.TlOAReadyKnown_A 0059178651559148688400
tb.dut.TlODValidKnown_A 0059178651559148688400
tb.dut.USBAonSuspendReqKnown_A 0059178651559148688400
tb.dut.USBAonWakeAckKnown_A 0059178651559148688400
tb.dut.USBDnPUKnown_A 0059178651559148688400
tb.dut.USBDpPUKnown_A 0059178651559148688400
tb.dut.USBIntrAvOutEmptyKnown_A 0059178651559148688400
tb.dut.USBIntrAvOverKnown_A 0059178651559148688400
tb.dut.USBIntrAvSetupEmptyKnown_A 0059178651559148688400
tb.dut.USBIntrDisConKnown_A 0059178651559148688400
tb.dut.USBIntrFrameKnown_A 0059178651559148688400
tb.dut.USBIntrHostLostKnown_A 0059178651559148688400
tb.dut.USBIntrLinkInErrKnown_A 0059178651559148688400
tb.dut.USBIntrLinkOutErrKnown_A 0059178651559148688400
tb.dut.USBIntrLinkResKnown_A 0059178651559148688400
tb.dut.USBIntrLinkRstKnown_A 0059178651559148688400
tb.dut.USBIntrLinkSusKnown_A 0059178651559148688400
tb.dut.USBIntrPktRcvdKnown_A 0059178651559148688400
tb.dut.USBIntrPktSentKnown_A 0059178651559148688400
tb.dut.USBIntrPwrdKnown_A 0059178651559148688400
tb.dut.USBIntrRxBitstuffErrKnown_A 0059178651559148688400
tb.dut.USBIntrRxCrCErrKnown_A 0059178651559148688400
tb.dut.USBIntrRxFullKnown_A 0059178651559148688400
tb.dut.USBIntrRxPidErrKnown_A 0059178651559148688400
tb.dut.USBRefPulseKnown_A 0059178651559148688400
tb.dut.USBRefValKnown_A 0059178651559148688400
tb.dut.USBRxEnableKnown_A 0059178651559148688400
tb.dut.USBTxDKnown_A 0059178651559148688400
tb.dut.USBTxSe0Known_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_memory_1p.CannotHaveEccAndParity_A 003726372600
tb.dut.gen_no_stubbed_memory.u_memory_1p.u_mem.gen_generic.u_impl_generic.DataBitsPerMaskCheck_A 003726372600
tb.dut.gen_no_stubbed_memory.u_memory_1p.u_mem.gen_generic.u_impl_generic.gen_wmask[0].MaskCheck_A 00591786515100664900
tb.dut.gen_no_stubbed_memory.u_memory_1p.u_mem.gen_generic.u_impl_generic.gen_wmask[1].MaskCheck_A 00591786515100664900
tb.dut.gen_no_stubbed_memory.u_memory_1p.u_mem.gen_generic.u_impl_generic.gen_wmask[2].MaskCheck_A 00591786515100664900
tb.dut.gen_no_stubbed_memory.u_memory_1p.u_mem.gen_generic.u_impl_generic.gen_wmask[3].MaskCheck_A 00591786515100664900
tb.dut.gen_no_stubbed_memory.u_tlul2sram.AddrOutKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.DataIntgOptions_A 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.ReqOutKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.SramDwHasByteGranularity_A 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.SramDwIsMultipleOfTlulWidth_A 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.TlOutKnownIfFifoKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.TlOutValidKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.WdataOutKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.WeOutKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.WmaskOutKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.adapterNoReadOrWrite 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.rvalidHighReqFifoEmpty 0059178651560047800
tb.dut.gen_no_stubbed_memory.u_tlul2sram.rvalidHighWhenRspFifoFull 0059178651560047800
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_err.dataWidthOnly32_A 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.DataKnown_A 00591786515176544800
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.DepthKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.RvalidKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.WreadyKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_reqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00591786515176544800
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rsp_gen.DataWidthCheck_A 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rsp_gen.PayLoadWidthCheck 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.DataKnown_A 00591786515121021200
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.DepthKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.RvalidKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.WreadyKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00591786515121021200
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sram_byte.SramReadbackAndIntg 003726372600
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.DataKnown_A 0059178651560047800
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.DepthKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.RvalidKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.WreadyKnown_A 0059178651559148688400
tb.dut.gen_no_stubbed_memory.u_tlul2sram.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0059178651560047800
tb.dut.i_usbdev_iomux.i_mux_tx_d.gen_generic.u_impl_generic.selKnown0 003692376368865000
tb.dut.i_usbdev_iomux.i_mux_tx_dn.gen_generic.u_impl_generic.selKnown0 003676177367333000
tb.dut.i_usbdev_iomux.i_mux_tx_dp.gen_generic.u_impl_generic.selKnown0 003692376368865000
tb.dut.i_usbdev_iomux.i_mux_tx_oe.gen_generic.u_impl_generic.selKnown0 0011619511335600
tb.dut.i_usbdev_iomux.i_mux_tx_se0.gen_generic.u_impl_generic.selKnown0 0011617311333500
tb.dut.intr_av_out_empty.IntrTKind_A 003726372600
tb.dut.intr_av_overflow.IntrTKind_A 003726372600
tb.dut.intr_av_setup_empty.IntrTKind_A 003726372600
tb.dut.intr_disconnected.IntrTKind_A 003726372600
tb.dut.intr_frame.IntrTKind_A 003726372600
tb.dut.intr_host_lost.IntrTKind_A 003726372600
tb.dut.intr_hw_pkt_received.IntrTKind_A 003726372600
tb.dut.intr_hw_pkt_sent.IntrTKind_A 003726372600
tb.dut.intr_link_in_err.IntrTKind_A 003726372600
tb.dut.intr_link_out_err.IntrTKind_A 003726372600
tb.dut.intr_link_reset.IntrTKind_A 003726372600
tb.dut.intr_link_resume.IntrTKind_A 003726372600
tb.dut.intr_link_suspend.IntrTKind_A 003726372600
tb.dut.intr_powered.IntrTKind_A 003726372600
tb.dut.intr_rx_bitstuff_err.IntrTKind_A 003726372600
tb.dut.intr_rx_crc_err.IntrTKind_A 003726372600
tb.dut.intr_rx_full.IntrTKind_A 003726372600
tb.dut.intr_rx_pid_err.IntrTKind_A 003726372600
tb.dut.tlul_assert_device.aKnown_A 005935963462130499800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0059359634659325645200
tb.dut.tlul_assert_device.aReadyKnown_A 0059359634659325645200
tb.dut.tlul_assert_device.dKnown_A 005935963462834560700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0059359634659325645200
tb.dut.tlul_assert_device.dReadyKnown_A 0059359634659325645200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 003901390100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0059359635675337900
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00593596346577800
tb.dut.tlul_assert_device.gen_device.contigMask_M 005935963562080211800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005935963562701317200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00593596346612500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 005935963562130499800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 005935963562834560700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 005935963562130499800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 005935963562834560700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 005935963562834560700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 005935963562834560700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00593596346379300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00593596346349300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 003901390100
tb.dut.u_reg.en2addrHit 005935963462003715100
tb.dut.u_reg.reAfterRv 005935963462003715100
tb.dut.u_reg.rePulse 005935963461970784600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 003901390100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 003901390100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 003901390100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 003901390100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 003901390100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 003901390100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 003901390100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 003901390100
tb.dut.u_reg.u_socket.NotOverflowed_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_A 005935963462130499800
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_A 005935963462834560700
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 0059359634693911400
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 00593596346183222800
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 005935963462030738500
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 005935963462651337900
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_AKnownEnable 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 0059359634659325645200
tb.dut.u_reg.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 003901390100
tb.dut.u_reg.u_socket.maxN 003901390100
tb.dut.u_reg.u_wake_control_cdc.BusySrcReqChk_A 0059359634637118600
tb.dut.u_reg.u_wake_control_cdc.DstReqKnown_A 007356083732170400
tb.dut.u_reg.u_wake_control_cdc.SrcAckBusyChk_A 00593596346126800
tb.dut.u_reg.u_wake_control_cdc.SrcBusyKnown_A 0059359634659325645200
tb.dut.u_reg.u_wake_control_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00593596346126800
tb.dut.u_reg.u_wake_control_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 007356083126800
tb.dut.u_reg.u_wake_control_cdc.u_src_to_dst_req.DstPulseCheck_A 007356083125600
tb.dut.u_reg.u_wake_control_cdc.u_src_to_dst_req.SrcPulseCheck_M 00593596346128200
tb.dut.u_reg.u_wake_events_cdc.DstReqKnown_A 007356083732170400
tb.dut.u_reg.u_wake_events_cdc.SrcBusyKnown_A 0059359634659325645200
tb.dut.u_reg.u_wake_events_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00735608362403910
tb.dut.u_reg.u_wake_events_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00735608362400
tb.dut.u_reg.u_wake_events_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 0059359634663300
tb.dut.u_reg.u_wake_events_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00735608339100
tb.dut.u_reg.wePulse 0059359634632930500
tb.dut.usbdev_avoutfifo.DataKnown_A 0059178651528331477500
tb.dut.usbdev_avoutfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.usbdev_avoutfifo.DepthKnown_A 0059178651559148688400
tb.dut.usbdev_avoutfifo.RvalidKnown_A 0059178651559148688400
tb.dut.usbdev_avoutfifo.WreadyKnown_A 0059178651559148688400
tb.dut.usbdev_avoutfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0059178651528331477500
tb.dut.usbdev_avsetupfifo.DataKnown_A 0059178651513723963100
tb.dut.usbdev_avsetupfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.usbdev_avsetupfifo.DepthKnown_A 0059178651559148688400
tb.dut.usbdev_avsetupfifo.RvalidKnown_A 0059178651559148688400
tb.dut.usbdev_avsetupfifo.WreadyKnown_A 0059178651559148688400
tb.dut.usbdev_avsetupfifo.gen_normal_fifo.depthShallNotExceedParamDepth 0059178651513723963100
tb.dut.usbdev_csr_assert.TlulOOBAddrErr_A 005935963461179700
tb.dut.usbdev_csr_assert.ep_in_enable_rd_A 00593596346332800
tb.dut.usbdev_csr_assert.ep_out_enable_rd_A 00593596346335400
tb.dut.usbdev_csr_assert.in_iso_rd_A 00593596346381400
tb.dut.usbdev_csr_assert.intr_enable_rd_A 00593596346491600
tb.dut.usbdev_csr_assert.out_iso_rd_A 00593596346327000
tb.dut.usbdev_csr_assert.phy_config_rd_A 00593596346217700
tb.dut.usbdev_csr_assert.phy_pins_drive_rd_A 00593596346297400
tb.dut.usbdev_csr_assert.rxenable_setup_rd_A 00593596346388900
tb.dut.usbdev_csr_assert.set_nak_out_rd_A 00593596346388700
tb.dut.usbdev_impl.ParamAVFifoWidthValid 003726372600
tb.dut.usbdev_impl.ParamMaxPktSizeByteValid 003726372600
tb.dut.usbdev_impl.ParamNBufValid 003726372600
tb.dut.usbdev_impl.ParamNEndpointsValid 003726372600
tb.dut.usbdev_impl.ParamRXFifoWidthValid 003726372600
tb.dut.usbdev_impl.ParamSramAwValid 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.NumOutEpsEqualsNumInEps_A 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.ParamMaxPktSizeByteValid 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.ParamNumEpsOutAndInEqual 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.ParamNumInEpsValid 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.ParamNumOutEpsValid 003726372600
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe.InXactStateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_out_pe.OutXactStateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_tx.OutStateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_tx.StateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usbdev_linkstate.LincInacStateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usbdev_linkstate.LinkRstStateValid_A 0059178651559148688400
tb.dut.usbdev_impl.u_usbdev_linkstate.LinkStateValid_A 0059178651559148688400
tb.dut.usbdev_rxfifo.DataKnown_A 005917865154581997000
tb.dut.usbdev_rxfifo.DataKnown_AKnownEnable 0059178651559148688400
tb.dut.usbdev_rxfifo.DepthKnown_A 0059178651559148688400
tb.dut.usbdev_rxfifo.RvalidKnown_A 0059178651559148688400
tb.dut.usbdev_rxfifo.WreadyKnown_A 0059178651559148688400
tb.dut.usbdev_rxfifo.gen_normal_fifo.depthShallNotExceedParamDepth 005917865154581997000

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_reg.u_wake_events_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00735608362403910

Assertions Without Attempts:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.i_usbdev_iomux.i_mux_tx_d.gen_generic.u_impl_generic.selKnown1 000000
tb.dut.i_usbdev_iomux.i_mux_tx_se0.gen_generic.u_impl_generic.selKnown1 000000


Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0059359635610709107090
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005935963565935930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005935963566446440
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005935963564374370
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005935963562892890
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005935963563053050
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005935963561851850
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00593596356647664760
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0059359635639920399200
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0059359635612556553125565533881

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0059359635610709107090
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005935963565935930
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005935963566446440
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005935963564374370
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005935963562892890
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005935963563053050
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005935963561851850
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00593596356647664760
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0059359635639920399200
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0059359635612556553125565533881

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%