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 00213227110000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0015971373000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00106612844000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0015971373000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00427507042000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0015971373000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00455832013000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0015971373000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00214393642001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00107196086001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00429934169001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00458360378001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00219823213001009
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00218609628000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0015971373000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0016727238716491191700
tb.dut.AllClkBypReqKnownO_A 0016727238716491191700
tb.dut.CgEnKnownO_A 0016727238716491191700
tb.dut.ClocksKownO_A 0016727238716491191700
tb.dut.FpvSecCmClkMainAesCountCheck_A 001672723872900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001672723872900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001672723872800
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001672723872700
tb.dut.FpvSecCmRegWeOnehotCheck_A 0016727238710000
tb.dut.IoClkBypReqKnownO_A 0016727238716491191700
tb.dut.JitterEnableKnownO_A 0016727238716491191700
tb.dut.LcCtrlClkBypAckKnownO_A 0016727238716491191700
tb.dut.PwrMgrKnownO_A 0016727238716491191700
tb.dut.TlAReadyKnownO_A 0016727238716491191700
tb.dut.TlDValidKnownO_A 0016727238716491191700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00455832471372300
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00455832471187900
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080480400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0021322711016100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0021322711016100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00213227110773500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00213227110534100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0010661284416100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0010661284416100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00106612844770600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00106612844531200
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0010661284416100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0010661284416100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0010661284416100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0010661284416100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0042750704216100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0042750704215900
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00427507042775500
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00427507042535900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00455832013387000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00455832013386700
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00455832013391200
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00455832013390900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0045583201314700
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0045583201314400
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00455832013389200
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00455832013388900
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00455832013390700
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00455832013390400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0045583201314700
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0045583201314400
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0021860962816700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0021860962816500
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00218609628778200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00218609628538300
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00168244631549298100
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001682446314679500
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001682446314234000
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001682446315251200
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001682446314061300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001682446315729000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001682446314514000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00427507459456600
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00427507459551500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00213227515447500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00213227515515300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00167272387438700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00167272387438700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00167272387259600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00167272387259600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00167272387532700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00167272387532700
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00455832471376500
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00455832471193700
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00213227515347700
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00213227515518300
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00106613261322400
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00106613261493000
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00427507459351200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00427507459521900
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00455832471374500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00455832471189700
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001672723871060100
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001672723871475600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001672723872284600
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001672723871058100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016727238718958921060
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001672723871477600
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00455832471376000
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00455832471188200
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 0016727238715600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 0016727238715600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 0016727238714300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 0016727238714300
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 0016727238716500
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 0016727238716500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0016727238716476970100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0016727238713981700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016727238716468883702412
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0016727238721588300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0016727238716477982900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0016727238712968900
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00218610045348100
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00218610045519100
tb.dut.tlul_assert_device.aKnown_A 001682446312163083600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0016824463116577383600
tb.dut.tlul_assert_device.aReadyKnown_A 0016824463116577383600
tb.dut.tlul_assert_device.dKnown_A 001682446312175963300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0016824463116577383600
tb.dut.tlul_assert_device.dReadyKnown_A 0016824463116577383600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001682452771783660300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00168244631296393200
tb.dut.tlul_assert_device.gen_device.contigMask_M 0016824527721268000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0016824527713452900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00168244631328174800
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001682452772163083600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001682452772175963300
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001682452772163083600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001682452772175963300
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001682452772175963300
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001682452772175963300
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00168244631177029400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00168244631134726300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001009100900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004558320133226300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045583201345162878300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004558320133231000
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045583201345162878300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004558320133219100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045583201345162878300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004558320133229100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0045583201345162878300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045583201345162878300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001672723872023100
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001672723871754100
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0016727238716491191700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00167272387289900
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00213227110289900
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00213227110353787200
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002132271108832800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00158670988762800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021322711021322711000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021322711021322711000
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016727238716491191700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00167272387273700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00106612844273700
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00106612844337483800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001066128448739700
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00158670988669900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010661284410661284400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010661284410661284400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00167272387281200
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00427507042281200
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00427507042353802000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 004275070428880300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00158670988810300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0042750704242549083100
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042750704242549083100
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0042750704242350283900
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042750704242349564102412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004275070422860000
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00167272387256900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00455832013256900
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00455832013354206700
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0045583201310741600
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001588473810673500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0045583201345371626500
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045583201345371626500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080480400
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 0021274600021274519600
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 0042750704242750623800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0021322711021322630600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0042750704242750623800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080480400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010661284410661204000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0042750704242750623800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0021322711021223261900
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0021322711021223261900
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0010661284410611565300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0010661284410611565300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0010661284410611565300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0010661284410611565300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0042750704242350283900
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0042750704242350283900
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0045583201345162878300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0045583201345162878300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0021860962821658014800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0021860962821658014800
tb.dut.u_reg.en2addrHit 0016824463182925900
tb.dut.u_reg.reAfterRv 0016824463182925900
tb.dut.u_reg.rePulse 0016824463119701600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0016824463113166700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0021439364221335113500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001682446312367900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00214393642105200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001682446312473100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002143936422367600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002143936422367900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312367900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016824463116356000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021439364221335113500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001682446312958600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001682446312958500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002143936422959600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002143936422959200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312961800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021439364221335113500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001682446313500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002143936423500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021439364221335113500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001682446312900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002143936422900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0016824463121536900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0010719608610667493200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001682446312367900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00107196086105200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001682446312473100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001071960862363300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001071960862367900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312367900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016824463126896800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010719608610667493200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001682446312970500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001682446312970200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001071960862971500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001071960862970900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312973900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010719608610667493200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001682446313500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001071960863500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010719608610667493200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001682446314600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001071960864600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001682446319004500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0042993416942573989600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001682446312367900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00429934169105200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001682446312473100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004299341692367900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004299341692367900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312367900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016824463111302100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0042993416942573989600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001682446312984700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001682446312984500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004299341692986000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004299341692985600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312987800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0042993416942573989600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001682446314400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004299341694400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0042993416942573989600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001682446314100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004299341694100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001682446319011500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0045836037845395918400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001682446312367900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00458360378105200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001682446312473100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004583603782367900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004583603782367900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312367900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016824463111226200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0045836037845395918400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001682446312959200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001682446312959200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004583603782960700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004583603782960100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312961700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0045836037845395918400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001682446312900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004583603782900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0045836037845395918400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001682446312600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004583603782600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001009100900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001009100900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0016824463112996500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0021982321321769875800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001682446312324700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00219823213105200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001682446312429900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002198232132311300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002198232132327300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312367900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016824463116474000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021982321321769875800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001682446312962600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016824463116577383600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001682446312959700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002198232132972600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002198232132970800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001682446312987200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021982321321769875800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001682446313300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002198232133300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021982321321769875800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001682446313100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002198232133100
tb.dut.u_reg.wePulse 0016824463163224300
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0016727238716491191700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00167272387262200
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00218609628262200
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00218609628354179700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0021860962810560700
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001595918910539100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021860962821758469200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021860962821758469200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016727238718958921060
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016727238716468883702412
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045583201345162157002412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042750704242349564102412
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00214393642001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00107196086001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00429934169001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00458360378001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00219823213001009
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016727238716490461102412


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00168245277844384430
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00168245277242724270
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016824527711750117500
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001682452778555685556755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00168245277844384430
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00168245277242724270
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016824527711750117500
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001682452778555685556755

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