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 0044418973000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001468064000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0022209072000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001468064000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0090243933000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001468064000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0099737448000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001468064000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0045761112001000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022880144001000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0093016148001000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00102625272001000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0049222570001000
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0047836459000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001468064000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00396047993742686500
tb.dut.AllClkBypReqKnownO_A 00396047993742686500
tb.dut.CgEnKnownO_A 00396047993742686500
tb.dut.ClocksKownO_A 00396047993742686500
tb.dut.FpvSecCmClkMainAesCountCheck_A 00396047995000
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00396047994900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00396047994900
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00396047994600
tb.dut.FpvSecCmRegWeOnehotCheck_A 00396047998000
tb.dut.IoClkBypReqKnownO_A 00396047993742686500
tb.dut.JitterEnableKnownO_A 00396047993742686500
tb.dut.LcCtrlClkBypAckKnownO_A 00396047993742686500
tb.dut.PwrMgrKnownO_A 00396047993742686500
tb.dut.TlAReadyKnownO_A 00396047993742686500
tb.dut.TlDValidKnownO_A 00396047993742686500
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0099737901238900
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0099737901124900
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0079979900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 004441897316800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 004441897316800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0044418973539800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0044418973312800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 002220907216800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 002220907216800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0022209072538200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0022209072311200
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 002220907216800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 002220907216800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 002220907216800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 002220907216800
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 009024393316800
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 009024393315200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0090243933541400
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0090243933312800
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0099737448253200
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0099737448252600
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0099737448249400
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0099737448248800
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 009973744814300
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 009973744813700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0099737448251400
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0099737448250800
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0099737448249100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0099737448248500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 009973744814300
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 009973744813700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004783645914100
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004783645913300
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0047836459540200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0047836459310900
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 004054514657580900
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0040545146894100
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0040545146876500
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00405451461262000
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0040545146741300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00405451461797800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0040545146725800
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0090244366289900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0090244366346200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0044419377283000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0044419377323500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0039604799265500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0039604799265500
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0039604799160300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0039604799160300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0039604799338800
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0039604799338000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0099737901235100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0099737901125900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0044419377213000
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0044419377367900
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0022209486203100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0022209486358000
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0090244366215700
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0090244366371600
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0099737901237100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0099737901122800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0039604799504600
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0039604799666300
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0039604799990800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0039604799492000
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00396047993205239059
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0039604799669000
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0099737901234800
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0099737901123300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003960479914500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003960479914500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003960479913600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003960479913600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003960479913300
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003960479913300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00396047993734258500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00396047998198700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00396047993728594902397
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003960479913403700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00396047993734794900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00396047997662300
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0047836902213100
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0047836902369300
tb.dut.tlul_assert_device.aKnown_A 0040545146285117600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00405451463826821600
tb.dut.tlul_assert_device.aReadyKnown_A 00405451463826821600
tb.dut.tlul_assert_device.dKnown_A 0040545146289378900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00405451463826821600
tb.dut.tlul_assert_device.dReadyKnown_A 00405451463826821600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001000100000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0040545777228609200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 004054514630547700
tb.dut.tlul_assert_device.gen_device.contigMask_M 004054577720074700
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 004054577713106300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 004054514633795400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0040545777285117600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0040545777289378900
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0040545777285117600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0040545777289378900
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0040545777289378900
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0040545777289378900
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 004054514618381900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 004054514613968800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001000100000
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00997374482182300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00997374489563935000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00997374482196000
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00997374489563935000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00997374482183100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00997374489563935000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00997374482180300
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00997374489563935000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00997374489563935000
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00396047991275100
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00396047991137400
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00396047993742686500
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00396047993741988202397
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0039604799146700
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0044418973146700
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004441897331772700
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00444189734807700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013769234739100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00444189734441897300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00444189734441897300
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00396047993742686500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0039604799156700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0022209072156600
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 002220907230462900
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00222090724725100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013769234656900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00222090722220907200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00222090722220907200
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0039604799154300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0090243933154300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 009024393331785000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00902439334859700
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013769234790900
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00902439338827709400
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00902439338827709400
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00902439338640015500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00902439338639327602397
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00902439331833600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0039604799154700
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0099737448154700
tb.dut.u_main_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 009973744832000300
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00997374485775200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013519545721600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00997374489766393200
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00997374489766393200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0079979900
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 00441391174413831800
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 00902439339024313400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00444189734441817400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00902439339024313400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0079979900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00222090722220827300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00902439339024313400
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00444189734348001100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00444189734348001100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00222090722173966500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00222090722173966500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00222090722173966500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00222090722173966500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00902439338640015500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00902439338640015500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00997374489563935000
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00997374489563935000
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00478364594587950200
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00478364594587950200
tb.dut.u_reg.en2addrHit 004054514635338300
tb.dut.u_reg.reAfterRv 004054514635338300
tb.dut.u_reg.rePulse 004054514611297900
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001000100000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00405451466320600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00457611124477604700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00405451461291700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004576111253600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00405451461345300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00457611121291500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00457611121291700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461291700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00405451469370800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00457611124477604700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00405451461876600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00405451461876100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00457611121877200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00457611121876900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461879600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00457611124477604700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00405451463700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00457611123700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00457611124477604700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00405451463200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00457611123200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00405451469964000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00228801442238772100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00405451461291700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 002288014453600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00405451461345300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00228801441289500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00228801441291700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461291700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 004054514614849600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00228801442238772100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00405451461874200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00405451461874100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00228801441874900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00228801441874400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461877900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00228801442238772100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00405451463900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00228801443900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00228801442238772100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00405451463200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00228801443200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00405451464501900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00930161488899225000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00405451461291700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009301614853600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00405451461345300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00930161481291700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00930161481291700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461291700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00405451466584600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00930161488899225000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00405451461864000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00405451461863600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00930161481865300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00930161481865200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461866400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00930161488899225000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00405451462500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00930161482500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00930161488899225000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00405451463300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00930161483300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00405451464385800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 001026252729833947200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00405451461291700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010262527253600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00405451461345300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001026252721291700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001026252721291700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461291700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00405451466457800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 001026252729833947200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00405451461868900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00405451461868700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001026252721870200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001026252721870200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461871400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 001026252729833947200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00405451462700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001026252722700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 001026252729833947200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00405451462800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001026252722800
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001000100000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001000100000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001000100000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001000100000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001000100000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001000100000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001000100000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00405451466197400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00492225704717559200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00405451461257000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004922257053600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00405451461310600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00492225701248100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00492225701262300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461291700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00405451469318500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00492225704717559200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00405451461850900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00405451463826821600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00405451461848200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00492225701861400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00492225701857800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00405451461871100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00492225704717559200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00405451463200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00492225703200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001000100000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00492225704717559200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00405451463100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00492225703100
tb.dut.u_reg.wePulse 004054514624040400
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00396047993742686500
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0039604799156100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0047836459156100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004783645931986600
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00478364595677000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0014021885593700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00478364594684713000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00478364594684713000

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00396047993205239059
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00396047993728594902397
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00997374489563243202397
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00396047993741988202397
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00902439338639327602397
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0045761112001000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022880144001000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0093016148001000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00102625272001000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0049222570001000
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00396047993741988202397


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040545777562056200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040545777386338630
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004054577711996119960
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00405457778901089010751

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040545777562056200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040545777386338630
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004054577711996119960
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00405457778901089010751

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