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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total482010
Category 0482010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total482010
Severity 0482010


Summary for Assertions
NUMBERPERCENT
Total Number482100.00
Uncovered91.87
Success47398.13
Failure00.00
Incomplete10.21
Without Attempts20.41


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 0024000
tb.dut.i_usbdev_iomux.i_mux_tx_dp.gen_generic.u_impl_generic.selKnown1 0025000
tb.dut.i_usbdev_iomux.i_mux_tx_oe.gen_generic.u_impl_generic.selKnown1 0029000
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 00506087362000
tb.dut.u_reg.u_wake_events_cdc.SrcAckBusyChk_A 00506087362000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.DstPulseCheck_A 006063563000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.SrcPulseCheck_M 00506087362000

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

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

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 0050608737612824128240
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005060873766636630
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005060873769299290
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005060873766736730
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005060873765365360
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005060873765145140
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005060873764494490
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00506087376447244720
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0050608737642307423070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0050608737618082044180820442837

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0050608737612824128240
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 005060873766636630
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 005060873769299290
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 005060873766736730
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 005060873765365360
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 005060873765145140
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 005060873764494490
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00506087376447244720
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0050608737642307423070
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0050608737618082044180820442837

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