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 0053855298000617
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00538552980000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0053855298053838213600
tb.dut.CheckAccuCntDw 0061761700
tb.dut.CheckEscCntDw 0061761700
tb.dut.CheckNAlerts 0061761700
tb.dut.CheckNClasses 0061761700
tb.dut.CheckNEscSev 0061761700
tb.dut.CrashdumpKnownO_A 0053855298053838213600
tb.dut.EdnKnownO_A 0053855298053838213600
tb.dut.EscPKnownO_A 0053855298053838213600
tb.dut.FpvSecCmPingTimerCnterCheck_A 005385529808000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005385529808000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005385529808000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005385529808000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005385529808000
tb.dut.IrqAKnownO_A 0053855298053838213600
tb.dut.IrqBKnownO_A 0053855298053838213600
tb.dut.IrqCKnownO_A 0053855298053838213600
tb.dut.IrqDKnownO_A 0053855298053838213600
tb.dut.TlAReadyKnownO_A 0053855298053838213600
tb.dut.TlDValidKnownO_A 0053855298053838213600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0056184599720597500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005618459971044100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005618459971176700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005618459971064600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005618459971147400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005618459971275000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005618459971040300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005618459971047100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005618459971161600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005618459971025500
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005618459971044700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005618459971163300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005618459971402700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005618459971156000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005618459971158100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005618459971355100
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005618459971282200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005618459971268800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005618459971055700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005618459971287800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005618459971062400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005618459971153500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005618459971154500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005618459971285100
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005618459971291100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005618459971144600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005618459971156800
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005618459971162700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005618459971140000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005618459971169900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005618459971279000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005618459971044500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005618459971284400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005618459971180000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005618459971296000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005618459971160500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005618459971132800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005618459971041100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005618459971153200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005618459971252700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005618459971256700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005618459971158000
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005618459971126400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005618459971156200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005618459971499500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005618459971142700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005618459971356400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005618459971054000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005618459971032100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005618459971399300
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005618459971381000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005618459971297500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005618459971383600
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005618459971035900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005618459971052000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005618459971039300
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005618459971022100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005618459971164900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005618459971169900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005618459971167400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005618459971274500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005618459971392200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005618459971159200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005618459971133900
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005618459971068600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005618459971038000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005618459971251900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005618459971262600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005618459971167000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005618459971138900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005618459971938800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005618459971050500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005618459971278700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005618459971385100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005618459971163400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005618459971298200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005618459971152900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005618459971280300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005618459971140500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005385529808000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005385529808000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005385529808000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00538552980261900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0053855298019891200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0053855298024047107800
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0053855298023600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0053855298079700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005385529805200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0053855298039000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0053839813017521252400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0053855298088400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0053855298086000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0053855298084200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0053855298082600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0053855298055200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005385529807046000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0053855298043800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005385529806000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00538552980132200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00538552980108200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0053839705853832867500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0053855298053838213600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005385529808000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005385529808000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005385529808000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00538552980411200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0053855298015262200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0053855298030681025700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0053855298021400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0053855298044100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005385529802300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0053855298021400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0053839813025135877000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0053855298049800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0053855298048500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0053855298047300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0053855298046300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0053855298044500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005385529805808000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0053855298038000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005385529804000
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00538552980127600
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00538552980103600
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0053839705853832867500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0053855298053838213600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005385529808000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005385529808000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005385529808000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00538552980508700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0053855298016766800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0053855298031420249300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0053855298027900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0053855298046000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005385529802600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0053855298020500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0053839813021969924900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0053855298051000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0053855298050000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0053855298049100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0053855298048200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0053855298046500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005385529804770300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0053855298040100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005385529803600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00538552980130300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00538552980106300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0053839705853832867500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0053855298053838213600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005385529808000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005385529808000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005385529808000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00538552980420400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0053855298016002900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0053855298030853711600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0053855298021300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0053855298044300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005385529802200
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0053855298019400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0053839813024851888000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0053855298049400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0053855298048300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0053855298047500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0053855298046500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0053855298051800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005385529806241900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0053855298045300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005385529804000
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00538552980126800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00538552980102800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0053839705853832867500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0053855298053838213600
tb.dut.tlul_assert_device.aKnown_A 005618459977845851300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0056184599756121209700
tb.dut.tlul_assert_device.aReadyKnown_A 0056184599756121209700
tb.dut.tlul_assert_device.dKnown_A 0056184599713417250900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0056184599756121209700
tb.dut.tlul_assert_device.dReadyKnown_A 0056184599756121209700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082282200
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%