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 0067478319100626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00674783191000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067478319167459904600
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0067478319167459904600
tb.dut.EdnKnownO_A 0067478319167459904600
tb.dut.EscPKnownO_A 0067478319167459904600
tb.dut.FpvSecCmPingTimerCnterCheck_A 006747831919000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006747831919000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006747831919000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006747831919000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006747831919000
tb.dut.IrqAKnownO_A 0067478319167459904600
tb.dut.IrqBKnownO_A 0067478319167459904600
tb.dut.IrqCKnownO_A 0067478319167459904600
tb.dut.IrqDKnownO_A 0067478319167459904600
tb.dut.TlAReadyKnownO_A 0067478319167459904600
tb.dut.TlDValidKnownO_A 0067478319167459904600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00702721946274745300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007027219462020400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007027219462168600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007027219461990400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007027219462014100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007027219462087900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007027219462024500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007027219462123500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007027219462044100
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007027219462091900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007027219462104300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007027219462041200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007027219462135900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007027219462165800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007027219462131200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007027219461970200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007027219462335200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007027219462018200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007027219462153200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007027219462094300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007027219462122500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007027219462251600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007027219462107400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007027219462257000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007027219462252500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007027219462116500
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007027219462121300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007027219462158400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007027219462126800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007027219462148500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007027219462120700
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007027219462099400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007027219462140700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007027219462063100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007027219462129000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007027219462030000
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007027219462016400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007027219461999100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007027219462095400
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007027219462030900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007027219462156700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007027219462268500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007027219462103500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007027219462000200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007027219461982000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007027219462113500
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007027219462008900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007027219462171000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007027219462230100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007027219462202500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007027219462002900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007027219462178500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007027219462122500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007027219462189000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007027219462110400
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007027219462015200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007027219462004400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007027219462129800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007027219462154400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007027219462247400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007027219461994400
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007027219462328900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007027219462168300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007027219462120000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007027219462137500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007027219462059300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007027219462095400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007027219462107400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007027219462035400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007027219462143300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007027219463980300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007027219462101400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007027219462246600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007027219462287500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007027219462075300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007027219462124400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007027219462016800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007027219462087300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007027219462003700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006747831919000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006747831919000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006747831919000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00674783191198500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067478319122439000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067478319135557995300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067478319130900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067478319181900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006747831915100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067478319138400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067452291126109566000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067478319190200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067478319188400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067478319186900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067478319184300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00674783191140000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067478319113107800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00674783191129100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006747831915700
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00674783191159700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00674783191132700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0067452101967445154900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067478319167459904600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006747831919000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006747831919000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006747831919000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00674783191306300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067478319120198200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067478319139161558200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067478319131600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067478319148700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006747831912500
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067478319122500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067452291129669941800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067478319156800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067478319155700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067478319154700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067478319153600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00674783191100900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067478319111255100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0067478319191600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006747831916700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00674783191162900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00674783191135900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0067452101967445154900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067478319167459904600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006747831919000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006747831919000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006747831919000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00674783191621100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067478319124134300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067478319136491044900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067478319128000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067478319147700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006747831912000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067478319120400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067452291130274683000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067478319155100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067478319154400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067478319153300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067478319151900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00674783191151200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0067478319116602600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00674783191142500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006747831916400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00674783191158100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00674783191131100
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0067452101967445154900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067478319167459904600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006747831919000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006747831919000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006747831919000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00674783191447200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067478319116347300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067478319139136562900
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067478319132000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067478319149900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006747831912100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067478319123400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067452291132425901600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067478319158900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067478319158400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067478319157400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067478319156200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00674783191101000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0067478319110170200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0067478319190600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006747831918200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00674783191158100
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00674783191131100
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0067452101967445154900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067478319167459904600
tb.dut.tlul_assert_device.aKnown_A 0070272194613073280900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0070272194670204339000
tb.dut.tlul_assert_device.aReadyKnown_A 0070272194670204339000
tb.dut.tlul_assert_device.dKnown_A 0070272194619097208100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0070272194670204339000
tb.dut.tlul_assert_device.dReadyKnown_A 0070272194670204339000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083183100
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%