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 0073212042000626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00732120420000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0073212042073193253000
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0073212042073193253000
tb.dut.EdnKnownO_A 0073212042073193253000
tb.dut.EscPKnownO_A 0073212042073193253000
tb.dut.FpvSecCmPingTimerCnterCheck_A 007321204209000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007321204209000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007321204209000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007321204209000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007321204209000
tb.dut.IrqAKnownO_A 0073212042073193253000
tb.dut.IrqBKnownO_A 0073212042073193253000
tb.dut.IrqCKnownO_A 0073212042073193253000
tb.dut.IrqDKnownO_A 0073212042073193253000
tb.dut.TlAReadyKnownO_A 0073212042073193253000
tb.dut.TlDValidKnownO_A 0073212042073193253000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00758467543302883000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007584675431648300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007584675431614300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007584675431669900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007584675431539100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007584675431740700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007584675431514700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007584675431738600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007584675431628300
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007584675431501500
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007584675431611600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007584675431532000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007584675431631000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007584675431645400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007584675431609900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007584675431625000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007584675431609100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007584675431640400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007584675431592600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007584675431515900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007584675431488200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007584675431495300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007584675431511000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007584675431724700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007584675431631000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007584675431615000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007584675431614300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007584675431484500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007584675431486800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007584675431514300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007584675431599900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007584675431613500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007584675431739300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007584675431724600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007584675431607600
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007584675431616800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007584675431486700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007584675431554900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007584675431760100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007584675431642400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007584675431591500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007584675431710400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007584675431471600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007584675431468600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007584675431524100
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007584675431480200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007584675431524200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007584675431616300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007584675431529400
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007584675431504500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007584675431648800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007584675431576400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007584675431627600
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007584675431527000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007584675431605900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007584675431593600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007584675431632800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007584675431637600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007584675431701700
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007584675431533300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007584675431631300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007584675431653300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007584675431490200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007584675431585600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007584675431613000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007584675431533100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007584675431522200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007584675431609300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007584675431693300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007584675431524300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007584675433096800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007584675431742400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007584675431487500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007584675431800700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007584675431469000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007584675431621000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007584675431485800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007584675431534300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007584675431586100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007321204209000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007321204209000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007321204209000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00732120420203000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0073212042021465000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0073212042041224085400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0073212042033800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0073212042090900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007321204205500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0073212042046400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0073192354433157028100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00732120420101500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0073212042098700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0073212042097000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0073212042094400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00732120420119100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0073212042012583400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00732120420107400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007321204206100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00732120420163700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00732120420136700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0073192143373184839900
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 0073212042073193253000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007321204209000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007321204209000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007321204209000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00732120420438600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0073212042019192400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0073212042041400667900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0073212042033300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0073212042055600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007321204202300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0073212042024000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0073192354430717359900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0073212042063200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0073212042061700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0073212042059800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0073212042058900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0073212042094900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0073212042011445200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0073212042086500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007321204205900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00732120420170900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00732120420143900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0073192143373184839900
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 0073212042073193253000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007321204209000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007321204209000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007321204209000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00732120420364300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0073212042016564800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0073212042041698561700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0073212042029300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0073212042050500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007321204202200
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0073212042020500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0073192354431017235400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0073212042057700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0073212042056900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0073212042056000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0073212042054500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0073212042056200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 007321204206989400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0073212042048300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007321204205600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00732120420158800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00732120420131800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0073192143373184839900
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 0073212042073193253000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007321204209000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007321204209000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007321204209000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00732120420190700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0073212042018686200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0073212042038622681600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0073212042030600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0073212042051900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007321204202500
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0073212042021000
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0073192354431810581900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0073212042058900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0073212042057900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0073212042057200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0073212042056400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00732120420158500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0073212042017835200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00732120420150100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007321204205300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00732120420160700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00732120420133700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0073192143373184839900
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 0073212042073193253000
tb.dut.tlul_assert_device.aKnown_A 0075846754313311478000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0075846754375779985100
tb.dut.tlul_assert_device.aReadyKnown_A 0075846754375779985100
tb.dut.tlul_assert_device.dKnown_A 0075846754319928926700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0075846754375779985100
tb.dut.tlul_assert_device.dReadyKnown_A 0075846754375779985100
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%