Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
tb.dut.u_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 0065325320100622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00653253201000

Assertions Success:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
tb.dut.AckPKnownO_A 0065325320165307095100
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0065325320165307095100
tb.dut.EdnKnownO_A 0065325320165307095100
tb.dut.EscPKnownO_A 0065325320165307095100
tb.dut.FpvSecCmPingTimerCnterCheck_A 006532532019000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006532532019000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006532532019000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006532532019000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006532532019000
tb.dut.IrqAKnownO_A 0065325320165307095100
tb.dut.IrqBKnownO_A 0065325320165307095100
tb.dut.IrqCKnownO_A 0065325320165307095100
tb.dut.IrqDKnownO_A 0065325320165307095100
tb.dut.TlAReadyKnownO_A 0065325320165307095100
tb.dut.TlDValidKnownO_A 0065325320165307095100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00678394440341243200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006783944401448300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006783944401596500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006783944401546700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006783944401597200
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006783944401418800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006783944401534600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006783944401362000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006783944401601400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006783944401495900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006783944401468800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006783944401571900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006783944401634000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006783944401590900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006783944401604000
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006783944401581400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006783944401402800
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006783944401428300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006783944401511800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006783944401535800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006783944401426500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006783944401608100
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006783944401404200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006783944401411700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006783944401417600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006783944401473700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006783944401425200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006783944401600900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006783944401556700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006783944401540900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006783944401518200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006783944401524200
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006783944401417800
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006783944401530000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006783944401362600
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006783944401493300
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006783944401500600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006783944401506500
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006783944401405700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006783944401529900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006783944401610400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006783944401641100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006783944401547000
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006783944401426200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006783944401610100
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006783944401398400
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006783944401415500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006783944401448700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006783944401430200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006783944401494900
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006783944401422500
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006783944401476400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006783944401751900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006783944401521300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006783944401399100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006783944401531700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006783944401485600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006783944401394800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006783944401409300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006783944401387100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006783944401429300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006783944401473500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006783944401527400
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006783944401572400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006783944401630000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006783944401427900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006783944401553700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006783944401452400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006783944401465800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006783944401403300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006783944402850800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006783944401503400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006783944401592300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006783944401432900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006783944401525800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006783944401450600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006783944401527700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006783944401717000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006783944401466300
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006532532019000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006532532019000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006532532019000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00653253201432400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0065325320124303800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0065325320131224635300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0065325320123300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0065325320181000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006532532015600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0065325320141000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0065308395024342687600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0065325320191500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0065325320189700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0065325320187600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0065325320185700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00653253201131400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0065325320114285900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00653253201119700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006532532015900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00653253201146900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00653253201119900
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0065308312965301562600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0065325320165307095100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006532532019000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006532532019000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006532532019000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00653253201310100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0065325320118170400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0065325320141248686000
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0065325320122700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0065325320147000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006532532011600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0065325320123000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0065308395031717542300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0065325320155200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0065325320154700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0065325320153800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0065325320152700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0065325320174600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006532532019493000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0065325320165500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006532532017500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00653253201144700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00653253201117700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0065308312965301562600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0065325320165307095100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006532532019000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006532532019000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006532532019000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00653253201327900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0065325320117402200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0065325320137399134700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0065325320124300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0065325320145400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006532532012300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0065325320119500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0065308395030747311300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0065325320152700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0065325320151900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0065325320151400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0065325320151100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0065325320176400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006532532018573900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0065325320167300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006532532016700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00653253201149000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00653253201122000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0065308312965301562600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0065325320165307095100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006532532019000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006532532019000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006532532019000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00653253201269900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0065325320117708300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0065325320138117196400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0065325320127300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0065325320147900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006532532012300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0065325320123000
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0065308395031170656000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0065325320155500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0065325320154400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0065325320152800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0065325320152300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0065325320171800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0065325320110364100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0065325320163300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006532532016200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00653253201150200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00653253201123200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0065308312965301562600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0065325320165307095100
tb.dut.tlul_assert_device.aKnown_A 0067839444013806054100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0067839444067770010300
tb.dut.tlul_assert_device.aReadyKnown_A 0067839444067770010300
tb.dut.tlul_assert_device.dKnown_A 0067839444019280044800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0067839444067770010300
tb.dut.tlul_assert_device.dReadyKnown_A 0067839444067770010300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
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