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 0038533562000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001277359000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0019266395000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001277359000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0078932889000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001277359000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0087192814000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001277359000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0039771598001005
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019885397001005
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0081499841001005
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0089866841001005
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0043178534001005
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0041895022000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001277359000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00384764633586985900
tb.dut.AllClkBypReqKnownO_A 00384764633586985900
tb.dut.CgEnKnownO_A 00384764633586985900
tb.dut.ClocksKownO_A 00384764633586985900
tb.dut.FpvSecCmClkMainAesCountCheck_A 00384764633300
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00384764633100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00384764633300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00384764633300
tb.dut.FpvSecCmRegWeOnehotCheck_A 00384764637000
tb.dut.IoClkBypReqKnownO_A 00384764633586985900
tb.dut.JitterEnableKnownO_A 00384764633586985900
tb.dut.LcCtrlClkBypAckKnownO_A 00384764633586985900
tb.dut.PwrMgrKnownO_A 00384764633586985900
tb.dut.TlAReadyKnownO_A 00384764633586985900
tb.dut.TlDValidKnownO_A 00384764633586985900
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0087193243227000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0087193243120500
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080080000
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080080000
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003853356215700
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003853356215700
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0038533562535600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0038533562307600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001926639515700
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001926639515700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0019266395535100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0019266395307100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001926639515700
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001926639515700
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001926639515700
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001926639515700
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 007893288915700
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 007893288914500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0078932889539900
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0078932889310700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0087192814241000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0087192814240800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0087192814246300
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0087192814246100
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 008719281414000
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 008719281413800
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0087192814244500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0087192814244300
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0087192814239900
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0087192814239700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 008719281414000
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 008719281413800
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004189502215200
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004189502214400
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0041895022538200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0041895022308500
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003939709245280300
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0039397092666400
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0039397092667000
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 0039397092968500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0039397092547100
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00393970921488900
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0039397092572100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0078933332266100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0078933332324300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0038533980261100
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0038533980306900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0038476463257700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0038476463257700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0038476463153800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0038476463153800
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0038476463311400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0038476463311100
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0087193243232300
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0087193243120400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0038533980201900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0038533980362800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0019266794188100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0019266794349000
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0078933332203600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0078933332365100
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0087193243230500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0087193243118800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0038476463513300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0038476463707900
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00384764631081900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0038476463500400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00384764633572168057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0038476463702800
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0087193243225900
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0087193243119200
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003847646314000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003847646314000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003847646313600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003847646313600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003847646314400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003847646314400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00384764633578993700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00384764637762500
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00384764633573864002400
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003847646312432800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00384764633579693500
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00384764637062700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0041895430201900
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0041895430363600
tb.dut.tlul_assert_device.aKnown_A 0039397092217884000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00393970923667764600
tb.dut.tlul_assert_device.aReadyKnown_A 00393970923667764600
tb.dut.tlul_assert_device.dKnown_A 0039397092224119200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00393970923667764600
tb.dut.tlul_assert_device.dReadyKnown_A 00393970923667764600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001005100500
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0039397714172242200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003939709224135800
tb.dut.tlul_assert_device.gen_device.contigMask_M 003939771421688900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003939771412775900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003939709226712500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0039397714217884000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0039397714224119200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0039397714217884000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0039397714224119200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0039397714224119200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0039397714224119200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003939709214510700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003939709211103500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001005100500
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00871928142128500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00871928148247862900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00871928142130800
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00871928148247862900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00871928142119100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00871928148247862900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00871928142118600
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00871928148247862900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00871928148247862900
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00384764631210900
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00384764631040800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00384764633586985900
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00384764633586279502400
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0038476463131500
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0038533562131500
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080080000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003853356227587800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080080000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00385335624200000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011966494133400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00385335623853356200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00385335623853356200
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00384764633586985900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0038476463116200
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0019266395116200
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080080000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001926639526442200
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080080000
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00192663954160600
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011966494094700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00192663951926639500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00192663951926639500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0038476463129500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0078932889129500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080080000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 007893288927596500
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080080000
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00789328894230600
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011966494163300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00789328897671261600
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00789328897671261600
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00789328897448900900
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00789328897448211802400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00789328891728900
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0038476463118800
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0087192814118800
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080080000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 008719281427785400
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080080000
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00871928145066200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012636545030500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00871928148484209200
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00871928148484209200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080080000
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 00383568473835604700
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 00789328897893208900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00385335623853276200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00789328897893208900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080080000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00192663951926559500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00789328897893208900
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00385335623742129600
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00385335623742129600
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00192663951871033000
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00192663951871033000
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00192663951871033000
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00192663951871033000
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00789328897448900900
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00789328897448900900
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00871928148247862900
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00871928148247862900
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00418950223964207900
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00418950223964207900
tb.dut.u_reg.en2addrHit 003939709232735400
tb.dut.u_reg.reAfterRv 003939709232735400
tb.dut.u_reg.rePulse 003939709210985000
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001005100500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00393970926116700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00397715983861210800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00393970921171100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003977159850500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00393970921221600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00397715981170600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00397715981171100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921171100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00393970929284400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00397715983861210800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00393970921739400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00393970921739100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00397715981740300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00397715981740100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921742200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00397715983861210800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00393970924400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00397715984400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00397715983861210800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00393970923500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00397715983500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00393970929779900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00198853971930576000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00393970921171100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001988539750500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00393970921221600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00198853971168800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00198853971171100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921171100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003939709214952600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00198853971930576000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00393970921730300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00393970921730200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00198853971731100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00198853971730400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921733600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00198853971930576000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00393970923000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00198853973000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00198853971930576000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00393970923300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00198853973300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00393970924249000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00814998417687064800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00393970921171100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008149984150500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00393970921221600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00814998411171100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00814998411171100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921171100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00393970926414600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00814998417687064800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00393970921740600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00393970921740300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00814998411741100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00814998411741100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921742800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00814998417687064800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00393970923500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00814998413500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00814998417687064800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00393970923500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00814998413500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00393970924138600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00898668418495962100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00393970921171100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008986684150500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00393970921221600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00898668411171100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00898668411171100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921171100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00393970926221600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00898668418495962100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00393970921735900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00393970921735800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00898668411736900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00898668411736800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921738100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00898668418495962100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00393970924100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00898668414100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00898668418495962100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00393970923900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00898668413900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001005100500
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001005100500
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001005100500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001005100500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001005100500
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001005100500
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001005100500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00393970925893800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00431785344083295300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00393970921122400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004317853450500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00393970921172900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00431785341114800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00431785341125600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921171100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00393970929171400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00431785344083295300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00393970921709400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00393970923667764600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00393970921707500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00431785341727100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00431785341722400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00393970921740800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00431785344083295300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00393970923400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00431785343400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001005100500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00431785344083295300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00393970924600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00431785344600
tb.dut.u_reg.wePulse 003939709221750400
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00384764633586985900
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0038476463115600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0041895022115600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080080000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004189502227780100
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080080000
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00418950225025400
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012586934948900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080080000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00418950224077054800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00418950224077054800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00384764633572168057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00384764633573864002400
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00871928148247171402400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00384764633586279502400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00789328897448211802400
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0039771598001005
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019885397001005
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0081499841001005
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0089866841001005
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0043178534001005
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00384764633586279502400


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0039397714927292720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0039397714410241020
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003939771417088170880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00393977148527285272751

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0039397714927292720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0039397714410241020
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003939771417088170880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00393977148527285272751

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