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

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 0075615202400626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00756152024000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0075615202475599248400
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0075615202475599248400
tb.dut.EdnKnownO_A 0075615202475599248400
tb.dut.EscPKnownO_A 0075615202475599248400
tb.dut.FpvSecCmPingTimerCnterCheck_A 007561520247000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007561520247000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007561520247000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007561520247000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007561520247000
tb.dut.IrqAKnownO_A 0075615202475599248400
tb.dut.IrqBKnownO_A 0075615202475599248400
tb.dut.IrqCKnownO_A 0075615202475599248400
tb.dut.IrqDKnownO_A 0075615202475599248400
tb.dut.TlAReadyKnownO_A 0075615202475599248400
tb.dut.TlDValidKnownO_A 0075615202475599248400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00784946862440449100
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007849468621944900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007849468621939600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007849468622052400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007849468621842500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007849468621862100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007849468621934100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007849468621960700
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007849468622064800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007849468622075200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007849468621831000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007849468621855800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007849468621952400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007849468621909700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007849468621941700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007849468621927000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007849468621802800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007849468621852500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007849468621832000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007849468621962700
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007849468622066700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007849468621826600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007849468622071700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007849468621838600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007849468621917300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007849468622083700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007849468621847000
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007849468621937600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007849468621957200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007849468621811600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007849468621953100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007849468621901900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007849468621817100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007849468621935800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007849468622088400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007849468621950100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007849468621828900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007849468622058400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007849468621943000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007849468621941600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007849468621824400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007849468621814700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007849468621918100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007849468622042000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007849468621930900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007849468621987000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007849468621946300
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007849468621959000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007849468621934500
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007849468621851600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007849468622035700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007849468622041600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007849468621860200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007849468621958600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007849468621802600
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007849468621953200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007849468621830300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007849468621944200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007849468621926800
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007849468621805500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007849468621823500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007849468621958100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007849468621850500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007849468621966300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007849468621899500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007849468621985700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007849468622018600
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007849468621926700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007849468621849500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007849468621918500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007849468623676600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007849468621958100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007849468621810800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007849468621838500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007849468621942900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007849468621821600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007849468621827200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007849468622063900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007849468621941700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007561520247000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007561520247000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007561520247000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00756152024524400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0075615202427481300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0075615202437198152200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0075615202427000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0075615202487200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007561520244200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0075615202440400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0075597926626279235100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0075615202495800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0075615202493300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0075615202491200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0075615202489000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00756152024146400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0075615202414922800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00756152024136400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007561520245600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00756152024129300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00756152024108300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0075615202475599248400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007561520247000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007561520247000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007561520247000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00756152024457400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0075615202421419300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0075615202440685159900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0075615202420400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0075615202453200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007561520242000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0075615202424100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0075597926633912446100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0075615202462100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0075615202461200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0075615202460800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0075615202459900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00756152024237900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0075615202421623900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00756152024228000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007561520247600
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00756152024124100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00756152024103100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0075615202475599248400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007561520247000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007561520247000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007561520247000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00756152024174100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0075615202420077700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0075615202443559892600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0075615202424700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0075615202452300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007561520242000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0075615202422300
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0075597926632244579300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0075615202460700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0075615202460100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0075615202459000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0075615202458600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00756152024146900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0075615202415143800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00756152024137600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007561520247100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00756152024127600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00756152024106600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0075615202475599248400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007561520247000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007561520247000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007561520247000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00756152024303500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0075615202419567000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0075615202445673683000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0075615202426800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0075615202456100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007561520242700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0075615202427600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0075597926633017837000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0075615202464300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0075615202463400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0075615202462100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0075615202460800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00756152024155800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0075615202417086800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00756152024146500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007561520246300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00756152024130100
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00756152024109100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0075615202475599248400
tb.dut.tlul_assert_device.aKnown_A 0078494686215686803700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0078494686278428822800
tb.dut.tlul_assert_device.aReadyKnown_A 0078494686278428822800
tb.dut.tlul_assert_device.dKnown_A 0078494686220672916500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0078494686278428822800
tb.dut.tlul_assert_device.dReadyKnown_A 0078494686278428822800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083183100
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
Failure00.00
Incomplete493.84
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%