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 0068199199900628
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00681991999000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0068199199968183379800
tb.dut.CheckAccuCntDw 0062862800
tb.dut.CheckEscCntDw 0062862800
tb.dut.CheckNAlerts 0062862800
tb.dut.CheckNClasses 0062862800
tb.dut.CheckNEscSev 0062862800
tb.dut.CrashdumpKnownO_A 0068199199968183379800
tb.dut.EdnKnownO_A 0068199199968183379800
tb.dut.EscPKnownO_A 0068199199968183379800
tb.dut.FpvSecCmPingTimerCnterCheck_A 006819919997000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006819919997000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006819919997000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006819919997000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006819919997000
tb.dut.IrqAKnownO_A 0068199199968183379800
tb.dut.IrqBKnownO_A 0068199199968183379800
tb.dut.IrqCKnownO_A 0068199199968183379800
tb.dut.IrqDKnownO_A 0068199199968183379800
tb.dut.TlAReadyKnownO_A 0068199199968183379800
tb.dut.TlDValidKnownO_A 0068199199968183379800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00705366761409157700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007053667611467800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007053667611425000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007053667611433900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007053667611501400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007053667611564300
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007053667611504700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007053667611558300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007053667611597400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007053667611467300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007053667611413100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007053667611476900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007053667611467900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007053667611413600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007053667611491200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007053667611469300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007053667611456800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007053667611507400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007053667611555400
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007053667611569900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007053667611543900
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007053667611455500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007053667611424700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007053667611491000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007053667611480700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007053667611436800
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007053667611433900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007053667611427300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007053667611400700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007053667611583800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007053667611501000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007053667611430100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007053667611612400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007053667611412300
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007053667611426800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007053667611563500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007053667611464500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007053667611461400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007053667611521900
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007053667611406900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007053667611502100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007053667611413800
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007053667611454100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007053667611549000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007053667611512800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007053667611470900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007053667611406400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007053667611448400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007053667611462200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007053667611412600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007053667611483400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007053667611475300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007053667611411400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007053667611439400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007053667611505200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007053667611564400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007053667611446700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007053667611491700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007053667611498500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007053667611546800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007053667611429800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007053667611480100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007053667611426700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007053667611502400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007053667611486000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007053667611498100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007053667611393300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007053667611394600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007053667611469000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007053667611549700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007053667612872800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007053667611529200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007053667611492300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007053667611496600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007053667611470000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007053667611496900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007053667611448900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007053667611479200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007053667611436600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006819919997000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006819919997000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006819919997000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00681991999666000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0068199199923195500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0068199199937381512000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0068199199922500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0068199199986900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006819919995300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0068199199943900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0068162581627943714900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0068199199997300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0068199199995600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0068199199993700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0068199199991700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00681991999327100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0068199199928810800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00681991999314000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006819919997500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00681991999122300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00681991999101300
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0068162417968155556000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0068199199968183379800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006819919997000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006819919997000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006819919997000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00681991999216900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0068199199923315400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0068199199937307546600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0068199199921700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0068199199950400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006819919992000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0068199199921600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0068162581629133463400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0068199199958300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0068199199957900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0068199199956900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0068199199955400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00681991999157700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0068199199918182000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00681991999148400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006819919996900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00681991999134900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00681991999113900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0068162417968155556000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0068199199968183379800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006819919997000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006819919997000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006819919997000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00681991999383500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0068199199925305200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0068199199934316251100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0068199199927200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0068199199949400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006819919992400
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0068199199923600
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0068162581627661867700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0068199199957700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0068199199956100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0068199199955400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0068199199953800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00681991999207300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0068199199917244400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00681991999197800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006819919997000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00681991999132600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00681991999111600
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0068162417968155556000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0068199199968183379800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006819919997000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006819919997000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006819919997000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00681991999290000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0068199199918767000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0068199199937821432700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0068199199926800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0068199199952200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006819919992700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0068199199925200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0068162581627741695100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0068199199960000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0068199199959100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0068199199958100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0068199199957000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00681991999202400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0068199199916258100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00681991999193900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006819919995500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00681991999130400
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00681991999109400
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0068162417968155556000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0068199199968183379800
tb.dut.tlul_assert_device.aKnown_A 0070536676115279005900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0070536676170470876000
tb.dut.tlul_assert_device.aReadyKnown_A 0070536676170470876000
tb.dut.tlul_assert_device.dKnown_A 0070536676118432128500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0070536676170470876000
tb.dut.tlul_assert_device.dReadyKnown_A 0070536676170470876000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083383300
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%