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

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00719199704000
tb.dut.u_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 0071919970400643
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00719199704000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0071919970471902627900
tb.dut.CheckAccuCntDw 0064364300
tb.dut.CheckEscCntDw 0064364300
tb.dut.CheckNAlerts 0064364300
tb.dut.CheckNClasses 0064364300
tb.dut.CheckNEscSev 0064364300
tb.dut.CrashdumpKnownO_A 0071919970471902627900
tb.dut.EdnKnownO_A 0071919970471902627900
tb.dut.EscPKnownO_A 0071919970471902627900
tb.dut.FpvSecCmPingTimerCnterCheck_A 007191997048000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007191997048000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007191997048000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007191997048000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007191997048000
tb.dut.IrqAKnownO_A 0071919970471902627900
tb.dut.IrqBKnownO_A 0071919970471902627900
tb.dut.IrqCKnownO_A 0071919970471902627900
tb.dut.IrqDKnownO_A 0071919970471902627900
tb.dut.TlAReadyKnownO_A 0071919970471902627900
tb.dut.TlDValidKnownO_A 0071919970471902627900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00745334393388436100
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007453343931544800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007453343931452900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007453343931655500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007453343931924100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007453343931551400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007453343931662700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007453343931534900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007453343931650500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007453343931389400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007453343931448900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007453343931555200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007453343931826600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007453343931577000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007453343931655700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007453343931775700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007453343931756500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007453343931482100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007453343931424800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007453343931581700
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007453343931510000
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007453343931821800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007453343931432600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007453343931702000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007453343931884800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007453343931752600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007453343931484500
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007453343931512600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007453343931552000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007453343931533800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007453343931518700
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007453343931417800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007453343931508400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007453343931519200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007453343931755700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007453343931559300
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007453343931468600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007453343931673400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007453343931640800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007453343931439400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007453343931510700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007453343931667700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007453343931526100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007453343931657000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007453343931541800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007453343931541600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007453343931574100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007453343931396500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007453343931533900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007453343931530800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007453343931785000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007453343931655300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007453343931436800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007453343931776800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007453343931528500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007453343931675900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007453343931534200
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007453343931673700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007453343931655400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007453343931457000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007453343931555400
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007453343931660500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007453343931555300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007453343931476600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007453343931572700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007453343931634500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007453343931543800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007453343931565600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007453343931551400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007453343931478700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007453343932592300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007453343931865200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007453343931518200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007453343931657500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007453343931404900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007453343931623100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007453343931407300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007453343931605700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007453343931499500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007191997048000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007191997048000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007191997048000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0071919970426190000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0071919970435301645400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0071919970426000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0071919970493400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007191997044900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0071919970446600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0071904236426569531900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00719199704105300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00719199704103200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 00719199704101000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0071919970498100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00719199704175600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0071919970413809500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00719199704162100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007191997048500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00719199704143300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00719199704119300
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 0071919970471902627900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007191997048000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007191997048000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007191997048000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00719199704219800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0071919970414989500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0071919970442400488200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0071919970429400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0071919970454200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007191997042900
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0071919970426500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0071904236433666872000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0071919970462600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0071919970461100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0071919970459000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0071919970457500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00719199704124700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0071919970414343400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00719199704115600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007191997046200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00719199704139400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00719199704115400
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 0071919970471902627900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007191997048000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007191997048000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007191997048000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00719199704475700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0071919970418054000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0071919970441059840800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0071919970426300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0071919970456900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007191997042900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0071919970426900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0071904236432346070700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0071919970466400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0071919970464600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0071919970463700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0071919970462300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00719199704131900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0071919970412382800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00719199704121600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007191997047300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00719199704146200
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00719199704122200
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 0071919970471902627900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007191997048000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007191997048000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007191997048000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00719199704749500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0071919970415241000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0071919970441418774000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0071919970436100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0071919970455500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007191997043100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0071919970427100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0071904236431036615200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0071919970464900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0071919970463900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0071919970462500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0071919970461700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00719199704196000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0071919970418022000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00719199704185300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007191997047600
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00719199704148200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00719199704124200
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 0071919970471902627900
tb.dut.tlul_assert_device.aKnown_A 0074533439315086492000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0074533439374459280700
tb.dut.tlul_assert_device.aReadyKnown_A 0074533439374459280700
tb.dut.tlul_assert_device.dKnown_A 0074533439321406545300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0074533439374459280700
tb.dut.tlul_assert_device.dReadyKnown_A 0074533439374459280700
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
Uncovered30.24
Success127299.76
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%