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 0063303907800621
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00633039078000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0063303907863288098400
tb.dut.CheckAccuCntDw 0062162100
tb.dut.CheckEscCntDw 0062162100
tb.dut.CheckNAlerts 0062162100
tb.dut.CheckNClasses 0062162100
tb.dut.CheckNEscSev 0062162100
tb.dut.CrashdumpKnownO_A 0063303907863288098400
tb.dut.EdnKnownO_A 0063303907863288098400
tb.dut.EscPKnownO_A 0063303907863288098400
tb.dut.FpvSecCmPingTimerCnterCheck_A 006330390787000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006330390787000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006330390787000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006330390787000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006330390787000
tb.dut.IrqAKnownO_A 0063303907863288098400
tb.dut.IrqBKnownO_A 0063303907863288098400
tb.dut.IrqCKnownO_A 0063303907863288098400
tb.dut.IrqDKnownO_A 0063303907863288098400
tb.dut.TlAReadyKnownO_A 0063303907863288098400
tb.dut.TlDValidKnownO_A 0063303907863288098400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00662825026215058700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006628250262549100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006628250262680100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006628250262564600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006628250262688400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006628250262573400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006628250262559100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006628250262676600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006628250262653600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006628250262599200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006628250262721400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006628250262547400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006628250262615600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006628250262527100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006628250262640300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006628250262545600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006628250262565700
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006628250262678500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006628250262579500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006628250262598000
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006628250262582600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006628250262598600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006628250262561900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006628250262586200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006628250262627000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006628250262589900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006628250262608700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006628250262628200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006628250262705300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006628250262545800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006628250262544700
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006628250262556400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006628250262552300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006628250262602400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006628250262544300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006628250262543700
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006628250262605400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006628250262620900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006628250262610300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006628250262601500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006628250262489600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006628250262551200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006628250262621500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006628250262582800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006628250262631000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006628250262625600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006628250262601200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006628250262584900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006628250262673300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006628250262539200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006628250262632800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006628250262569300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006628250262595100
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006628250262622700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006628250262625100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006628250262549000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006628250262672700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006628250262627900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006628250262565400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006628250262546000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006628250262556300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006628250262554000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006628250262581400
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006628250262591500
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006628250262581500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006628250262586300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006628250262584400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006628250262622300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006628250262633200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006628250262552700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006628250264996800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006628250262585000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006628250262581000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006628250262637200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006628250262550800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006628250262583600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006628250262581900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006628250262623400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006628250262532200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006330390787000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006330390787000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006330390787000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00633039078800800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0063303907823432700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0063303907832680855300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0063303907821900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0063303907877300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006330390784400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0063303907838800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0063290280823175757200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0063303907888300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0063303907886300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0063303907884700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0063303907883400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0063303907878600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006330390789068300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0063303907865200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006330390788700
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00633039078127300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00633039078106300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0063303907863288098400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006330390787000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006330390787000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006330390787000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00633039078250400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0063303907815601300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0063303907837439470700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0063303907822400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0063303907848300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006330390782300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0063303907822400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0063290280827637259300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0063303907857500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0063303907856800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0063303907856400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0063303907855300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00633039078107200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0063303907811408200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0063303907897300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006330390787500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00633039078122100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00633039078101100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0063303907863288098400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006330390787000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006330390787000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006330390787000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00633039078274400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0063303907818713900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0063303907837268246300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0063303907829500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0063303907846700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006330390781300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0063303907819400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0063290280829974461900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0063303907852400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0063303907851200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0063303907850400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0063303907849900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0063303907892200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0063303907811483900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0063303907885200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006330390785400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00633039078126800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00633039078105800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0063303907863288098400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006330390787000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006330390787000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006330390787000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00633039078310200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0063303907818918700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0063303907836049702500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0063303907823600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0063303907845800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006330390782100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0063303907818500
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0063290280825138828600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0063303907853300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0063303907852400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0063303907851400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0063303907850700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00633039078134000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0063303907816131900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00633039078125600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006330390786100
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00633039078124800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00633039078103800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0063303907863288098400
tb.dut.tlul_assert_device.aKnown_A 0066282502611820774500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0066282502666218701300
tb.dut.tlul_assert_device.aReadyKnown_A 0066282502666218701300
tb.dut.tlul_assert_device.dKnown_A 0066282502617276146900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0066282502666218701300
tb.dut.tlul_assert_device.dReadyKnown_A 0066282502666218701300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082682600
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%