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 0075756581000642
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00757565810000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0075756581075738960400
tb.dut.CheckAccuCntDw 0064264200
tb.dut.CheckEscCntDw 0064264200
tb.dut.CheckNAlerts 0064264200
tb.dut.CheckNClasses 0064264200
tb.dut.CheckNEscSev 0064264200
tb.dut.CrashdumpKnownO_A 0075756581075738960400
tb.dut.EdnKnownO_A 0075756581075738960400
tb.dut.EscPKnownO_A 0075756581075738960400
tb.dut.FpvSecCmPingTimerCnterCheck_A 007575658108000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007575658108000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007575658108000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007575658108000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007575658108000
tb.dut.IrqAKnownO_A 0075756581075738960400
tb.dut.IrqBKnownO_A 0075756581075738960400
tb.dut.IrqCKnownO_A 0075756581075738960400
tb.dut.IrqDKnownO_A 0075756581075738960400
tb.dut.TlAReadyKnownO_A 0075756581075738960400
tb.dut.TlDValidKnownO_A 0075756581075738960400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00788469729515558500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007884697292806100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007884697292791300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007884697292842800
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007884697292800700
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007884697292811300
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007884697292839500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007884697292783000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007884697292898700
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007884697292736900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007884697292833500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007884697292797000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007884697292719900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007884697292771500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007884697292881900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007884697292906700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007884697292773800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007884697292753400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007884697292724900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007884697292791500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007884697292728700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007884697292857500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007884697292918500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007884697292817000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007884697292778400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007884697292765900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007884697292885400
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007884697292800300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007884697292838500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007884697292815300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007884697292859000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007884697292853700
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007884697292752400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007884697292811000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007884697292756000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007884697292753200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007884697292807000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007884697292792200
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007884697292804300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007884697292841600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007884697292761000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007884697292843200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007884697292760300
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007884697292858000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007884697292883800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007884697292839200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007884697292772500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007884697292846700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007884697292768900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007884697292824200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007884697292851100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007884697292741600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007884697292776400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007884697292811800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007884697292885300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007884697292781500
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007884697292766200
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007884697292794200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007884697292751700
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007884697292845400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007884697292838600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007884697292868800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007884697292780900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007884697292743700
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007884697292788100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007884697292845900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007884697292807800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007884697292872000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007884697292777900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007884697292778100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007884697295346900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007884697292868400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007884697292855100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007884697292840600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007884697292771800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007884697292762900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007884697292790500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007884697292804300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007884697292836400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007575658108000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007575658108000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007575658108000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00757565810354100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0075756581033675600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0075756581035144237400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0075756581033900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 00757565810103600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007575658107500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0075756581057100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0075733186728561161500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00757565810117000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00757565810114200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 00757565810111400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 00757565810109300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00757565810133600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0075756581014633900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00757565810118600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007575658107500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00757565810147500
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00757565810123500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0075756581075738960400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007575658108000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007575658108000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007575658108000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00757565810290300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0075756581019086200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0075756581042808133900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0075756581030900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0075756581055500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007575658102800
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0075756581025500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0075733186734396539800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0075756581064600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0075756581063500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0075756581062600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0075756581061300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00757565810115500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0075756581013318900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00757565810105500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007575658107200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00757565810144400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00757565810120400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0075756581075738960400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007575658108000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007575658108000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007575658108000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00757565810715300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0075756581022006000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0075756581039539614100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0075756581027800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0075756581061000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007575658102600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0075756581028700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0075733186731761936800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0075756581070400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0075756581069300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0075756581067500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0075756581066800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00757565810128600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0075756581013880900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00757565810118000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007575658108000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00757565810145100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00757565810121100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0075756581075738960400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007575658108000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007575658108000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007575658108000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00757565810402800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0075756581016490500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0075756581046396768400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0075756581028700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0075756581053500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007575658102700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0075756581025600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0075733186738212576000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0075756581063300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0075756581062300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0075756581061000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0075756581060300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0075756581094000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0075756581011244800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0075756581083400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007575658107900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00757565810146200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00757565810122200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0075756581075738960400
tb.dut.tlul_assert_device.aKnown_A 0078846972917645890500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0078846972978775367500
tb.dut.tlul_assert_device.aReadyKnown_A 0078846972978775367500
tb.dut.tlul_assert_device.dKnown_A 0078846972922209479400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0078846972978775367500
tb.dut.tlul_assert_device.dReadyKnown_A 0078846972978775367500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084784700
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%