Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total692010
Category 0692010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total692010
Severity 0692010


Summary for Assertions
NUMBERPERCENT
Total Number692100.00
Uncovered152.17
Success67797.83
Failure00.00
Incomplete223.18
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 00174074563000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013328058000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0087036675000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013328058000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00349742487000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013328058000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00373604474000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013328058000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00175205933001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0087602365001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00352096896001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00376057082001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00180480274001008
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00179303053000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013328058000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0014506997414246728900
tb.dut.AllClkBypReqKnownO_A 0014506997414246728900
tb.dut.CgEnKnownO_A 0014506997414246728900
tb.dut.ClocksKownO_A 0014506997414246728900
tb.dut.FpvSecCmClkMainAesCountCheck_A 001450699743200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001450699744000
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001450699743900
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001450699743000
tb.dut.FpvSecCmRegWeOnehotCheck_A 001450699748000
tb.dut.IoClkBypReqKnownO_A 0014506997414246728900
tb.dut.JitterEnableKnownO_A 0014506997414246728900
tb.dut.LcCtrlClkBypAckKnownO_A 0014506997414246728900
tb.dut.PwrMgrKnownO_A 0014506997414246728900
tb.dut.TlAReadyKnownO_A 0014506997414246728900
tb.dut.TlDValidKnownO_A 0014506997414246728900
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00373604906362700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00373604906187900
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080380300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0017407456315200
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0017407456315200
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00174074563770600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00174074563543600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 008703667515200
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 008703667515200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0087036675765800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0087036675538800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 008703667515200
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 008703667515200
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 008703667515200
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 008703667515200
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0034974248715200
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0034974248714200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00349742487773900
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00349742487545900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00373604474378200
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00373604474377900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00373604474368500
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00373604474368200
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0037360447415500
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0037360447415200
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00373604474374400
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00373604474374100
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00373604474373900
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00373604474373600
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0037360447415500
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0037360447415200
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00179303053771700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00179303053543300
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00146011266475520500
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001460112663889500
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001460112663376300
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001460112664597500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001460112663355100
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001460112664759100
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001460112663645300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00349742922418400
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00349742922504000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00174074972409800
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00174074972476600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00145069974398400
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00145069974398400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00145069974237400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00145069974237400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00145069974498900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00145069974498900
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00373604906353000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00373604906187100
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00174074972357600
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00174074972357600
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0087037074350700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0087037074350700
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00349742922357600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00349742922357600
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00373604906358900
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00373604906187100
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001450699741114900
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001450699741546200
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001450699742392900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001450699741111000
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014506997415468141056
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001450699741548800
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00373604906358400
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00373604906192100
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0014506997413800
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0014506997413800
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0014506997415100
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0014506997415100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0014506997413100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0014506997413100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0014506997414233438600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0014506997413061900
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014506997414225652202409
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0014506997420391500
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0014506997414234711500
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0014506997411789000
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00179303445355900
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00179303445355900
tb.dut.tlul_assert_device.aKnown_A 001460112661890802700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0014601126614329501400
tb.dut.tlul_assert_device.aReadyKnown_A 0014601126614329501400
tb.dut.tlul_assert_device.dKnown_A 001460112661853873800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0014601126614329501400
tb.dut.tlul_assert_device.dReadyKnown_A 0014601126614329501400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001460118941557609200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00146011266255538500
tb.dut.tlul_assert_device.gen_device.contigMask_M 0014601189419888200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0014601189412962900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00146011266282863600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001460118941890802700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001460118941853873800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001460118941890802700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001460118941853873800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001460118941853873800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001460118941853873800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00146011266152473200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00146011266115881100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001008100800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003736044743126700
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0037360447436927363200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003736044743133100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0037360447436927363200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003736044743113100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0037360447436927363200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003736044743127200
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0037360447436927363200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0037360447436927363200
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001450699741870700
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001450699741647700
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0014506997414246728900
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00145069974267400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00174074563267400
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00174074563295091200
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001740745638381300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00131731308297800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0017407456317407456300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0017407456317407456300
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014506997414246728900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00145069974276500
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0087036675276500
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0087036675281653700
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00870366758306500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00131731308223500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00870366758703667500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00870366758703667500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00145069974298100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00349742487298100
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00349742487295102200
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003497424878412100
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00131731308328600
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0034974248734769274600
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034974248734769274600
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0034974248734565017500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034974248734564332302409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003497424872669300
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00145069974259400
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00373604474259400
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00373604474295453700
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0037360447410056100
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00132068779969600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0037360447437144112100
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0037360447437144112100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0017384694517384614200
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 0034974248734974168400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0017407456317407376000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0034974248734974168400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00870366758703587200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0034974248734974168400
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0017407456317305280600
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0017407456317305280600
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00870366758652587300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00870366758652587300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00870366758652587300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00870366758652587300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0034974248734565017500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0034974248734565017500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0037360447436927363200
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0037360447436927363200
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0017930305317722687200
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0017930305317722687200
tb.dut.u_reg.en2addrHit 0014601126676024900
tb.dut.u_reg.reAfterRv 0014601126676024900
tb.dut.u_reg.rePulse 0014601126618089600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0014601126612955400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0017520593317413753000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001460112662291800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00175205933109200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001460112662401000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001752059332291600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001752059332291800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662291800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014601126616210900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0017520593317413753000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001460112662867700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001460112662867200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001752059332867900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001752059332867800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662870400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0017520593317413753000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001460112663100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001752059333100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0017520593317413753000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001460112663900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001752059333900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0014601126621156700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00876023658706829200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001460112662291800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0087602365109200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001460112662401000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00876023652289200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00876023652291800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662291800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014601126626435300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00876023658706829200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001460112662862400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001460112662862300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00876023652862800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00876023652862500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662865900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00876023658706829200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001460112662000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00876023652000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00876023658706829200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001460112662200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00876023652200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001460112668904600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0035209689634781966300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001460112662291800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00352096896109200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001460112662401000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003520968962291800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003520968962291800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662291800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014601126611127900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0035209689634781966300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001460112662868700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001460112662868500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003520968962870000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003520968962869500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662871600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0035209689634781966300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001460112663600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003520968963600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0035209689634781966300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001460112663400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003520968963400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001460112668822700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0037605708237153362900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001460112662291800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00376057082109200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001460112662401000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003760570822291800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003760570822291800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662291800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014601126610992700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0037605708237153362900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001460112662864600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001460112662864400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003760570822865600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003760570822865100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662866500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0037605708237153362900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001460112664000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003760570824000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0037605708237153362900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001460112663400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003760570823400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001008100800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001008100800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0014601126612760700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0018048027417831164100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001460112662248100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00180480274109200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001460112662357300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001804802742239600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001804802742252900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662291800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014601126616107300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018048027417831164100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001460112662839000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014601126614329501400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001460112662835800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001804802742851900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001804802742847700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001460112662864600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0018048027417831164100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001460112663200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001804802743200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0018048027417831164100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001460112663700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001804802743700
tb.dut.u_reg.wePulse 0014601126657935300
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0014506997414246728900
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00145069974260300
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00179303053260300
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00179303053295449200
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001793030539949000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00132494809837200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0017930305317826736600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0017930305317826736600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014506997415468141056
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014506997414225652202409
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0037360447436926673602409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034974248734564332302409
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00175205933001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0087602365001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00352096896001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00376057082001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00180480274001008
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014506997414246028102409


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00146011894746774670
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00146011894339933990
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014601189413980139800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001460118947628476284755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00146011894746774670
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00146011894339933990
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014601189413980139800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001460118947628476284755

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