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 0054322666300618
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00543226663000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0054322666354307042800
tb.dut.CheckAccuCntDw 0061861800
tb.dut.CheckEscCntDw 0061861800
tb.dut.CheckNAlerts 0061861800
tb.dut.CheckNClasses 0061861800
tb.dut.CheckNEscSev 0061861800
tb.dut.CrashdumpKnownO_A 0054322666354307042800
tb.dut.EdnKnownO_A 0054322666354307042800
tb.dut.EscPKnownO_A 0054322666354307042800
tb.dut.FpvSecCmPingTimerCnterCheck_A 005432266637000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005432266637000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005432266637000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005432266637000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005432266637000
tb.dut.IrqAKnownO_A 0054322666354307042800
tb.dut.IrqBKnownO_A 0054322666354307042800
tb.dut.IrqCKnownO_A 0054322666354307042800
tb.dut.IrqDKnownO_A 0054322666354307042800
tb.dut.TlAReadyKnownO_A 0054322666354307042800
tb.dut.TlDValidKnownO_A 0054322666354307042800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0056883683222150000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005688368321241300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005688368321269000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005688368321226200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005688368321234600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005688368321227200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005688368321270000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005688368321255800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005688368321244600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005688368321251200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005688368321245200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005688368321260300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005688368321226000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005688368321262700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005688368321227700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005688368321221000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005688368321234200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005688368321248200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005688368321233100
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005688368321244300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005688368321245800
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005688368321221000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005688368321238600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005688368321226000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005688368321245000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005688368321236400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005688368321243300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005688368321233200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005688368321208500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005688368321228400
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005688368321287900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005688368321201500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005688368321219100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005688368321268300
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005688368321256700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005688368321236800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005688368321226800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005688368321253000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005688368321268000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005688368321216800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005688368321266300
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005688368321253300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005688368321219600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005688368321237500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005688368321256900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005688368321254700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005688368321221400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005688368321206200
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005688368321261900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005688368321268700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005688368321255800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005688368321231500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005688368321242900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005688368321288800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005688368321241300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005688368321260100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005688368321242800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005688368321248200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005688368321234300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005688368321238800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005688368321222600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005688368321232400
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005688368321250100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005688368321253100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005688368321240200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005688368321227300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005688368321265500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005688368321225200
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005688368321238100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005688368321234500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005688368322307400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005688368321284400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005688368321233400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005688368321251400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005688368321260100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005688368321254100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005688368321243500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005688368321231400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005688368321235200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005432266637000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005432266637000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005432266637000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00543226663528100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0054322666313442400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0054322666329273292900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0054322666324700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0054322666376200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005432266633600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0054322666335900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0054290273324451686800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0054322666383800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0054322666381700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0054322666380100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0054322666377500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0054322666385100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0054322666312021500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0054322666374900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005432266636200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00543226663108600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0054322666387600
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0054290054654283336300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061861800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0054322666354307042800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005432266637000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005432266637000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005432266637000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00543226663577300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0054322666317698400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0054322666331531558300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0054322666322700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0054322666343800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005432266632500
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0054322666321400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0054290273325303524500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0054322666351500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0054322666350500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0054322666349500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0054322666348700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0054322666359800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005432266637882200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0054322666350500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005432266636400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00543226663104700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0054322666383700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0054290054654283336300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061861800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0054322666354307042800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005432266637000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005432266637000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005432266637000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00543226663197100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0054322666314614800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0054322666331335395000
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0054322666318500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0054322666346500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005432266632800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0054322666322900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0054290273324309649000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0054322666353300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0054322666352100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0054322666350600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0054322666350100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0054322666351900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005432266636579500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0054322666343300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005432266635500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00543226663109000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0054322666388000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0054290054654283336300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061861800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0054322666354307042800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005432266637000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005432266637000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005432266637000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 0054322666383600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0054322666317511100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0054322666329047420600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0054322666318500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0054322666344600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005432266632400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0054322666320600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0054290273322982776400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0054322666351400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0054322666350300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0054322666349500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0054322666348300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0054322666372400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005432266639109100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0054322666363000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005432266636200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00543226663118800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0054322666397800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0054290054654283336300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061861800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0054322666354307042800
tb.dut.tlul_assert_device.aKnown_A 005688368327857901500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0056883683256816892200
tb.dut.tlul_assert_device.aReadyKnown_A 0056883683256816892200
tb.dut.tlul_assert_device.dKnown_A 0056883683213697028000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0056883683256816892200
tb.dut.tlul_assert_device.dReadyKnown_A 0056883683256816892200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082382300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082382300
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%