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 0070889891700626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00708898917000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070889891770875168100
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0070889891770875168100
tb.dut.EdnKnownO_A 0070889891770875168100
tb.dut.EscPKnownO_A 0070889891770875168100
tb.dut.FpvSecCmPingTimerCnterCheck_A 007088989176000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007088989176000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007088989176000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007088989176000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007088989176000
tb.dut.IrqAKnownO_A 0070889891770875168100
tb.dut.IrqBKnownO_A 0070889891770875168100
tb.dut.IrqCKnownO_A 0070889891770875168100
tb.dut.IrqDKnownO_A 0070889891770875168100
tb.dut.TlAReadyKnownO_A 0070889891770875168100
tb.dut.TlDValidKnownO_A 0070889891770875168100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00736798952316706700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007367989521431200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007367989521302600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007367989521463000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007367989521380800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007367989521303000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007367989521399200
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007367989521330400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007367989521359600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007367989521316100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007367989521361700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007367989521290200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007367989521503600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007367989521332200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007367989521296700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007367989521324000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007367989521323600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007367989521315200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007367989521301900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007367989521314400
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007367989521552100
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007367989521500700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007367989521284500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007367989521316400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007367989521406400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007367989521379300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007367989521403600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007367989521397000
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007367989521441200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007367989521324600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007367989521374200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007367989521391700
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007367989521376700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007367989521434600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007367989521520800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007367989521375400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007367989521380500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007367989521366400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007367989521371900
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007367989521418100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007367989521359600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007367989521401900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007367989521297400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007367989521397900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007367989521384000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007367989521438800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007367989521483700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007367989521278500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007367989521417300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007367989521315000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007367989521336400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007367989521351600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007367989521475600
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007367989521270900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007367989521384400
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007367989521372100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007367989521374500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007367989521336200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007367989521449200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007367989521323400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007367989521453300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007367989521311300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007367989521323100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007367989521421000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007367989521376000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007367989521458600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007367989521480300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007367989521406800
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007367989521495500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007367989521379300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007367989522415300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007367989521323400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007367989521417300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007367989521308100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007367989521298000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007367989521416100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007367989521353500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007367989521538100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007367989521386500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007088989176000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007088989176000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007088989176000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00708898917382200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070889891724624800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070889891736293908900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070889891720900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070889891781000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007088989175800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070889891738800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070871072327718588900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070889891789900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070889891787500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070889891786300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070889891784800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00708898917107100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070889891711239400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0070889891795600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007088989175600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00708898917109200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0070889891791200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0070870921870863944200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0070889891770875168100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007088989176000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007088989176000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007088989176000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00708898917372000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070889891719789700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070889891742075083700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070889891720900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070889891754500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007088989172600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070889891725600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070871072329947500500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070889891762100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070889891761200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070889891760200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070889891760000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0070889891793700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070889891710760200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0070889891785000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007088989176100
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00708898917112100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0070889891794100
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0070870921870863944200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0070889891770875168100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007088989176000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007088989176000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007088989176000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00708898917197600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070889891716887400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070889891743208275500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070889891717200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070889891749200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007088989172000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070889891722400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070871072333354318400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070889891756600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070889891755600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070889891754600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070889891753900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00708898917107400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070889891711772700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0070889891798800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007088989176500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00708898917108500
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0070889891790500
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0070870921870863944200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0070889891770875168100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007088989176000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007088989176000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007088989176000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00708898917255000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070889891719361100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070889891739904610400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070889891719900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070889891755000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007088989171700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070889891726100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070871072331941552300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070889891760700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070889891759700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070889891758900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070889891757600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00708898917105100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070889891710528800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0070889891797800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007088989175200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00708898917106900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0070889891788900
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0070870921870863944200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0070889891770875168100
tb.dut.tlul_assert_device.aKnown_A 0073679895213864224700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073679895273612901700
tb.dut.tlul_assert_device.aReadyKnown_A 0073679895273612901700
tb.dut.tlul_assert_device.dKnown_A 0073679895220063221200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073679895273612901700
tb.dut.tlul_assert_device.dReadyKnown_A 0073679895273612901700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083183100
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%