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 0076661228200643
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00766612282000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0076661228276642366900
tb.dut.CheckAccuCntDw 0064364300
tb.dut.CheckEscCntDw 0064364300
tb.dut.CheckNAlerts 0064364300
tb.dut.CheckNClasses 0064364300
tb.dut.CheckNEscSev 0064364300
tb.dut.CrashdumpKnownO_A 0076661228276642366900
tb.dut.EdnKnownO_A 0076661228276642366900
tb.dut.EscPKnownO_A 0076661228276642366900
tb.dut.FpvSecCmPingTimerCnterCheck_A 007666122829000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007666122829000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007666122829000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007666122829000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007666122829000
tb.dut.IrqAKnownO_A 0076661228276642366900
tb.dut.IrqBKnownO_A 0076661228276642366900
tb.dut.IrqCKnownO_A 0076661228276642366900
tb.dut.IrqDKnownO_A 0076661228276642366900
tb.dut.TlAReadyKnownO_A 0076661228276642366900
tb.dut.TlDValidKnownO_A 0076661228276642366900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00787095701424616700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00787095701922200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00787095701881300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00787095701951900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007870957011029000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00787095701879900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00787095701868500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00787095701951000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00787095701960400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00787095701866600
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00787095701925400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00787095701947200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00787095701940300
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00787095701958800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00787095701873400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00787095701903700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00787095701843900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00787095701897500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00787095701930000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00787095701923500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00787095701872000
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00787095701983400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00787095701984700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00787095701973700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00787095701899600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00787095701963700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00787095701875700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00787095701898100
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00787095701994200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00787095701982700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007870957011043000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00787095701918400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00787095701978300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00787095701921200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00787095701871100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00787095701917900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00787095701960000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00787095701971400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00787095701957700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00787095701882100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00787095701916000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00787095701892500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00787095701919500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00787095701948100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00787095701862800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00787095701879200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00787095701891200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00787095701857900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00787095701983000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00787095701868800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00787095701882400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00787095701881700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00787095701895500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00787095701943200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00787095701889700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00787095701935200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00787095701902700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00787095701904600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00787095701876300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00787095701874500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00787095701858000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00787095701952300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00787095701884300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00787095701929600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00787095701917100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00787095701954600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00787095701938100
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00787095701908300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00787095701897100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00787095701999300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007870957011220300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00787095701886400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00787095701912800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00787095701926900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00787095701876700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00787095701879800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00787095701919500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007870957011017600
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00787095701949100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007666122829000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007666122829000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007666122829000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00766612282196800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0076661228225885300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0076661228234856050500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0076661228229200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 00766612282104500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007666122824900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0076661228255500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0076635542626794457000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00766612282113300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00766612282110800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 00766612282107500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 00766612282104400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00766612282210800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0076661228217007400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00766612282200000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007666122825900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00766612282165400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00766612282138400
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 0076661228276642366900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007666122829000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007666122829000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007666122829000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00766612282386100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0076661228224445100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0076661228241015605300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0076661228233200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0076661228253900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007666122822600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0076661228224300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0076635542633474662900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0076661228262800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0076661228261100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0076661228260200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0076661228259100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00766612282103100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0076661228211234300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0076661228293300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007666122827200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00766612282168200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00766612282141200
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 0076661228276642366900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007666122829000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007666122829000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007666122829000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00766612282499300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0076661228223402000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0076661228242227444300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0076661228226200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0076661228256900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007666122823000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0076661228224700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0076635542632445536100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0076661228264500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0076661228263500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0076661228262500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0076661228261400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0076661228288200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0076661228211457500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0076661228279600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007666122825500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00766612282161500
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00766612282134500
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 0076661228276642366900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007666122829000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007666122829000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007666122829000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00766612282376000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0076661228219491200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0076661228242840464500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0076661228228000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0076661228257700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007666122823200
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0076661228226600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0076635542632928085500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0076661228266200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0076661228265200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0076661228264200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0076661228262700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0076661228257800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007666122827988500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0076661228248100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007666122826500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00766612282155600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00766612282128600
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 0076661228276642366900
tb.dut.tlul_assert_device.aKnown_A 0078709570115191288000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0078709570178641969200
tb.dut.tlul_assert_device.aReadyKnown_A 0078709570178641969200
tb.dut.tlul_assert_device.dKnown_A 0078709570123002168900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0078709570178641969200
tb.dut.tlul_assert_device.dReadyKnown_A 0078709570178641969200
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%