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 0032976212000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001008791000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0016487696000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001008791000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0067807234000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001008791000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0075574951000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001008791000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034365197001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0017182187001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0070673533001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0078560806001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0037765522001008
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0036332342000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001008791000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00339955243142324700
tb.dut.AllClkBypReqKnownO_A 00339955243142324700
tb.dut.CgEnKnownO_A 00339955243142324700
tb.dut.ClocksKownO_A 00339955243142324700
tb.dut.FpvSecCmClkMainAesCountCheck_A 00339955244200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00339955244100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00339955244200
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00339955244200
tb.dut.FpvSecCmRegWeOnehotCheck_A 00339955247000
tb.dut.IoClkBypReqKnownO_A 00339955243142324700
tb.dut.JitterEnableKnownO_A 00339955243142324700
tb.dut.LcCtrlClkBypAckKnownO_A 00339955243142324700
tb.dut.PwrMgrKnownO_A 00339955243142324700
tb.dut.TlAReadyKnownO_A 00339955243142324700
tb.dut.TlDValidKnownO_A 00339955243142324700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0075575380212700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0075575380110600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080380300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003297621215500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003297621215500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0032976212538500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0032976212309300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001648769615500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001648769615500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0016487696541300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0016487696312100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001648769615500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001648769615500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001648769615500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001648769615500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 006780723415500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 006780723414000
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0067807234544700
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0067807234314000
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0075574951228500
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0075574951228000
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0075574951229400
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0075574951228900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 007557495115800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 007557495115300
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0075574951228700
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0075574951228200
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0075574951222800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0075574951222300
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 007557495115800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 007557495115300
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 003633234214900
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 003633234214700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0036332342542500
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0036332342311800
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003492317944051500
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0034923179988500
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0034923179939300
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00349231791292400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0034923179718400
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00349231791845800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0034923179752200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0067807685284300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0067807685339500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0032976617277900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0032976617322600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0033995524267800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0033995524267800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0033995524158400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0033995524158400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0033995524329600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0033995524329300
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0075575380213600
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0075575380111600
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0032976617203400
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0032976617367900
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0016488091192800
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0016488091357500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0067807685205600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0067807685370700
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0075575380212900
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0075575380111600
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0033995524377500
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0033995524509900
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0033995524770600
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0033995524372100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00339955242375479058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0033995524512900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0075575380207000
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0075575380107600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003399552413900
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003399552413900
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003399552415100
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003399552415100
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003399552414600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003399552414600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00339955243133439200
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00339955248654700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00339955243128047802409
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003399552413584500
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00339955243134320200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00339955247773700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0036332728204800
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0036332728369900
tb.dut.tlul_assert_device.aKnown_A 0034923179219337200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00349231793225131600
tb.dut.tlul_assert_device.aReadyKnown_A 00349231793225131600
tb.dut.tlul_assert_device.dKnown_A 0034923179259722300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00349231793225131600
tb.dut.tlul_assert_device.dReadyKnown_A 00349231793225131600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0034923822173268500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003492317923487200
tb.dut.tlul_assert_device.gen_device.contigMask_M 003492382221156100
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003492382212964200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003492317926019100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0034923822219337200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0034923822259722300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0034923822219337200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0034923822259722300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0034923822259722300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0034923822259722300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003492317914138200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003492317910822300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001008100800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00755749512057700
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00755749517072510400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00755749512090900
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00755749517072510400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00755749512049500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00755749517072510400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00755749512082500
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00755749517072510400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00755749517072510400
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00339955241272000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00339955241101500
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00339955243142324700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00339955243141613202409
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0033995524105200
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0032976212105200
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003297621221596000
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00329762123999500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009448633923300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00329762123297621200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00329762123297621200
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00339955243142324700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0033995524113700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0016487696113700
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001648769620706100
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00164876963953700
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009448633879500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00164876961648769600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00164876961648769600
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0033995524105700
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0067807234105700
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 006780723421608000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00678072344029600
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009448633952600
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00678072346556257500
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00678072346556257500
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00678072346323617700
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00678072346322925302409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00678072341837900
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0033995524105500
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0075574951105500
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 007557495121792600
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00755749514852500
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009773184787600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00755749517320021800
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00755749517320021800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080380300
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 00327818493278104600
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 00678072346780643100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00329762123297540900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00678072346780643100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00164876961648689300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00678072346780643100
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00329762123181257700
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00329762123181257700
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00164876961590593500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00164876961590593500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00164876961590593500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00164876961590593500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00678072346323617700
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00678072346323617700
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00755749517072510400
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00755749517072510400
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00363323423399360300
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00363323423399360300
tb.dut.u_reg.en2addrHit 003492317932028600
tb.dut.u_reg.reAfterRv 003492317932028600
tb.dut.u_reg.rePulse 003492317910914800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00349231795443500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00343651973315642500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00349231791085300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003436519739200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00349231791124500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00343651971084700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00343651971085300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791085300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00349231798619600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00343651973315642500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00349231791683100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00349231791682800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00343651971683800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00343651971683700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791685700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00343651973315642500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00349231793500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00343651973500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00343651973315642500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00349231794000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00343651974000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00349231798637100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00171821871657792000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00349231791085300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001718218739200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00349231791124500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00171821871081400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00171821871085300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791085300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003492317913927200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00171821871657792000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00349231791702600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00349231791702500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00171821871703400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00171821871702700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791706200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00171821871657792000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00349231794300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00171821874300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00171821871657792000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00349231793700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00171821873700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00349231793762600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00706735336592394100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00349231791085300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 007067353339200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00349231791124500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00706735331085300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00706735331085300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791085300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00349231796078100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00706735336592394100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00349231791705800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00349231791705500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00706735331707400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00706735331707100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791708000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00706735336592394100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00349231793100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00706735333100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00706735336592394100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00349231793100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00706735333100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00349231793768000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00785608067352494200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00349231791085300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 007856080639200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00349231791124500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00785608061085300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00785608061085300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791085300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00349231795967900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00785608067352494200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00349231791701500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00349231791701400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00785608061702500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00785608061702300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791703800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00785608067352494200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00349231793100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00785608063100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00785608067352494200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00349231793600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00785608063600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001008100800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001008100800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00349231795235400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00377655223533756200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00349231791035300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003776552239200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00349231791074500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00377655221023500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00377655221039100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791085300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00349231798702400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00377655223533756200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00349231791684100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00349231793225131600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00349231791681300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00377655221701200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00377655221697600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00349231791714800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00377655223533756200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00349231793600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00377655223600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00377655223533756200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00349231793100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00377655223100
tb.dut.u_reg.wePulse 003492317921113800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00339955243142324700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 003399552496600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 003633234296600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003633234221788000
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00363323424786300
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009353404712100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00363323423518782900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00363323423518782900

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00339955242375479058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00339955243128047802409
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00755749517071812502409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00339955243141613202409
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00678072346322925302409
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034365197001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0017182187001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0070673533001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0078560806001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0037765522001008
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00339955243141613202409


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0034923822736373630
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0034923822289328930
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003492382211563115630
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00349238229201092010755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0034923822736373630
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0034923822289328930
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003492382211563115630
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00349238229201092010755

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