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 0071021309100624
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00710213091000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0071021309171002984900
tb.dut.CheckAccuCntDw 0062462400
tb.dut.CheckEscCntDw 0062462400
tb.dut.CheckNAlerts 0062462400
tb.dut.CheckNClasses 0062462400
tb.dut.CheckNEscSev 0062462400
tb.dut.CrashdumpKnownO_A 0071021309171002984900
tb.dut.EdnKnownO_A 0071021309171002984900
tb.dut.EscPKnownO_A 0071021309171002984900
tb.dut.FpvSecCmPingTimerCnterCheck_A 007102130919000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007102130919000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007102130919000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007102130919000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007102130919000
tb.dut.IrqAKnownO_A 0071021309171002984900
tb.dut.IrqBKnownO_A 0071021309171002984900
tb.dut.IrqCKnownO_A 0071021309171002984900
tb.dut.IrqDKnownO_A 0071021309171002984900
tb.dut.TlAReadyKnownO_A 0071021309171002984900
tb.dut.TlDValidKnownO_A 0071021309171002984900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00731516868320097800
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00731516868979700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00731516868955000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00731516868966300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00731516868968100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00731516868966900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00731516868976500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00731516868960100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00731516868975400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00731516868958700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00731516868974400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00731516868959400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00731516868967600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00731516868966600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00731516868972500
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00731516868987800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00731516868986500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00731516868964400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00731516868982100
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007315168681002800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00731516868977700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007315168681011300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00731516868963700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00731516868960200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00731516868993800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00731516868995700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007315168681002200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00731516868961700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00731516868966400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00731516868978000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00731516868988100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00731516868974500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00731516868956200
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00731516868972100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00731516868961000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007315168681008400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00731516868972600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00731516868974300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00731516868959200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00731516868988900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00731516868995100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00731516868991500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00731516868997300
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00731516868991800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00731516868986200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00731516868999900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00731516868973000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00731516868998100
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00731516868980900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00731516868972000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00731516868981100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00731516868972600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00731516868983900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00731516868995700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00731516868984200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00731516868946900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00731516868968300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00731516868999600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00731516868961500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00731516868970600
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00731516868983800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00731516868963100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00731516868992600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00731516868968600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00731516868984900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00731516868972200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00731516868980900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00731516868974100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00731516868966800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00731516868977200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007315168681969100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00731516868973400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00731516868988800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007315168681002600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00731516868930900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00731516868976000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00731516868977100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00731516868969200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00731516868980800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007102130919000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007102130919000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007102130919000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00710213091184400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0071021309121460600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0071021309137083594500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0071021309128200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0071021309180200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007102130914900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0071021309142900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070986263427192934200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0071021309189800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0071021309187900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0071021309185700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0071021309182900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00710213091115800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0071021309114072700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00710213091104800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007102130916100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00710213091157400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00710213091130400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0070986101670979293900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0071021309171002984900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007102130919000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007102130919000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007102130919000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00710213091431900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0071021309114422100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0071021309141214555400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0071021309133700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0071021309147900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007102130911800
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0071021309118500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070986263432305632700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0071021309153100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0071021309152300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0071021309151000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0071021309150400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0071021309171000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0071021309111981500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0071021309164500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007102130914700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00710213091156600
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00710213091129600
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0070986101670979293900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0071021309171002984900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007102130919000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007102130919000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007102130919000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00710213091706300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0071021309118653900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0071021309140806674700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0071021309135500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0071021309146500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007102130912500
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0071021309119100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070986263430977756800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0071021309153100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0071021309152200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0071021309151300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0071021309150700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0071021309167900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 007102130918633400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0071021309160500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007102130914900
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00710213091166400
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00710213091139400
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0070986101670979293900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0071021309171002984900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007102130919000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007102130919000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007102130919000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00710213091324300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0071021309121459500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0071021309142802399300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0071021309134800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0071021309145000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007102130912700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0071021309119600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070986263433365158700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0071021309151800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0071021309150700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0071021309149900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0071021309148500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0071021309165400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007102130916676300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0071021309157700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007102130914900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00710213091154700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00710213091127700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0070986101670979293900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0071021309171002984900
tb.dut.tlul_assert_device.aKnown_A 0073151686813251687200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073151686873084379800
tb.dut.tlul_assert_device.aReadyKnown_A 0073151686873084379800
tb.dut.tlul_assert_device.dKnown_A 0073151686819428198300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073151686873084379800
tb.dut.tlul_assert_device.dReadyKnown_A 0073151686873084379800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082982900
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%