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 0023000
tb.dut.i_usbdev_iomux.i_mux_tx_dp.gen_generic.u_impl_generic.selKnown1 0023000
tb.dut.i_usbdev_iomux.i_mux_tx_oe.gen_generic.u_impl_generic.selKnown1 0024000
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 00580407123000
tb.dut.u_reg.u_wake_events_cdc.SrcAckBusyChk_A 00580407123000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.DstPulseCheck_A 006860729000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.SrcPulseCheck_M 00580407123000

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

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

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 00580407137994699460
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005804071376326320
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005804071377077070
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005804071374654650
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005804071372422420
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005804071373683680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005804071374484480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00580407137544054400
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0058040713740077400770
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0058040713711331214113312143846

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00580407137994699460
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005804071376326320
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005804071377077070
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005804071374654650
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005804071372422420
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005804071373683680
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005804071374484480
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00580407137544054400
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0058040713740077400770
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0058040713711331214113312143846

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