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 0070946720700628
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00709467207000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070946720770931414600
tb.dut.CheckAccuCntDw 0062862800
tb.dut.CheckEscCntDw 0062862800
tb.dut.CheckNAlerts 0062862800
tb.dut.CheckNClasses 0062862800
tb.dut.CheckNEscSev 0062862800
tb.dut.CrashdumpKnownO_A 0070946720770931414600
tb.dut.EdnKnownO_A 0070946720770931414600
tb.dut.EscPKnownO_A 0070946720770931414600
tb.dut.FpvSecCmPingTimerCnterCheck_A 007094672076000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007094672076000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007094672076000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007094672076000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007094672076000
tb.dut.IrqAKnownO_A 0070946720770931414600
tb.dut.IrqBKnownO_A 0070946720770931414600
tb.dut.IrqCKnownO_A 0070946720770931414600
tb.dut.IrqDKnownO_A 0070946720770931414600
tb.dut.TlAReadyKnownO_A 0070946720770931414600
tb.dut.TlDValidKnownO_A 0070946720770931414600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00736145181362435000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007361451811314800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007361451811390800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007361451811364600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007361451811410300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007361451811341100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007361451811555000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007361451811422900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007361451811458600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007361451811340000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007361451811336100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007361451811439100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007361451811462400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007361451811314900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007361451811310400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007361451811430400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007361451811390600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007361451811418300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007361451811617000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007361451811536600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007361451811439300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007361451811560200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007361451811341000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007361451811367400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007361451811450000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007361451811426700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007361451811343100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007361451811610300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007361451811346600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007361451811378500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007361451811593100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007361451811458700
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007361451811449100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007361451811429600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007361451811323000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007361451811347900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007361451811497400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007361451811414600
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007361451811439700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007361451811344100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007361451811444300
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007361451811339200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007361451811480700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007361451811317400
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007361451811435800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007361451811499800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007361451811442300
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007361451811460400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007361451811352500
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007361451811422600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007361451811464900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007361451811344400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007361451811324800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007361451811427700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007361451811362900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007361451811448200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007361451811429700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007361451811336700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007361451811505400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007361451811467500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007361451811559400
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007361451811460700
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007361451811589700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007361451811322000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007361451811545700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007361451811566000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007361451811558000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007361451811452500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007361451811385100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007361451811405900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007361451812589000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007361451811439200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007361451811523300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007361451811493600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007361451811441000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007361451811376200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007361451811429800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007361451811377500
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007361451811470600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007094672076000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007094672076000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007094672076000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00709467207160400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070946720728345000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070946720737364144600
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070946720726400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070946720788000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007094672074800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070946720743800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070931188829461518600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070946720798800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070946720796200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070946720794200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070946720791800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00709467207160500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070946720716484900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00709467207147400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007094672078000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00709467207112200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0070946720794200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0070931016270923438600
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 0070946720770931414600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007094672076000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007094672076000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007094672076000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00709467207441100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070946720717228500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070946720740003689700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070946720718000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070946720754300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007094672072700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070946720726800
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070931188830320927000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070946720763700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070946720761500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070946720760300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070946720759500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0070946720788600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070946720710838300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0070946720777800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007094672077900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00709467207105800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0070946720787800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0070931016270923438600
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 0070946720770931414600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007094672076000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007094672076000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007094672076000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00709467207493200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070946720721257700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070946720739463967500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070946720719900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070946720754700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007094672072600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070946720725400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070931188831988437800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070946720763200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070946720762300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070946720761500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070946720760200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00709467207216500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070946720719503700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00709467207206800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007094672076700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00709467207105300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0070946720787300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0070931016270923438600
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 0070946720770931414600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007094672076000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007094672076000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007094672076000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00709467207383800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070946720719686200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070946720743058961200
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070946720720400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070946720750200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007094672072100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070946720721400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070931188833890231300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070946720757200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070946720756100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070946720755000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070946720754100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00709467207153300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070946720715949500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00709467207145000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007094672076000
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00709467207103400
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0070946720785400
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0070931016270923438600
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 0070946720770931414600
tb.dut.tlul_assert_device.aKnown_A 0073614518114764679300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073614518173547838900
tb.dut.tlul_assert_device.aReadyKnown_A 0073614518173547838900
tb.dut.tlul_assert_device.dKnown_A 0073614518119501741600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073614518173547838900
tb.dut.tlul_assert_device.dReadyKnown_A 0073614518173547838900
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%