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 00134974715000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012973779000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0067486935000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012973779000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00271333812000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012973779000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00288270747000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012973779000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013648729600979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006824322900979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027445687900979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0029152405900979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013996518800979
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00138403624000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012973779000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00731050177084804300
tb.dut.AllClkBypReqKnownO_A 00731050177084804300
tb.dut.CgEnKnownO_A 00731050177084804300
tb.dut.ClocksKownO_A 00731050177084804300
tb.dut.FpvSecCmClkMainAesCountCheck_A 00731050174900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00731050174900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00731050175600
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00731050175000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007310501710000
tb.dut.IoClkBypReqKnownO_A 00731050177084804300
tb.dut.JitterEnableKnownO_A 00731050177084804300
tb.dut.LcCtrlClkBypAckKnownO_A 00731050177084804300
tb.dut.PwrMgrKnownO_A 00731050177084804300
tb.dut.TlAReadyKnownO_A 00731050177084804300
tb.dut.TlDValidKnownO_A 00731050177084804300
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00288271157221700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00288271157118400
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 0013497471512500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0013497471512500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00134974715519300
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00134974715298500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 006748693512500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 006748693512500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0067486935515900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0067486935295100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 006748693512500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 006748693512500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 006748693512500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 006748693512500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0027133381212500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0027133381212100
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00271333812520100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00271333812298900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00288270747233800
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00288270747233700
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00288270747235800
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00288270747235700
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0028827074712100
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0028827074712000
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00288270747248700
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00288270747248600
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00288270747238800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00288270747238700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0028827074712100
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0028827074712000
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0013840362412700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0013840362412700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00138403624520200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00138403624299000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0074129433212355400
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00741294331307300
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00741294331204000
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00741294331498500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00741294331058500
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00741294331706900
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00741294331150900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00271334223307500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00271334223356400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00134975088301700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00134975088341000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0073105017277300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0073105017277300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0073105017166300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0073105017166300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0073105017353800
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0073105017353800
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00288271157223700
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00288271157117000
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00134975088200100
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00134975088365100
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0067487325188300
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0067487325353300
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00271334223199700
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00271334223364800
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00288271157236600
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00288271157125500
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0073105017520000
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0073105017697600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00731050171051100
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0073105017512500
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00731050176633363062
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0073105017699000
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00288271157226700
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00288271157116400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007310501712100
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007310501712100
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007310501712000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007310501712000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007310501712700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007310501712700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00731050177076376900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00731050178206200
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00731050177070785102322
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007310501713355600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00731050177076879600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00731050177703500
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00138404051200200
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00138404051365300
tb.dut.tlul_assert_device.aKnown_A 0074129433858556100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00741294337175010100
tb.dut.tlul_assert_device.aReadyKnown_A 00741294337175010100
tb.dut.tlul_assert_device.dKnown_A 0074129433691191500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00741294337175010100
tb.dut.tlul_assert_device.dReadyKnown_A 00741294337175010100
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 0074130030703743600
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0074129433114491800
tb.dut.tlul_assert_device.gen_device.contigMask_M 007413003021302700
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007413003014282800
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0074129433126814800
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0074130030858556100
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0074130030691191500
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0074130030858556100
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0074130030691191500
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0074130030691191500
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0074130030691191500
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007412943368491400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007412943352146200
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 00731050177084804300
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
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 0028827074728430473000
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002882707472048500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002882707472015400
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002882707472020500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002882707472016800
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0028827074728430473000
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 0028827074728430473000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0028827074728430473000
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00731050171316400
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00731050171181900
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00731050177084804300
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00731050177084116502322
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
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 00731050177084804300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0073105017161600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00134974715161600
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 00134974715287505100
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 001349747155045600
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116260375008000
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 0013497471513497471500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013497471513497471500
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00731050177084804300
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 00731050177084804300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0073105017157900
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0067486935157900
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 0067486935274166300
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 00674869354999400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116260374963200
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 00674869356748693500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00674869356748693500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0073105017164500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00271333812164500
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 00271333812287514600
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 002713338125085000
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116260375045300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0027133381226947558500
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027133381226947558500
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0027133381226753668800
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027133381226753005202322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002713338121928700
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0073105017159900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00288270747159900
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 00288270747287730400
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 002882707476038800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00127715046000200
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0028827074728633227200
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0028827074728633227200
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 0013473834513473757100
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 0027133381227133303800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0013497471513497394100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0027133381227133303800
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 00674869356748616100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0027133381227133303800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0013497471513400481100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0013497471513400481100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00674869356700205900
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00674869356700205900
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00674869356700205900
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00674869356700205900
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0027133381226753668800
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0027133381226753668800
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0028827074728430473000
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0028827074728430473000
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0013840362413649626100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0013840362413649626100
tb.dut.u_reg.en2addrHit 007412943345606500
tb.dut.u_reg.reAfterRv 007412943345606500
tb.dut.u_reg.rePulse 007412943312859800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00741294336665200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0013648729613546722200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00741294331367700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0013648729654500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00741294331422200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001364872961366900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001364872961367700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331367700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007412943310108800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013648729613546722200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00741294331989800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00741294331989500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001364872961991200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001364872961990700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331993800
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 0013648729613546722200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00741294334300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001364872964300
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 0013648729613546722200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00741294335200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001364872965200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007412943310525500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00682432296773331000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00741294331367700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 006824322954500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00741294331422200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00682432291364700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00682432291367700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331367700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007412943316006100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00682432296773331000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00741294331972900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00741294331972800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00682432291973300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00682432291972900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331977800
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 00682432296773331000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00741294334600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00682432294600
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 00682432296773331000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00741294334000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00682432294000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00741294334728400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0027445687927046154100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00741294331367700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0027445687954500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00741294331422200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002744568791367700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002744568791367700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331367700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00741294337058300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0027445687927046154100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00741294331976500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00741294331976400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002744568791978100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002744568791977400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331980200
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 0027445687927046154100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00741294334000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002744568794000
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 0027445687927046154100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00741294334200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002744568794200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00741294334680200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0029152405928735155300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00741294331367700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0029152405954500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00741294331422200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002915240591367700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002915240591367700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331367700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00741294336990900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0029152405928735155300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00741294331982800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00741294331982800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002915240591984300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002915240591984100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331985000
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 0029152405928735155300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00741294333000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002915240593000
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 0029152405928735155300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00741294333700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002915240593700
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 00741294336443100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0013996518813795874600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00741294331315800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0013996518854500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00741294331370300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001399651881308700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001399651881320100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331367700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00741294339910100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013996518813795874600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00741294331944000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00741294337175010100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00741294331938200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001399651881959700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001399651881954200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00741294331972800
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 0013996518813795874600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00741294333600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001399651883600
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 0013996518813795874600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00741294333200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001399651883200
tb.dut.u_reg.wePulse 007412943332746700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00731050177084804300
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0073105017139100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00138403624139100
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 00138403624287723200
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 001384036245966000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00129678995966000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0013840362413747256500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013840362413747256500

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00731050176633363062
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00731050177070785102322
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0028827074728429800502322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00731050177084116502322
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027133381226753005202322
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013648729600979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006824322900979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027445687900979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0029152405900979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013996518800979
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00731050177084116502322


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0074130030883888380
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0074130030362936290
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007413003014226142260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00741300309730697306755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0074130030883888380
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0074130030362936290
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007413003014226142260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00741300309730697306755

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