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 0029000
tb.dut.i_usbdev_iomux.i_mux_tx_dp.gen_generic.u_impl_generic.selKnown1 0021000
tb.dut.i_usbdev_iomux.i_mux_tx_oe.gen_generic.u_impl_generic.selKnown1 0050000
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 00388820213000
tb.dut.u_reg.u_wake_events_cdc.SrcAckBusyChk_A 00388820213000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.DstPulseCheck_A 004661610000
tb.dut.u_reg.u_wake_events_cdc.u_src_to_dst_req.SrcPulseCheck_M 00388820213000

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

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

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 0038882021316968169680
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 003888202135055050
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 003888202137117110
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003888202135535530
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003888202135325320
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003888202134184180
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003888202131391390
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00388820213598759870
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0038882021353658536580
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0038882021320077853200778532597

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038882021316968169680
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 003888202135055050
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 003888202137117110
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 003888202135535530
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 003888202135325320
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 003888202134184180
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 003888202131391390
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00388820213598759870
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0038882021353658536580
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0038882021320077853200778532597

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