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 0068059994200623
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00680599942000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0068059994268041521400
tb.dut.CheckAccuCntDw 0062362300
tb.dut.CheckEscCntDw 0062362300
tb.dut.CheckNAlerts 0062362300
tb.dut.CheckNClasses 0062362300
tb.dut.CheckNEscSev 0062362300
tb.dut.CrashdumpKnownO_A 0068059994268041521400
tb.dut.EdnKnownO_A 0068059994268041521400
tb.dut.EscPKnownO_A 0068059994268041521400
tb.dut.FpvSecCmPingTimerCnterCheck_A 006805999429000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006805999429000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006805999429000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006805999429000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006805999429000
tb.dut.IrqAKnownO_A 0068059994268041521400
tb.dut.IrqBKnownO_A 0068059994268041521400
tb.dut.IrqCKnownO_A 0068059994268041521400
tb.dut.IrqDKnownO_A 0068059994268041521400
tb.dut.TlAReadyKnownO_A 0068059994268041521400
tb.dut.TlDValidKnownO_A 0068059994268041521400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00709078344302874000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007090783441680900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007090783441816800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007090783441816500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007090783441717500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007090783441807500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007090783441782100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007090783441725200
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007090783441712700
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007090783441811600
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007090783441918700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007090783441835900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007090783441854100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007090783441711000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007090783441683600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007090783441715700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007090783441934900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007090783441862700
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007090783441721000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007090783441841100
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007090783441700800
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007090783441697800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007090783441814300
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007090783441723500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007090783441712400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007090783441832900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007090783441717400
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007090783441828100
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007090783441727800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007090783441798200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007090783441777000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007090783441708800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007090783441835700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007090783441714000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007090783441819400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007090783441690400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007090783441674900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007090783441798900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007090783441727800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007090783441720600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007090783441820100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007090783441833400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007090783441942700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007090783441730300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007090783441698400
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007090783441719900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007090783441818700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007090783441930800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007090783441850700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007090783441825400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007090783441754300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007090783441735200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007090783441666200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007090783441818900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007090783441809200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007090783441704700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007090783441824300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007090783441831100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007090783441803200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007090783441924100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007090783441686700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007090783441817200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007090783441851300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007090783441649100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007090783441828100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007090783441825500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007090783441715500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007090783441704900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007090783441800600
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007090783441702600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007090783443389100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007090783441674400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007090783441697800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007090783441742200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007090783441823100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007090783441754500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007090783441733800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007090783441690900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007090783441834200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006805999429000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006805999429000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006805999429000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00680599942128900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0068059994221514600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0068059994237184283000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0068059994226300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0068059994279600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006805999424900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0068059994240300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0068030761527488375900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0068059994290900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0068059994289000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0068059994287500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0068059994285800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00680599942216100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0068059994226768200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00680599942202700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006805999428300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00680599942145400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00680599942118400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0068030618468023674500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0068059994268041521400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006805999429000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006805999429000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006805999429000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00680599942452100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0068059994221420900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0068059994235041676900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0068059994223500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0068059994251100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006805999421700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0068059994222700
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0068030761525869165600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0068059994260100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0068059994259200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0068059994257900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0068059994256600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00680599942205600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0068059994220632900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00680599942195600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006805999428100
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00680599942139100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00680599942112100
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0068030618468023674500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0068059994268041521400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006805999429000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006805999429000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006805999429000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00680599942630400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0068059994219813300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0068059994237566299200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0068059994226500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0068059994248900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006805999422600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0068059994220300
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0068030761526236349300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0068059994257300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0068059994256700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0068059994256100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0068059994255400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00680599942197500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0068059994218758700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00680599942188300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006805999426600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00680599942141100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00680599942114100
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0068030618468023674500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0068059994268041521400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006805999429000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006805999429000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006805999429000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00680599942319400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0068059994219873100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0068059994238694023600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0068059994229300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0068059994250500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006805999422300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0068059994223800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0068030761529626612700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0068059994259000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0068059994257700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0068059994256400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0068059994255300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00680599942194700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0068059994221805900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00680599942185400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006805999426800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00680599942148100
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00680599942121100
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0068030618468023674500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0068059994268041521400
tb.dut.tlul_assert_device.aKnown_A 0070907834414140850000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0070907834470838044000
tb.dut.tlul_assert_device.aReadyKnown_A 0070907834470838044000
tb.dut.tlul_assert_device.dKnown_A 0070907834418561849600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0070907834470838044000
tb.dut.tlul_assert_device.dReadyKnown_A 0070907834470838044000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082882800
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1279010
Category 01279010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1279010
Severity 01279010


Summary for Assertions
NUMBERPERCENT
Total Number1279100.00
Uncovered20.16
Success127799.84
Failure00.00
Incomplete493.83
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%