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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total694010
Category 0694010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total694010
Severity 0694010


Summary for Assertions
NUMBERPERCENT
Total Number694100.00
Uncovered152.16
Success67997.84
Failure00.00
Incomplete223.17
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 00104779841000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007330619000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0052389502000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007330619000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00210814106000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007330619000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00226332586000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007330619000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010606714900979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005303312900979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021348165300979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022911138800979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010991399700979
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00108580202000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007330619000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00729792897111159700
tb.dut.AllClkBypReqKnownO_A 00729792897111159700
tb.dut.CgEnKnownO_A 00729792897111159700
tb.dut.ClocksKownO_A 00729792897111159700
tb.dut.FpvSecCmClkMainAesCountCheck_A 00729792893200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00729792893200
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00729792893000
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00729792893200
tb.dut.FpvSecCmRegWeOnehotCheck_A 00729792896000
tb.dut.IoClkBypReqKnownO_A 00729792897111159700
tb.dut.JitterEnableKnownO_A 00729792897111159700
tb.dut.LcCtrlClkBypAckKnownO_A 00729792897111159700
tb.dut.PwrMgrKnownO_A 00729792897111159700
tb.dut.TlAReadyKnownO_A 00729792897111159700
tb.dut.TlDValidKnownO_A 00729792897111159700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00226333025240900
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00226333025124800
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077477400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0010477984113400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0010477984113400
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00104779841479500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00104779841283000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005238950213400
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005238950213400
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0052389502480600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0052389502284100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005238950213400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005238950213400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005238950213400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005238950213400
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0021081410613400
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0021081410613200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00210814106478200
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00210814106281500
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00226332586255500
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00226332586255200
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00226332586252700
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00226332586252400
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0022633258614600
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0022633258614300
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00226332586258100
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00226332586257800
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00226332586256400
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00226332586256100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0022633258614600
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0022633258614300
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0010858020215500
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0010858020215500
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00108580202482700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00108580202286000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0073917535176089100
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00739175351288200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00739175351169200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00739175351462900
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00739175351029600
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00739175351834900
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00739175351083200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00210814531303000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00210814531354200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00104780243298000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00104780243340600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0072979289282200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0072979289282200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0072979289168000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0072979289168000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0072979289344500
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0072979289344500
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00226333025238100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00226333025123900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00104780243185800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00104780243328400
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0052389901176700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0052389901319300
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00210814531186800
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00210814531329400
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00226333025243500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00226333025126000
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0072979289625600
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0072979289839200
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00729792891254500
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0072979289614600
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00729792899305762062
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0072979289849700
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00226333025241800
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00226333025126000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007297928913100
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007297928913100
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007297928914200
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007297928914200
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007297928915400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007297928915400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00729792897102755800
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00729792898207100
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00729792897097532902322
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007297928913036400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00729792897103373100
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00729792897589800
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00108580598188900
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00108580598331400
tb.dut.tlul_assert_device.aKnown_A 0073917535670529700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00739175357194619000
tb.dut.tlul_assert_device.aReadyKnown_A 00739175357194619000
tb.dut.tlul_assert_device.dKnown_A 0073917535620599800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00739175357194619000
tb.dut.tlul_assert_device.dReadyKnown_A 00739175357194619000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0073918148548760400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 007391753595363400
tb.dut.tlul_assert_device.gen_device.contigMask_M 007391814822812400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007391814814100400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0073917535104870100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0073918148670529700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0073918148620599800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0073918148670529700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0073918148620599800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0073918148620599800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0073918148620599800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007391753556845700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007391753544102500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097997900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002263325862062300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022633258622285402200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002263325862057700
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022633258622285402200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002263325862073200
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022633258622285402200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002263325862063600
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0022633258622285402200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022633258622285402200
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00729792891333300
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00729792891148700
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00729792897111159700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00729792897110558002322
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0072979289168500
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00104779841168500
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00104779841162075000
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001047798415602500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073039685565800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010477984110477984100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010477984110477984100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00729792897111159700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0072979289176300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0052389502176300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0052389502154811200
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00523895025535800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073039685500000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00523895025238950200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00523895025238950200
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0072979289186300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00210814106186300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00210814106162085300
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002108141065656000
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073039685619100
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021081410620912978800
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021081410620912978800
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0021081410620746513600
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021081410620745923202322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002108141061906500
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0072979289159300
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00226332586159300
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00226332586162343700
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002263325866804200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070310376771100
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0022633258622457707800
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022633258622457707800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077477400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0010456536210456458800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown1 0021081410621081333200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010477984110477906700
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0021081410621081333200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077477400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00523895025238872800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0021081410621081333200
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0010477984110394709800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0010477984110394709800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00523895025197316800
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00523895025197316800
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00523895025197316800
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00523895025197316800
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0021081410620746513600
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0021081410620746513600
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0022633258622285402200
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0022633258622285402200
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0010858020210690325600
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0010858020210690325600
tb.dut.u_reg.en2addrHit 007391753544762000
tb.dut.u_reg.reAfterRv 007391753544762000
tb.dut.u_reg.rePulse 007391753512402300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00739175357287100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0010606714910518773800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00739175351504000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010606714967600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00739175351571600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001060671491503800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001060671491504000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175351504000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007391753510288800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010606714910518773800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00739175352066900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00739175352066700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001060671492067500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001060671492067300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175352069400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010606714910518773800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00739175355100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001060671495100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010606714910518773800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00739175354300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001060671494300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007391753511459700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00530331295259351300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00739175351504000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005303312967600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00739175351571600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00530331291499900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00530331291504000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175351504000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007391753516233700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00530331295259351300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00739175352053300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00739175352053200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00530331292053900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00530331292053400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175352056600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00530331295259351300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00739175353400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00530331293400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00530331295259351300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00739175352800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00530331292800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00739175355155500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0021348165320994643500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00739175351504000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0021348165367600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00739175351571600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002134816531504000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002134816531504000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175351504000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00739175357253200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021348165320994643500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00739175352070700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00739175352070500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002134816532072000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002134816532071600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175352073600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021348165320994643500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00739175353300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002134816533300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021348165320994643500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00739175353600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002134816533600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00739175355023400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0022911138822543880800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00739175351504000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0022911138867600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00739175351571600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002291113881504000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002291113881504000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175351504000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00739175357137900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0022911138822543880800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00739175352070500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00739175352070200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002291113882072400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002291113882072000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175352074200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0022911138822543880800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00739175353500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002291113883500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0022911138822543880800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00739175353900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002291113883900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097997900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097997900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097997900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097997900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097997900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00739175357130000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0010991399710814394400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00739175351459000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010991399767600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00739175351526600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001099139971445100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001099139971463700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175351504000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007391753510238400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010991399710814394400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00739175352032300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00739175357194619000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00739175352029200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001099139972043100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001099139972041500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00739175352059700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010991399710814394400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00739175352000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001099139972000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010991399710814394400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00739175351900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001099139971900
tb.dut.u_reg.wePulse 007391753532359700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00729792897111159700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0072979289153100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00108580202153100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00108580202162330700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001085802026677900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073239736677800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010858020210773754600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010858020210773754600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00729792899305762062
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00729792897097532902322
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022633258622284808002322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00729792897110558002322
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021081410620745923202322
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010606714900979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005303312900979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021348165300979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022911138800979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010991399700979
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00729792897110558002322


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0073918148834183410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0073918148380738070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007391814814941149410
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00739181489916099160755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0073918148834183410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0073918148380738070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007391814814941149410
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00739181489916099160755

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