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 0055718349300622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00557183493000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0055718349355702529000
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0055718349355702529000
tb.dut.EdnKnownO_A 0055718349355702529000
tb.dut.EscPKnownO_A 0055718349355702529000
tb.dut.FpvSecCmPingTimerCnterCheck_A 005571834937000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005571834937000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005571834937000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005571834937000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005571834937000
tb.dut.IrqAKnownO_A 0055718349355702529000
tb.dut.IrqBKnownO_A 0055718349355702529000
tb.dut.IrqCKnownO_A 0055718349355702529000
tb.dut.IrqDKnownO_A 0055718349355702529000
tb.dut.TlAReadyKnownO_A 0055718349355702529000
tb.dut.TlDValidKnownO_A 0055718349355702529000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0058259700120427400
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005825970011338400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005825970011385700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005825970011354300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005825970011261500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005825970011365800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005825970011286100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005825970011235900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005825970011387600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005825970011233000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005825970011380500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005825970011269300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005825970011383800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005825970011462700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005825970011356600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005825970011409200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005825970011251800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005825970011357300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005825970011370600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005825970011355500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005825970011502200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005825970011231900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005825970011382900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005825970011298900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005825970011233600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005825970011359200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005825970011388900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005825970011363200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005825970011357100
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005825970011368800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005825970011249300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005825970011238400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005825970011228900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005825970011263900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005825970011265900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005825970011369900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005825970011345700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005825970011390300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005825970011271900
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005825970011245900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005825970011248200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005825970011240500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005825970011231600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005825970011499900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005825970011249200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005825970011231800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005825970011347900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005825970011350700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005825970011253900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005825970011384600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005825970011370800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005825970011247400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005825970011252400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005825970011347100
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005825970011459900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005825970011293600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005825970011377200
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005825970011236800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005825970011370900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005825970011373600
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005825970011246300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005825970011260000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005825970011367000
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005825970011282300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005825970011368400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005825970011263400
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005825970011283900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005825970011512100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005825970011372400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005825970011376800
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005825970012179600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005825970011361900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005825970011366400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005825970011247000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005825970011363500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005825970011378100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005825970011237300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005825970011250900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005825970011339800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005571834937000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005571834937000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005571834937000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00557183493174700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0055718349315096300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0055718349330275219500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0055718349317400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0055718349378600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005571834933800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0055718349339100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0055704218522454154500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0055718349385600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0055718349383500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0055718349382400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0055718349380000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00557183493110900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0055718349310486400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00557183493100600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005571834935900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00557183493111800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0055718349390800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0055704114555697209900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0055718349355702529000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005571834937000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005571834937000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005571834937000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00557183493315100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0055718349312376400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0055718349334278829300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0055718349322700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0055718349345400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005571834932100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0055718349321500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0055704218526365558400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0055718349351300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0055718349350000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0055718349349100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0055718349348700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0055718349393000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005571834939571400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0055718349385500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005571834935200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00557183493110300
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0055718349389300
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0055704114555697209900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0055718349355702529000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005571834937000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005571834937000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005571834937000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00557183493268100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0055718349318177500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0055718349331514874000
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0055718349319000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0055718349349400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005571834932600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0055718349323800
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0055704218524952795500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0055718349353800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0055718349352700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0055718349351600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0055718349350700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0055718349378600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005571834937490800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0055718349371700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005571834934000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00557183493111000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0055718349390000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0055704114555697209900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0055718349355702529000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005571834937000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005571834937000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005571834937000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00557183493413300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0055718349314018900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0055718349331907102700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0055718349321100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0055718349343600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005571834931800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0055718349318700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0055704218524416072800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0055718349349100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0055718349347900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0055718349347700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0055718349346400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0055718349348900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005571834935432900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0055718349341800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005571834934800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00557183493108700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0055718349387700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0055704114555697209900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0055718349355702529000
tb.dut.tlul_assert_device.aKnown_A 005825970017985444500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0058259700158195261400
tb.dut.tlul_assert_device.aReadyKnown_A 0058259700158195261400
tb.dut.tlul_assert_device.dKnown_A 0058259700114176427000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0058259700158195261400
tb.dut.tlul_assert_device.dReadyKnown_A 0058259700158195261400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1279010
Category 01279010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1279010
Severity 01279010


Summary for Assertions
NUMBERPERCENT
Total Number1279100.00
Uncovered20.16
Success127799.84
Failure00.00
Incomplete493.83
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%