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 0064678360300625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00646783603000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0064678360364664579700
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0064678360364664579700
tb.dut.EdnKnownO_A 0064678360364664579700
tb.dut.EscPKnownO_A 0064678360364664579700
tb.dut.FpvSecCmPingTimerCnterCheck_A 006467836035000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006467836035000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006467836035000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006467836035000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006467836035000
tb.dut.IrqAKnownO_A 0064678360364664579700
tb.dut.IrqBKnownO_A 0064678360364664579700
tb.dut.IrqCKnownO_A 0064678360364664579700
tb.dut.IrqDKnownO_A 0064678360364664579700
tb.dut.TlAReadyKnownO_A 0064678360364664579700
tb.dut.TlDValidKnownO_A 0064678360364664579700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00670649307294847300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006706493071204700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006706493071218100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006706493071322500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006706493071289800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006706493071428600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006706493071058300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006706493071451500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006706493071167400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006706493071175300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006706493071179400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006706493071175200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006706493071069700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006706493071319900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006706493071056300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006706493071190000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006706493071201300
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006706493071303100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006706493071170800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006706493071210800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006706493071185300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006706493071104300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006706493071181600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006706493071069300
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006706493071317700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006706493071284800
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006706493071323000
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006706493071213700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006706493071179600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006706493071064000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006706493071321600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006706493071075300
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006706493071224300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006706493071396600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006706493071070900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006706493071219200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006706493071064400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006706493071176800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006706493071064400
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006706493071072300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006706493071107500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006706493071313900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006706493071309200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006706493071170100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006706493071077000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006706493071074200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006706493071184900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006706493071043800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006706493071180600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006706493071310100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006706493071335400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006706493071317500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006706493071416200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006706493071291100
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006706493071213900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006706493071278700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006706493071266800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006706493071192400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006706493071052400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006706493071076200
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006706493071231000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006706493071052000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006706493071067500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006706493071073000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006706493071090900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006706493071179100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006706493071062400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006706493071423500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006706493071203200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006706493071089100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006706493072607100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006706493071085800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006706493071101800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006706493071186200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006706493071022200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006706493071226300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006706493071319800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006706493071296500
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006706493071077100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006467836035000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006467836035000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006467836035000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00646783603238000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0064678360322561100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0064678360329899403700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0064678360314100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0064678360389700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006467836034400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0064678360345600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0064665161322413954300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00646783603100600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0064678360398200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0064678360395300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0064678360393500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00646783603147200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0064678360313279700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00646783603134300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006467836038400
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 0064678360390400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0064678360375400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0064678360364664579700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006467836035000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006467836035000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006467836035000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00646783603468200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0064678360320070600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0064678360334021869600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0064678360318200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0064678360354700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006467836032500
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0064678360327600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0064665161326158880200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0064678360363000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0064678360360500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0064678360358400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0064678360357300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00646783603144400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0064678360313462000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00646783603135200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006467836036500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 0064678360390200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0064678360375200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0064678360364664579700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006467836035000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006467836035000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006467836035000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00646783603487500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0064678360320008500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0064678360334866634400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0064678360316900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0064678360349400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006467836031600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0064678360321500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0064665161325798425000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0064678360356600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0064678360355600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0064678360354400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0064678360353600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00646783603155300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0064678360315190900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00646783603146600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006467836037000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 0064678360390900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0064678360375900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0064678360364664579700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006467836035000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006467836035000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006467836035000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00646783603163700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0064678360318412300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0064678360339035156500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0064678360316900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0064678360347300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006467836032800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0064678360320300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0064665161329580365300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0064678360355800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0064678360354700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0064678360354000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0064678360353200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00646783603125800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0064678360310477100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00646783603116600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006467836036400
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 0064678360390300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0064678360375300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0064678360364664579700
tb.dut.tlul_assert_device.aKnown_A 0067064930713169117900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0067064930767000258900
tb.dut.tlul_assert_device.aReadyKnown_A 0067064930767000258900
tb.dut.tlul_assert_device.dKnown_A 0067064930718190400400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0067064930767000258900
tb.dut.tlul_assert_device.dReadyKnown_A 0067064930767000258900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0083083000
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%