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 0054769193200631
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00547691932000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0054769193254753352000
tb.dut.CheckAccuCntDw 0063163100
tb.dut.CheckEscCntDw 0063163100
tb.dut.CheckNAlerts 0063163100
tb.dut.CheckNClasses 0063163100
tb.dut.CheckNEscSev 0063163100
tb.dut.CrashdumpKnownO_A 0054769193254753352000
tb.dut.EdnKnownO_A 0054769193254753352000
tb.dut.EscPKnownO_A 0054769193254753352000
tb.dut.FpvSecCmPingTimerCnterCheck_A 005476919327000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005476919327000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005476919327000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005476919327000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005476919327000
tb.dut.IrqAKnownO_A 0054769193254753352000
tb.dut.IrqBKnownO_A 0054769193254753352000
tb.dut.IrqCKnownO_A 0054769193254753352000
tb.dut.IrqDKnownO_A 0054769193254753352000
tb.dut.TlAReadyKnownO_A 0054769193254753352000
tb.dut.TlDValidKnownO_A 0054769193254753352000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0057389243423761000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005738924341615200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005738924341296800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005738924341410100
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005738924341403800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005738924341446600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005738924341403700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005738924341602400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005738924341319600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005738924341673800
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005738924341532800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005738924341458300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005738924341470200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005738924341308900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005738924341540500
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005738924341320900
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005738924341385100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005738924341422300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005738924341518500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005738924341411700
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005738924341605600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005738924341411400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005738924341440700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005738924341439300
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005738924341302600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005738924341513100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005738924341400600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005738924341424900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005738924341332100
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005738924341553000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005738924341475000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005738924341458000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005738924341378000
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005738924341348500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005738924341499200
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005738924341309400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005738924341400600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005738924341506200
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005738924341414200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005738924341470100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005738924341573100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005738924341422900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005738924341409100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005738924341301700
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005738924341448600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005738924341309400
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005738924341522200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005738924341314000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005738924341373000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005738924341410500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005738924341410700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005738924341535500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005738924341711300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005738924341548700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005738924341505500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005738924341658400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005738924341379600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005738924341513900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005738924341560900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005738924341432000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005738924341449200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005738924341520200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005738924341526000
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005738924341432400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005738924341644000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005738924341404200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005738924341523700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005738924341494800
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005738924341661000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005738924341625700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005738924342763700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005738924341461600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005738924341513300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005738924341539800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005738924341321000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005738924341523700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005738924341598000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005738924341410100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005738924341299600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005476919327000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005476919327000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005476919327000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00547691932239400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0054769193213211600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0054769193230978620300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0054769193216700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0054769193282200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005476919323700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0054769193239300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0054754919021787433300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0054769193287300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0054769193284500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0054769193282500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0054769193279200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0054769193293200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0054769193210324800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0054769193283100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005476919325900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00547691932109900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0054769193288900
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0054754780254747910500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0054769193254753352000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005476919327000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005476919327000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005476919327000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00547691932142100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0054769193213872400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0054769193231063954800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0054769193220200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0054769193250600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005476919322300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0054769193223300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0054754919024410518100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0054769193256700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0054769193255800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0054769193254500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0054769193253000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0054769193280300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0054769193210100400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0054769193272800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005476919325000
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00547691932115500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0054769193294500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0054754780254747910500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0054769193254753352000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005476919327000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005476919327000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005476919327000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00547691932724200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0054769193216466000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0054769193229656272600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0054769193223000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0054769193249000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005476919321800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0054769193220300
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0054754919023007540100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0054769193253600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0054769193252600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0054769193251200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0054769193250200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00547691932113900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0054769193210811200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00547691932107400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005476919324400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00547691932120500
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0054769193299500
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0054754780254747910500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0054769193254753352000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005476919327000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005476919327000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005476919327000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00547691932168700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0054769193217010100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0054769193230292127200
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0054769193224200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0054769193250300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005476919321700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0054769193223300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0054754919022132247500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0054769193256700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0054769193255400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0054769193254000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0054769193252700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0054769193246100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005476919325592800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0054769193237600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005476919326300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00547691932116700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0054769193295700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0054754780254747910500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0054769193254753352000
tb.dut.tlul_assert_device.aKnown_A 005738924348216893300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0057389243457321629300
tb.dut.tlul_assert_device.aReadyKnown_A 0057389243457321629300
tb.dut.tlul_assert_device.dKnown_A 0057389243414675411600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0057389243457321629300
tb.dut.tlul_assert_device.dReadyKnown_A 0057389243457321629300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083683600
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%