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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total682010
Category 0682010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total682010
Severity 0682010


Summary for Assertions
NUMBERPERCENT
Total Number682100.00
Uncovered152.20
Success66797.80
Failure00.00
Incomplete223.23
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_io_div2_meas.u_meas.MaxWidth_A 00179703727000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012023668000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0089851296000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012023668000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00358025355000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012023668000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00383006672000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012023668000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018103696600957
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009051791100957
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0036078467100957
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0038588106100957
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018515769400957
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00183778005000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012023668000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0013986007713890711700
tb.dut.AllClkBypReqKnownO_A 0013986007713890711700
tb.dut.CgEnKnownO_A 0013986007713890711700
tb.dut.ClocksKownO_A 0013986007713890711700
tb.dut.FpvSecCmClkMainAesCountCheck_A 001398600776900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001398600777100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001398600776800
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001398600777200
tb.dut.FpvSecCmRegWeOnehotCheck_A 0013986007710000
tb.dut.IoClkBypReqKnownO_A 0013986007713890711700
tb.dut.JitterEnableKnownO_A 0013986007713890711700
tb.dut.LcCtrlClkBypAckKnownO_A 0013986007713890711700
tb.dut.PwrMgrKnownO_A 0013986007713890711700
tb.dut.TlAReadyKnownO_A 0013986007713890711700
tb.dut.TlDValidKnownO_A 0013986007713890711700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00383007068366700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00383007068193100
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0075275200
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0075275200
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0017970372715600
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0017970372715600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00179703727660200
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00179703727471900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 008985129615600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 008985129615600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0089851296599900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0089851296411800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 008985129615600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 008985129615600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 008985129615600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 008985129615600
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0035802535515600
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0035802535515000
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00358025355687800
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00358025355499100
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00383006672382800
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00383006672383000
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00383006672381800
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00383006672381500
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0038300667216100
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0038300667215800
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00383006672381500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00383006672381300
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00383006672384300
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00383006672384100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0038300667216100
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0038300667215800
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00183778005661700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00183778005473000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00140809801475970600
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001408098012418300
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001408098012173200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001408098012785000
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001408098011933500
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001408098013418800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001408098012290100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00358025763390200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00358025763468100
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00179704105381200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00179704105439500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00139860077372200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00139860077372400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00139860077219000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00139860077219100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00139860077461600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00139860077461700
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00383007068365700
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00383007068190000
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00179704105318000
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00179704105318000
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0089851695287100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0089851695287100
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00358025763334600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00358025763334600
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00383007068365400
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00383007068188200
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001398600771123900
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001398600771532800
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001398600772342800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001398600771103900
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0013986007716878859058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001398600771541900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00383007068368200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00383007068188200
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0013986007714900
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0013986007714900
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0013986007715800
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0013986007715800
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0013986007715500
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0013986007715500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0013986007713879484500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0013986007711038200
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0013986007713872129902256
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0013986007718014800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0013986007713879976700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0013986007710546000
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00183778428321700
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00183778428321700
tb.dut.tlul_assert_device.aKnown_A 001408098011879732400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0014080980113975469100
tb.dut.tlul_assert_device.aReadyKnown_A 0014080980113975469100
tb.dut.tlul_assert_device.dKnown_A 001408098011526694200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0014080980113975469100
tb.dut.tlul_assert_device.dReadyKnown_A 0014080980113975469100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0095795700
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001408103981551309200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00140809801256779700
tb.dut.tlul_assert_device.gen_device.contigMask_M 0014081039819298200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0014081039811057600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00140809801283601300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001408103981879735800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001408103981526697700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001408103981879735800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001408103981526697700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001408103981526697700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001408103981526697700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00140809801153814000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00140809801117997400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0095795700
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003830066723034800
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038300667238154314300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003830066723043400
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038300667238154314300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003830066723015300
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038300667238154314300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003830066723006700
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0038300667238154314300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038300667238154314300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001398600771743200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001398600771522500
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0013986007713890711700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00139860077302300
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00179703727302300
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0075275200
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00179703727266194800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075275200
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001797037278859900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00119626698819500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0017970372717970372700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0017970372717970372700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0013986007713890711700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00139860077277000
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0089851296277000
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0075275200
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0089851296254169600
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075275200
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00898512968760900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00119626698720400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00898512968985129600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00898512968985129600
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00139860077299900
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00358025355299900
tb.dut.u_io_meas.u_meas.RefCntVal_A 0075275200
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00358025355266203700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075275200
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003580253558902100
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00119626698861900
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0035802535535737211700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035802535535737211700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0035802535535668452900
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035802535535667885902256
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003580253552486500
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00139860077289900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00383006672289900
tb.dut.u_main_meas.u_meas.RefCntVal_A 0075275200
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00383006672266586800
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075275200
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0038300667210664800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001192399210601400
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0038300667238228859600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038300667238228859600
tb.dut.u_no_scan_io_div2_div.DivEven_A 0075275200
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0017868652617868577400
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown1 0035802535535802460300
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0017970372717970297500
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0035802535535802460300
tb.dut.u_no_scan_io_div4_div.DivEven_A 0075275200
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00898512968985054400
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0035802535535802460300
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0017970372717935945400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0017970372717935945400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00898512968967923200
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00898512968967923200
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00898512968967923200
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00898512968967923200
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0035802535535668452900
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0035802535535668452900
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0038300667238154314300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0038300667238154314300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0018377800518309189300
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0018377800518309189300
tb.dut.u_reg.en2addrHit 0014080980175833500
tb.dut.u_reg.reAfterRv 0014080980175833100
tb.dut.u_reg.rePulse 0014080980117327300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0095795700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0014080980112137500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0018103696618064412600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001408098012322700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00181036966114000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001408098012436700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001810369662322600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001810369662322700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012322800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014080980114695800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018103696618064412600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001408098012794000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001408098012793300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001810369662795000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001810369662794800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012796600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001408098013600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001810369663600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001408098013700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001810369663700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0014080980119595300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00905179119032160300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001408098012322500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0090517911113900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001408098012436400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00905179112322500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00905179112322500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012322700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014080980123807500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00905179119032160300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001408098012797400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001408098012797100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00905179112798100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00905179112797300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012801100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001408098013200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00905179113200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001408098012900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00905179112900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001408098018521400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0036078467135925391600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001408098012323000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00360784671114000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001408098012437000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003607846712323000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003607846712323000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012323000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014080980110281600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0036078467135925391600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001408098012800300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001408098012800100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003607846712801600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003607846712801300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012803200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001408098013500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003607846713500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001408098013400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003607846713400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001408098018350500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0038588106138421968000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001408098012322500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00385881061113900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001408098012436400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003858810612322500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003858810612322500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012322500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014080980110137800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0038588106138421968000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001408098012800800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001408098012800700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003858810612801900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003858810612801500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012802800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001408098015000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003858810615000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001408098014600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003858810614600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0095795700
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0095795700
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0095795700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0095795700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0095795700
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0095795700
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0095795700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0014080980112235800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0018515769418437665100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001408098012322300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00185157694113900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001408098012436200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001851576942322200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001851576942322300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012322300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014080980114812200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018515769418437665100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001408098012798900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014080980113975469100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001408098012798800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001851576942799700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001851576942799600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001408098012802600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001408098013600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001851576943600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095795700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001408098014600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001851576944600
tb.dut.u_reg.wePulse 0014080980158505800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0013986007713890711700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00139860077288400
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00183778005288400
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0075275200
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00183778005266581800
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075275200
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0018377800510526000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001194470610330200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075275200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0018377800518343962100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0018377800518343962100

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0013986007716878859058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0013986007713872129902256
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038300667238153747302256
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035802535535667885902256
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018103696600957
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009051791100957
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0036078467100957
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0038588106100957
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018515769400957
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013986007713890142402256


Detail Report for Cover Sequences

Cover Sequences Uncovered:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 00140810398000
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00140810398000
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00140810398000
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00140810398000
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00140810398000
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 00140810398000

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00140810398667266720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00140810398369736970
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014081039814888148880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001408103988133881338705

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00140810398667266720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00140810398369736970
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014081039814888148880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001408103988133881338705

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%