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 0056309507900625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00563095079000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0056309507956290898200
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0056309507956290898200
tb.dut.EdnKnownO_A 0056309507956290898200
tb.dut.EscPKnownO_A 0056309507956290898200
tb.dut.FpvSecCmPingTimerCnterCheck_A 005630950799000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005630950799000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005630950799000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005630950799000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005630950799000
tb.dut.IrqAKnownO_A 0056309507956290898200
tb.dut.IrqBKnownO_A 0056309507956290898200
tb.dut.IrqCKnownO_A 0056309507956290898200
tb.dut.IrqDKnownO_A 0056309507956290898200
tb.dut.TlAReadyKnownO_A 0056309507956290898200
tb.dut.TlDValidKnownO_A 0056309507956290898200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0058378754216320700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005837875421030100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00583787542940600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005837875421041400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00583787542936900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00583787542946200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005837875421037800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005837875421023100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00583787542937400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005837875421041600
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005837875421064900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00583787542939000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005837875421045100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00583787542945900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00583787542924800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00583787542913700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00583787542958500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00583787542913300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00583787542907200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00583787542949900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00583787542906200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005837875421046700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00583787542933200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005837875421048500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00583787542925300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00583787542932400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00583787542914300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00583787542914900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00583787542927600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00583787542925500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00583787542938900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00583787542901500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00583787542938300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005837875421048300
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00583787542938500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00583787542943200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00583787542928500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00583787542918400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00583787542925200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00583787542952800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00583787542902500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005837875421018900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005837875421050800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00583787542907800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00583787542903500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00583787542929000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00583787542934600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00583787542904500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00583787542930900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00583787542920000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00583787542926900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005837875421040600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00583787542936100
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00583787542925900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005837875421030200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00583787542933900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00583787542951500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00583787542925100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005837875421046400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005837875421041200
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00583787542938600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005837875421065000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005837875421038400
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00583787542918100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005837875421031600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005837875421028000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00583787542941200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00583787542942900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005837875421041600
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00583787542923100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005837875421703200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005837875421049600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00583787542941100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005837875421039800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005837875421031200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005837875421043500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005837875421034600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00583787542949800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00583787542943100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005630950799000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005630950799000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005630950799000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 0056309507964200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0056309507916476700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0056309507931458352300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0056309507925400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0056309507984200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005630950794100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0056309507942200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0056281336922522141100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0056309507992900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0056309507990900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0056309507989400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0056309507987200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0056309507955600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005630950796984100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0056309507943900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005630950797000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00563095079146800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00563095079119800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0056281173656274110100
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 0056309507956290898200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005630950799000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005630950799000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005630950799000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00563095079262900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0056309507914352700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0056309507935305759000
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0056309507928500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0056309507947000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005630950792300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0056309507922400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0056281336928442709900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0056309507953400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0056309507952000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0056309507950700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0056309507949800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0056309507953200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005630950797938300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0056309507945000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005630950795300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00563095079151900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00563095079124900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0056281173656274110100
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 0056309507956290898200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005630950799000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005630950799000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005630950799000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00563095079686700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0056309507917026400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0056309507933032454500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0056309507924700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0056309507949100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005630950792300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0056309507924400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0056281336925038124900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0056309507956100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0056309507955100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0056309507954100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0056309507953000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0056309507952200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005630950797438100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0056309507943700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005630950795700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00563095079143300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00563095079116300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0056281173656274110100
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 0056309507956290898200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005630950799000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005630950799000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005630950799000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00563095079342600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0056309507917060400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0056309507931223217600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0056309507932100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0056309507948400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005630950793100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0056309507922800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0056281336924643333700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0056309507954800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0056309507953600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0056309507953000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0056309507952000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0056309507944400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005630950795615600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0056309507936400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005630950794500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00563095079142900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00563095079115900
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0056281173656274110100
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 0056309507956290898200
tb.dut.tlul_assert_device.aKnown_A 005837875428214131000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0058378754258311134500
tb.dut.tlul_assert_device.aReadyKnown_A 0058378754258311134500
tb.dut.tlul_assert_device.dKnown_A 0058378754214666508300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0058378754258311134500
tb.dut.tlul_assert_device.dReadyKnown_A 0058378754258311134500
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
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%