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

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.LcSeedHwRdEnStable2_A 001451411390000
tb.dut.LcSeedHwRdEnStable3_A 001451411390000
tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf.OtpErrorState_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.BypassEnable0_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.BypassEnable1_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.ReadLockImpliesDigest_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.ScrambledImpliesDigest_A 001451411390000
tb.dut.gen_partitions[10].gen_lifecycle.u_part_buf.WriteLockImpliesDigest_A 001451411390000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.BypassEnable0_A 001451411390000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.OtpErrorState_A 000000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ReadLockPropagation_A 001451411390000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.ScrambledImpliesDigest_A 001451411390000
tb.dut.gen_partitions[5].gen_buffered.u_part_buf.WriteLockImpliesDigest_A 001451411390000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.BypassEnable0_A 001451411390000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.OtpErrorState_A 000000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ReadLockPropagation_A 001451411390000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.ScrambledImpliesDigest_A 001451411390000
tb.dut.gen_partitions[6].gen_buffered.u_part_buf.WriteLockImpliesDigest_A 001451411390000
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[7].gen_buffered.u_part_buf.OtpErrorState_A 000000
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[8].gen_buffered.u_part_buf.OtpErrorState_A 000000
tb.dut.gen_partitions[9].gen_buffered.u_part_buf.EccErrorState_A 001451411390000
tb.dut.gen_partitions[9].gen_buffered.u_part_buf.OtpErrorState_A 000000
tb.dut.u_edn_arb.RoundRobin_A 001451411390001123
tb.dut.u_otp_arb.RoundRobin_A 001451411390001123
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.GntImpliesReady_A 001451411390000
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.GntImpliesValid_A 001451411390000
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.IndexIsCorrect_A 001451411390000
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.NoReadyValidNoGrant_A 001451411390000
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.ReadyAndValidImplyGrant_A 001451411390000
tb.dut.u_otp_ctrl_dai.u_part_sel_idx.ReqAndReadyImplyGrant_A 001451411390000
tb.dut.u_otp_ctrl_kdi.u_req_arb.RoundRobin_A 001451411390001123
tb.dut.u_part_sel_idx.GntImpliesReady_A 001451411390000
tb.dut.u_part_sel_idx.GntImpliesValid_A 001451411390000
tb.dut.u_part_sel_idx.IndexIsCorrect_A 001451411390000
tb.dut.u_part_sel_idx.NoReadyValidNoGrant_A 001451411390000
tb.dut.u_part_sel_idx.ReadyAndValidImplyGrant_A 001451411390000
tb.dut.u_part_sel_idx.ReqAndReadyImplyGrant_A 001451411390000
tb.dut.u_prim_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 001451411390001123
tb.dut.u_prim_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 001451411390000
tb.dut.u_scrmbl_mtx.GntImpliesReady_A 001451411390000
tb.dut.u_scrmbl_mtx.GntImpliesValid_A 001451411390000
tb.dut.u_scrmbl_mtx.IndexIsCorrect_A 001451411390000
tb.dut.u_scrmbl_mtx.LockArbDecision_A 001451411390000
tb.dut.u_scrmbl_mtx.ReadyAndValidImplyGrant_A 001451411390000
tb.dut.u_scrmbl_mtx.ReqAndReadyImplyGrant_A 001451411390000
tb.dut.u_scrmbl_mtx.ReqStaysHighUntilGranted0_M 001451411390000
tb.dut.u_scrmbl_mtx.RoundRobin_A 001451411390001123
tb.dut.u_scrmbl_mtx.gen_data_port_assertion.DataFlow_A 001451411390000
tb.dut.u_tlul_lc_gate.OutStandingOvfl_A 001451411390000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertTxKnown_A 001451411390145055948100
tb.dut.CoreTlOutKnown_A 001451411390145055948100
tb.dut.CreatorRootKeyShare0Size_A 001123112300
tb.dut.CreatorRootKeyShare1Size_A 001123112300
tb.dut.ErrorCodeWidth_A 001123112300
tb.dut.FlashAddrKeySeedSize_A 001123112300
tb.dut.FlashDataKeySeedSize_A 001123112300
tb.dut.FlashOtpKeyRspKnown_A 001451411390145055948100
tb.dut.FpvSecCmCntCnstyCheck_A 0014514113905000
tb.dut.FpvSecCmCntDaiCheck_A 0014514113905000
tb.dut.FpvSecCmCntIntegCheck_A 0014514113905000
tb.dut.FpvSecCmCntKdiEntropyCheck_A 0014514113905000
tb.dut.FpvSecCmCntKdiSeedCheck_A 0014514113905000
tb.dut.FpvSecCmCntLciCheck_A 0014514113905000
tb.dut.FpvSecCmCntScrmblCheck_A 0014514113905000
tb.dut.FpvSecCmCtrlDaiFsmCheck_A 0014514113905000
tb.dut.FpvSecCmCtrlKdiFsmCheck_A 0014514113905000
tb.dut.FpvSecCmCtrlLciFsmCheck_A 0014514113905000
tb.dut.FpvSecCmCtrlLfsrTimerFsmCheck_A 0014514113905000
tb.dut.FpvSecCmCtrlScrambleFsmCheck_A 0014514113905000
tb.dut.FpvSecCmDoubleLfsrCheck_A 0014514113905000
tb.dut.FpvSecCmRegWeOnehotCheck_A 0014514113905000
tb.dut.FpvSecCmTlLcGateFsm_A 0014514113905000
tb.dut.IntrOtpErrorKnown_A 001451411390145055948100
tb.dut.IntrOtpOperationDoneKnown_A 001451411390145055948100
tb.dut.LcOtpProgramRspKnown_A 001451411390145055948100
tb.dut.LcSeedHwRdEnStable0_A 001451411390220000
tb.dut.LcSeedHwRdEnStable1_A 001451411390220000
tb.dut.LcStateSize_A 001123112300
tb.dut.LcTransitionCntSize_A 001123112300
tb.dut.OtpAstPwrSeqKnown_A 001451411390145055948100
tb.dut.OtpBroadcastKnown_A 001451411390145055948100
tb.dut.OtpErrorCode0_A 001123112300
tb.dut.OtpErrorCode1_A 001123112300
tb.dut.OtpErrorCode2_A 001123112300
tb.dut.OtpErrorCode3_A 001123112300
tb.dut.OtpErrorCode4_A 001123112300
tb.dut.OtpIfWidth_A 001123112300
tb.dut.OtpKeymgrKeyKnown_A 001451411390145055948100
tb.dut.OtpLcDataKnown_A 001451411390145055948100
tb.dut.OtpOtgnKeyKnown_A 001451411390145055948100
tb.dut.OtpRespFifoUnderflow_A 001451411390124582100
tb.dut.OtpSramKeyKnown_A 001451411390145055948100
tb.dut.PartSelMustBeOnehot_A 001451411390145055948100
tb.dut.PrimTlOutKnown_A 001451411390145055948100
tb.dut.PwrOtpInitRspKnown_A 001451411390145055948100
tb.dut.RmaTokenSize_A 001123112300
tb.dut.SramDataKeySeedSize_A 001123112300
tb.dut.TestExitTokenSize_A 001123112300
tb.dut.TestUnlockTokenSize_A 001123112300
tb.dut.core_tlul_assert_device.aKnown_A 00145443436711047002800
tb.dut.core_tlul_assert_device.aKnown_AKnownEnable 001454434367145353020000
tb.dut.core_tlul_assert_device.aReadyKnown_A 001454434367145353020000
tb.dut.core_tlul_assert_device.dKnown_A 00145443436710734416900
tb.dut.core_tlul_assert_device.dKnown_AKnownEnable 001454434367145353020000
tb.dut.core_tlul_assert_device.dReadyKnown_A 001454434367145353020000
tb.dut.core_tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001294129400
tb.dut.core_tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001294129400
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1451020
Category 01451020


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1451020
Severity 01451020


Summary for Assertions
NUMBERPERCENT
Total Number1451100.00
Uncovered543.72
Success139796.28
Failure00.00
Incomplete110.76
Without Attempts50.34


Summary for Cover Sequences
NUMBERPERCENT
Total Number20100.00
Uncovered00.00
All Matches20100.00
First Matches20100.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%