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 0076438354600643
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00764383546000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0076438354676419807100
tb.dut.CheckAccuCntDw 0064364300
tb.dut.CheckEscCntDw 0064364300
tb.dut.CheckNAlerts 0064364300
tb.dut.CheckNClasses 0064364300
tb.dut.CheckNEscSev 0064364300
tb.dut.CrashdumpKnownO_A 0076438354676419807100
tb.dut.EdnKnownO_A 0076438354676419807100
tb.dut.EscPKnownO_A 0076438354676419807100
tb.dut.FpvSecCmPingTimerCnterCheck_A 007643835469000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007643835469000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007643835469000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007643835469000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007643835469000
tb.dut.IrqAKnownO_A 0076438354676419807100
tb.dut.IrqBKnownO_A 0076438354676419807100
tb.dut.IrqCKnownO_A 0076438354676419807100
tb.dut.IrqDKnownO_A 0076438354676419807100
tb.dut.TlAReadyKnownO_A 0076438354676419807100
tb.dut.TlDValidKnownO_A 0076438354676419807100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00788927788404685200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007889277881689100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007889277881685700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007889277881805100
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007889277881724400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007889277881586100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007889277881588200
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007889277881573900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007889277881720000
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007889277881780700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007889277881703500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007889277881589400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007889277881689600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007889277881612100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007889277881699400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007889277881603500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007889277881662800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007889277881896400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007889277881719900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007889277881716200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007889277881587500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007889277881716000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007889277881792100
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007889277881621800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007889277881733400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007889277881874200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007889277881717200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007889277881703300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007889277881705600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007889277881718300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007889277881708600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007889277881696400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007889277881696400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007889277881556400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007889277881803200
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007889277881707800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007889277881586500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007889277881733400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007889277881685000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007889277881703100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007889277881918800
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007889277881722400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007889277881595900
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007889277881744900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007889277881587500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007889277881600500
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007889277881843900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007889277881671300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007889277881722000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007889277881925800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007889277881702600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007889277881554100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007889277881613100
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007889277881579500
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007889277881607100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007889277881676300
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007889277881693700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007889277881725600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007889277881682100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007889277881677900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007889277881570700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007889277881954200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007889277881744400
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007889277881921600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007889277881607200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007889277881700900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007889277881721300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007889277881817000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007889277881735900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007889277881572800
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007889277882790200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007889277881602400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007889277881582000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007889277881604400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007889277881808400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007889277881592300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007889277881794100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007889277881733700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007889277881695200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007643835469000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007643835469000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007643835469000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00764383546183700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0076438354626751200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0076438354635094034400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0076438354631200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0076438354690700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007643835465100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0076438354641500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0076393842224412102700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00764383546102600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00764383546100700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0076438354699200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0076438354697600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0076438354681100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0076438354610917500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0076438354668400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007643835467600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00764383546158700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00764383546131700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0076438354676419807100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007643835469000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007643835469000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007643835469000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00764383546302000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0076438354620109600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0076438354644442488300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0076438354630700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0076438354658400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007643835463100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0076438354630400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0076393842235244259200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0076438354669500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0076438354667700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0076438354666100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0076438354664500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00764383546110200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0076438354615401300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0076438354698200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007643835468900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00764383546150700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00764383546123700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0076438354676419807100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007643835469000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007643835469000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007643835469000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00764383546429700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0076438354619686200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0076438354644563671100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0076438354634300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0076438354657700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007643835462800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0076438354628500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0076393842235851014800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0076438354667200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0076438354666000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0076438354664700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0076438354663500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0076438354693100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0076438354613034500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0076438354682900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007643835467400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00764383546154900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00764383546127900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0076438354676419807100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007643835469000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007643835469000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007643835469000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00764383546187400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0076438354617711600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0076438354645854232100
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0076438354630400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0076438354653500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007643835461900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0076438354626100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0076393842237819422000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0076438354662600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0076438354661700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0076438354660400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0076438354659100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0076438354676200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0076438354610296600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0076438354666400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007643835467900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00764383546164600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00764383546137600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0076438354676419807100
tb.dut.tlul_assert_device.aKnown_A 0078892778815147136600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0078892778878820054300
tb.dut.tlul_assert_device.aReadyKnown_A 0078892778878820054300
tb.dut.tlul_assert_device.dKnown_A 0078892778821680340900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0078892778878820054300
tb.dut.tlul_assert_device.dReadyKnown_A 0078892778878820054300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084884800
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%