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 0096924187000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008143663000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0048461731000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008143663000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00195408231000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008143663000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00209075936000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008143663000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009814921900980
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004907424400980
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019794870400980
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021172237400980
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010161329600980
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00100343035000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008143663000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00687256206651451100
tb.dut.AllClkBypReqKnownO_A 00687256206651451100
tb.dut.CgEnKnownO_A 00687256206651451100
tb.dut.ClocksKownO_A 00687256206651451100
tb.dut.FpvSecCmClkMainAesCountCheck_A 00687256203400
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00687256203900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00687256204300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00687256203700
tb.dut.FpvSecCmRegWeOnehotCheck_A 006872562010000
tb.dut.IoClkBypReqKnownO_A 00687256206651451100
tb.dut.JitterEnableKnownO_A 00687256206651451100
tb.dut.LcCtrlClkBypAckKnownO_A 00687256206651451100
tb.dut.PwrMgrKnownO_A 00687256206651451100
tb.dut.TlAReadyKnownO_A 00687256206651451100
tb.dut.TlDValidKnownO_A 00687256206651451100
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00209076356221300
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00209076356116700
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077577500
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077577500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 009692418713800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 009692418713800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0096924187518000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0096924187295700
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 004846173113800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 004846173113800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0048461731516800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0048461731294500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 004846173113800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 004846173113800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 004846173113800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 004846173113800
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0019540823113800
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0019540823113500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00195408231515900
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00195408231293300
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00209075936235000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00209075936235000
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00209075936229700
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00209075936229700
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0020907593613700
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0020907593613700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00209075936229300
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00209075936229300
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00209075936230600
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00209075936230600
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0020907593613700
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0020907593613700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0010034303514000
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0010034303514000
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00100343035518000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00100343035295300
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0069683759175371500
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00696837592092600
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00696837591896600
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00696837592330400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00696837591753300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00696837592781100
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00696837591893700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00195408662259400
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00195408662308400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0096924571255300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0096924571293600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0068725620236300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0068725620236300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0068725620143000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0068725620143000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0068725620296600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0068725620296600
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00209076356216000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00209076356112500
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0096924571186500
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0096924571350500
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0048462123174600
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0048462123338600
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00195408662186400
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00195408662350400
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00209076356215600
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00209076356113600
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0068725620549000
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0068725620749600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00687256201148000
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0068725620543300
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00687256206192299060
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0068725620751900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00209076356216900
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00209076356114300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 006872562013400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 006872562013400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 006872562013700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 006872562013700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 006872562014000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 006872562014000
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00687256206644262700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00687256206965700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00687256206639316202325
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 006872562011466800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00687256206644676300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00687256206552100
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00100343456186700
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00100343456350700
tb.dut.tlul_assert_device.aKnown_A 0069683759720021200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00696837596736320300
tb.dut.tlul_assert_device.aReadyKnown_A 00696837596736320300
tb.dut.tlul_assert_device.dKnown_A 0069683759778706800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00696837596736320300
tb.dut.tlul_assert_device.dReadyKnown_A 00696837596736320300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098098000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0069684384588798500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 006968375994509100
tb.dut.tlul_assert_device.gen_device.contigMask_M 006968438420323300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 006968438414533200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0069683759104546100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0069684384720021200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0069684384778706800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0069684384720021200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0069684384778706800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0069684384778706800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0069684384778706800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 006968375956486400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 006968375942841300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098098000
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002090759361915600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020907593620501486800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002090759361937500
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020907593620501486800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002090759361941900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020907593620501486800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002090759361933500
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0020907593620501486800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020907593620501486800
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00687256201134200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 0068725620999300
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00687256206651451100
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00687256206650765502325
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0068725620150400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0096924187150400
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077577500
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0096924187180163400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077577500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00969241874653300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0080779504624100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00969241879692418700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00969241879692418700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00687256206651451100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0068725620126700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0048461731126700
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077577500
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0048461731172045700
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077577500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00484617314589100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0080779504560000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00484617314846173100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00484617314846173100
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0068725620146700
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00195408231146700
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077577500
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00195408231180173900
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077577500
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 001954082314698200
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0080779504669000
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019540823119347182500
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019540823119347182500
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0019540823119153818600
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019540823119153150302325
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001954082311646800
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0068725620130000
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00209075936130000
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077577500
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00209075936180385100
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077577500
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002090759365603900
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0081380955603900
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020907593620705200000
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020907593620705200000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077577500
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 00967364479673567200
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 0019540823119540745600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00969241879692341200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0019540823119540745600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077577500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00484617314846095600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0019540823119540745600
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00969241879595690000
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00969241879595690000
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00484617314797816800
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00484617314797816800
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00484617314797816800
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00484617314797816800
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0019540823119153818600
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0019540823119153818600
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0020907593620501486800
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0020907593620501486800
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 001003430359839385300
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 001003430359839385300
tb.dut.u_reg.en2addrHit 006968375940709500
tb.dut.u_reg.reAfterRv 006968375940709500
tb.dut.u_reg.rePulse 006968375911727700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098098000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00696837596474600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00981492199713611600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00696837591265600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009814921955800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00696837591321400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00981492191265200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00981492191265600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591265600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00696837599580500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00981492199713611600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00696837591806200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00696837591806100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00981492191807200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00981492191806500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591809000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00981492199713611600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00696837592300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00981492192300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00981492199713611600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00696837592900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00981492192900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 006968375910375600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00490742444856784500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00696837591265600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004907424455800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00696837591321400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00490742441262500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00490742441265600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591265600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 006968375915396500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00490742444856784500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00696837591797400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00696837591797400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00490742441797900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00490742441797500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591801200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00490742444856784500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00696837593300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00490742443300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00490742444856784500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00696837593500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00490742443500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00696837594508700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0019794870419389671500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00696837591265600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0019794870455800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00696837591321400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001979487041265600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001979487041265600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591265600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00696837596562200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019794870419389671500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00696837591791700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00696837591791500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001979487041794100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001979487041793200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591795300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0019794870419389671500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00696837592600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001979487042600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0019794870419389671500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00696837593300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001979487043300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00696837594467500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0021172237420747179900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00696837591265600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0021172237455800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00696837591321400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002117223741265600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002117223741265600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591265600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00696837596463100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021172237420747179900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00696837591780000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00696837591779200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002117223741780800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002117223741780500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591781400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021172237420747179900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00696837592100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002117223742100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021172237420747179900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00696837591800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002117223741800
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098098000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098098000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098098000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098098000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098098000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098098000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098098000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00696837596240000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 001016132969957316000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00696837591212300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010161329655800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00696837591268100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001016132961204200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001016132961219400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591265600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00696837599427600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 001016132969957316000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00696837591766300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00696837596736320300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00696837591763200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001016132961783500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001016132961777800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00696837591797500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 001016132969957316000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00696837592500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001016132962500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098098000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 001016132969957316000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00696837593600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001016132963600
tb.dut.u_reg.wePulse 006968375928981800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00687256206651451100
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0068725620109900
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00100343035109900
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077577500
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00100343035180371600
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077577500
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001003430355517400
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0081380355517400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077577500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 001003430359937166400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 001003430359937166400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00687256206192299060
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00687256206639316202325
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020907593620500810302325
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00687256206650765502325
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019540823119153150302325
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009814921900980
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004907424400980
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019794870400980
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021172237400980
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010161329600980
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00687256206650765502325


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0069684384702970290
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0069684384211121110
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0069684384993099300
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00696843848499784997755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0069684384702970290
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0069684384211121110
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0069684384993099300
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00696843848499784997755

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