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

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00674113279000
tb.dut.u_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 0067411327900619
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00674113279000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067411327967394229800
tb.dut.CheckAccuCntDw 0061961900
tb.dut.CheckEscCntDw 0061961900
tb.dut.CheckNAlerts 0061961900
tb.dut.CheckNClasses 0061961900
tb.dut.CheckNEscSev 0061961900
tb.dut.CrashdumpKnownO_A 0067411327967394229800
tb.dut.EdnKnownO_A 0067411327967394229800
tb.dut.EscPKnownO_A 0067411327967394229800
tb.dut.FpvSecCmPingTimerCnterCheck_A 006741132798000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006741132798000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006741132798000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006741132798000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006741132798000
tb.dut.IrqAKnownO_A 0067411327967394229800
tb.dut.IrqBKnownO_A 0067411327967394229800
tb.dut.IrqCKnownO_A 0067411327967394229800
tb.dut.IrqDKnownO_A 0067411327967394229800
tb.dut.TlAReadyKnownO_A 0067411327967394229800
tb.dut.TlDValidKnownO_A 0067411327967394229800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00698160105203941700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006981601051285400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006981601051288700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006981601051364700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006981601051275800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006981601051346000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006981601051362000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006981601051332300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006981601051452500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006981601051233700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006981601051365000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006981601051262100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006981601051354800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006981601051252000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006981601051255900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006981601051298200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006981601051374000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006981601051409900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006981601051362200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006981601051357600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006981601051225700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006981601051365600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006981601051489800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006981601051256800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006981601051290800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006981601051244100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006981601051359600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006981601051211800
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006981601051342300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006981601051359200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006981601051372000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006981601051355800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006981601051371900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006981601051250200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006981601051235500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006981601051228800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006981601051323600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006981601051467700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006981601051245600
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006981601051237200
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006981601051252800
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006981601051389200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006981601051379100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006981601051255100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006981601051298600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006981601051375600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006981601051483200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006981601051262000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006981601051219700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006981601051291800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006981601051254800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006981601051219600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006981601051276900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006981601051271900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006981601051236300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006981601051347400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006981601051369100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006981601051387900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006981601051254200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006981601051274700
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006981601051247100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006981601051249400
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006981601051275200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006981601051376000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006981601051260600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006981601051442300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006981601051485400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006981601051246600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006981601051251000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006981601051230300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006981601052384400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006981601051389700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006981601051215800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006981601051267400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006981601051216400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006981601051197700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006981601051370900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006981601051257900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006981601051270800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006741132798000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006741132798000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006741132798000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00674113279111600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067411327920822100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067411327932685348200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067411327928700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067411327971600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006741132795900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067411327933600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067396092222151840600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067411327982400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067411327981000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067411327979400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067411327977700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00674113279181400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067411327913099400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00674113279169100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006741132796200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00674113279147900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00674113279123900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067411327967394229800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006741132798000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006741132798000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006741132798000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00674113279911200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067411327924731600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067411327936612424900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067411327927600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067411327949900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006741132792200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067411327922200
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067396092230357019600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067411327957300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067411327956700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067411327955600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067411327954100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00674113279122200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006741132799355400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00674113279113800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006741132796200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00674113279143000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00674113279119000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067411327967394229800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006741132798000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006741132798000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006741132798000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00674113279330100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067411327918360800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067411327935171590300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067411327930000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067411327953000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006741132792000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067411327923600
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067396092226491121500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067411327959300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067411327957800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067411327956300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067411327955200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0067411327959500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006741132797141200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0067411327952100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006741132795400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00674113279151000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00674113279127000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067411327967394229800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006741132798000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006741132798000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006741132798000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067411327921258000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067411327934916019800
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067411327930400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067411327949500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006741132791600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067411327921300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067396092227327696800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067411327955100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067411327954300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067411327953800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067411327953200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00674113279134500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0067411327910814500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00674113279127600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006741132795100
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00674113279146700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00674113279122700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067411327967394229800
tb.dut.tlul_assert_device.aKnown_A 0069816010512226310700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069816010569747092100
tb.dut.tlul_assert_device.aReadyKnown_A 0069816010569747092100
tb.dut.tlul_assert_device.dKnown_A 0069816010518611694000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069816010569747092100
tb.dut.tlul_assert_device.dReadyKnown_A 0069816010569747092100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082482400
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%