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 0060680380200630
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00606803802000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0060680380260663141800
tb.dut.CheckAccuCntDw 0063063000
tb.dut.CheckEscCntDw 0063063000
tb.dut.CheckNAlerts 0063063000
tb.dut.CheckNClasses 0063063000
tb.dut.CheckNEscSev 0063063000
tb.dut.CrashdumpKnownO_A 0060680380260663141800
tb.dut.EdnKnownO_A 0060680380260663141800
tb.dut.EscPKnownO_A 0060680380260663141800
tb.dut.FpvSecCmPingTimerCnterCheck_A 006068038028000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006068038028000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006068038028000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006068038028000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006068038028000
tb.dut.IrqAKnownO_A 0060680380260663141800
tb.dut.IrqBKnownO_A 0060680380260663141800
tb.dut.IrqCKnownO_A 0060680380260663141800
tb.dut.IrqDKnownO_A 0060680380260663141800
tb.dut.TlAReadyKnownO_A 0060680380260663141800
tb.dut.TlDValidKnownO_A 0060680380260663141800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0063017774627594200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006301777461058300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006301777461131700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006301777461081200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006301777461100800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00630177746997900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006301777461057500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006301777461073300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006301777461030600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006301777461009800
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006301777461061200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00630177746997600
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006301777461051500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006301777461016600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006301777461098200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006301777461057200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006301777461056900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006301777461023600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006301777461024000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006301777461018500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006301777461137600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006301777461156300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006301777461027800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006301777461048700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006301777461020300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006301777461108000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006301777461026000
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006301777461025600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006301777461018200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006301777461055500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006301777461066300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006301777461046000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006301777461044800
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006301777461012200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00630177746994900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006301777461018300
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006301777461009800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006301777461017100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006301777461056900
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006301777461071200
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006301777461004600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006301777461053200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006301777461023200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00630177746995200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006301777461024800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006301777461083700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006301777461021300
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006301777461060200
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006301777461083300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006301777461008400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006301777461003300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006301777461029200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006301777461066900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006301777461005500
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006301777461053300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006301777461062400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006301777461004200
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006301777461012500
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006301777461117100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00630177746990800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006301777461007000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006301777461021700
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00630177746995700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006301777461019000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00630177746989900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006301777461011400
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006301777461061600
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006301777461067700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006301777461032500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006301777461081200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006301777461913400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006301777461027500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006301777461013100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00630177746987200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006301777461080500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006301777461012100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006301777461092300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006301777461004000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006301777461070600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006068038028000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006068038028000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006068038028000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00606803802438200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0060680380218379100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0060680380231323739700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0060680380222500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0060680380283500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006068038024200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0060680380239600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0060666609422255489800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0060680380290600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0060680380288400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0060680380286900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0060680380285400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0060680380266000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006068038027952600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0060680380256300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006068038025100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00606803802128500
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00606803802104500
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0060666525460659486100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0060680380260663141800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006068038028000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006068038028000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006068038028000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00606803802249500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0060680380216408500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0060680380233225194200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0060680380224900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0060680380249400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006068038022100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0060680380219100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0060666609424387835900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0060680380255100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0060680380254000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0060680380253000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0060680380252300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0060680380243800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006068038025803100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0060680380236400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006068038024600
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00606803802131500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00606803802107500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0060666525460659486100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0060680380260663141800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006068038028000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006068038028000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006068038028000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00606803802287400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0060680380219352200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0060680380230331935300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0060680380225700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0060680380250300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006068038023000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0060680380221400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0060666609422045791700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0060680380257000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0060680380255700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0060680380254000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0060680380253300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0060680380266000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006068038026862700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0060680380256800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006068038025700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00606803802121600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0060680380297600
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0060666525460659486100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0060680380260663141800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006068038028000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006068038028000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006068038028000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00606803802354100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0060680380218610000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0060680380230098712300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0060680380221600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0060680380250800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006068038022400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0060680380223300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0060666609423377402800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0060680380256800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0060680380256000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0060680380254700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0060680380253700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0060680380280100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006068038029797300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0060680380272100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006068038025400
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00606803802128400
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00606803802104400
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0060666525460659486100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0060680380260663141800
tb.dut.tlul_assert_device.aKnown_A 006301777468350256400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0063017774662953123100
tb.dut.tlul_assert_device.aReadyKnown_A 0063017774662953123100
tb.dut.tlul_assert_device.dKnown_A 0063017774616387747700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0063017774662953123100
tb.dut.tlul_assert_device.dReadyKnown_A 0063017774662953123100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083583500
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%