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 0068521065600625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00685210656000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0068521065668505057500
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0068521065668505057500
tb.dut.EdnKnownO_A 0068521065668505057500
tb.dut.EscPKnownO_A 0068521065668505057500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006852106567000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006852106567000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006852106567000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006852106567000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006852106567000
tb.dut.IrqAKnownO_A 0068521065668505057500
tb.dut.IrqBKnownO_A 0068521065668505057500
tb.dut.IrqCKnownO_A 0068521065668505057500
tb.dut.IrqDKnownO_A 0068521065668505057500
tb.dut.TlAReadyKnownO_A 0068521065668505057500
tb.dut.TlDValidKnownO_A 0068521065668505057500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00709215064302980700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007092150641425100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007092150641454700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007092150641452400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007092150641444900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007092150641458000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007092150641478600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007092150641456900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007092150641448200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007092150641439900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007092150641408500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007092150641433900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007092150641429500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007092150641466200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007092150641446100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007092150641459300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007092150641392900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007092150641421900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007092150641425800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007092150641405900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007092150641419300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007092150641429800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007092150641422500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007092150641436600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007092150641460500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007092150641401900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007092150641407200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007092150641462700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007092150641452200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007092150641416900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007092150641463100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007092150641445900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007092150641424700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007092150641437600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007092150641443300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007092150641462500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007092150641432000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007092150641422300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007092150641421100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007092150641473400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007092150641443900
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007092150641423000
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007092150641386100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007092150641457600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007092150641427500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007092150641458600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007092150641427800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007092150641465500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007092150641435000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007092150641423500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007092150641422800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007092150641423900
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007092150641450300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007092150641437100
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007092150641486900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007092150641415700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007092150641437500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007092150641469400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007092150641424800
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007092150641443500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007092150641410200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007092150641418500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007092150641444200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007092150641460600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007092150641458900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007092150641438900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007092150641419300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007092150641414900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007092150641479200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007092150641456600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007092150642913200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007092150641479300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007092150641401100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007092150641460600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007092150641454300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007092150641492600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007092150641446800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007092150641442700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007092150641410100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006852106567000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006852106567000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006852106567000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00685210656290400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0068521065623278100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0068521065636882565600
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0068521065622100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0068521065681800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006852106564500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0068521065641500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0068507600927560084200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0068521065691100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0068521065689800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0068521065687700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0068521065685800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0068521065664400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006852106566734900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0068521065652900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006852106567000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00685210656126700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00685210656105700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0068521065668505057500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006852106567000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006852106567000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006852106567000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00685210656569400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0068521065617834100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0068521065639303065900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0068521065619900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0068521065648200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006852106562900
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0068521065623800
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0068507600932261119200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0068521065656800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0068521065655700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0068521065654500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0068521065654100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0068521065688000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006852106569412500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0068521065678100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006852106566800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00685210656129500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00685210656108500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0068521065668505057500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006852106567000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006852106567000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006852106567000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00685210656325000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0068521065615691900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0068521065642728906000
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0068521065625300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0068521065642800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006852106562700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0068521065618000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0068507600934570515900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0068521065649800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0068521065649500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0068521065649000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0068521065648300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0068521065682100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0068521065610688900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0068521065674000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006852106565400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00685210656123600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00685210656102600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0068521065668505057500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006852106567000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006852106567000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006852106567000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00685210656271400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0068521065619189300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0068521065641384651300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0068521065629000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0068521065644100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006852106562400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0068521065619700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0068507600931517725800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0068521065651800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0068521065651400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0068521065650800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0068521065649700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0068521065678100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006852106568190000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0068521065669300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006852106566100
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00685210656131500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00685210656110500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0068521065668505057500
tb.dut.tlul_assert_device.aKnown_A 0070921506412996565700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0070921506470857560800
tb.dut.tlul_assert_device.aReadyKnown_A 0070921506470857560800
tb.dut.tlul_assert_device.dKnown_A 0070921506417950200500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0070921506470857560800
tb.dut.tlul_assert_device.dReadyKnown_A 0070921506470857560800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0083083000
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
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%