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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0074077178974059658600
tb.dut.CheckAccuCntDw 0063863800
tb.dut.CheckEscCntDw 0063863800
tb.dut.CheckNAlerts 0063863800
tb.dut.CheckNClasses 0063863800
tb.dut.CheckNEscSev 0063863800
tb.dut.CrashdumpKnownO_A 0074077178974059658600
tb.dut.EdnKnownO_A 0074077178974059658600
tb.dut.EscPKnownO_A 0074077178974059658600
tb.dut.FpvSecCmPingTimerCnterCheck_A 007407717898000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007407717898000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007407717898000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007407717898000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007407717898000
tb.dut.IrqAKnownO_A 0074077178974059658600
tb.dut.IrqBKnownO_A 0074077178974059658600
tb.dut.IrqCKnownO_A 0074077178974059658600
tb.dut.IrqDKnownO_A 0074077178974059658600
tb.dut.TlAReadyKnownO_A 0074077178974059658600
tb.dut.TlDValidKnownO_A 0074077178974059658600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00765295846398669000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007652958461747700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007652958461844000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007652958461620300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007652958461774600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007652958461462900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007652958461629000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007652958461502100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007652958461714300
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007652958461730800
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007652958461636700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007652958461604900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007652958461679300
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007652958461767400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007652958461660100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007652958461627800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007652958461608200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007652958461635900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007652958461750700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007652958461628100
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007652958461729500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007652958461514700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007652958461728600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007652958461661700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007652958461738900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007652958461490000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007652958461742200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007652958461743400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007652958461623000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007652958461768000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007652958461864500
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007652958461610600
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007652958461618600
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007652958461516800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007652958461752300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007652958461633100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007652958461620800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007652958461670000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007652958461528600
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007652958461521000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007652958461734900
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007652958461851100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007652958461708800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007652958461626600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007652958461497900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007652958461741300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007652958461499100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007652958461740900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007652958461751200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007652958461509200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007652958461641300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007652958461608500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007652958461749200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007652958461621300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007652958461759900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007652958461662100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007652958461635300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007652958461724100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007652958461518300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007652958461633500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007652958461484800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007652958461763500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007652958461499800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007652958461507900
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007652958461633400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007652958461732400
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007652958461755700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007652958461623100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007652958461673900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007652958461857200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007652958462930900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007652958461642600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007652958461520000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007652958461633300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007652958461615500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007652958461510200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007652958461633800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007652958461734000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007652958461729700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007407717898000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007407717898000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007407717898000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0074077178927539000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0074077178937504437800
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0074077178932900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0074077178998900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007407717896300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0074077178950400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0074059992324443331800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00740771789111500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00740771789109800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 00740771789106800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 00740771789104600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0074077178977000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 007407717898716300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0074077178963400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007407717897300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00740771789146800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00740771789122800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063863800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0074077178974059658600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007407717898000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007407717898000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007407717898000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00740771789572700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0074077178921739800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0074077178938564967500
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0074077178930800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0074077178956500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007407717892600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0074077178925500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0074059992329789395400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0074077178966100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0074077178965500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0074077178964100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0074077178962700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00740771789108400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0074077178913067400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0074077178998500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007407717897300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00740771789146500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00740771789122500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063863800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0074077178974059658600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007407717898000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007407717898000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007407717898000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00740771789157300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0074077178917678300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0074077178942621799100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0074077178925700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0074077178954500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007407717891700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0074077178924800
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0074059992332474522500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0074077178962300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0074077178961000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0074077178960100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0074077178959000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0074077178990900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0074077178912521500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0074077178982400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007407717896800
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00740771789142100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00740771789118100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063863800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0074077178974059658600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007407717898000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007407717898000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007407717898000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00740771789649300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0074077178915776900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0074077178942213995300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0074077178927700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0074077178952500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007407717892300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0074077178921600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0074059992333265606000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0074077178961900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0074077178960900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0074077178960100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0074077178959100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0074077178984000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0074077178910513700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0074077178974000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007407717897700
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00740771789144200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00740771789120200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063863800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0074077178974059658600
tb.dut.tlul_assert_device.aKnown_A 0076529584614462185200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076529584676464675500
tb.dut.tlul_assert_device.aReadyKnown_A 0076529584676464675500
tb.dut.tlul_assert_device.dKnown_A 0076529584620156880000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076529584676464675500
tb.dut.tlul_assert_device.dReadyKnown_A 0076529584676464675500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084384300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084384300
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%