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 00102223519000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007060539000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0051111378000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007060539000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00206048960000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007060539000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00220511385000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007060539000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010347837000979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005173878800979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020864924300979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022322012500979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010714867000979
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00105848508000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007060539000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00737148437181705100
tb.dut.AllClkBypReqKnownO_A 00737148437181705100
tb.dut.CgEnKnownO_A 00737148437181705100
tb.dut.ClocksKownO_A 00737148437181705100
tb.dut.FpvSecCmClkMainAesCountCheck_A 00737148433300
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00737148433300
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00737148433200
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00737148433200
tb.dut.FpvSecCmRegWeOnehotCheck_A 00737148437000
tb.dut.IoClkBypReqKnownO_A 00737148437181705100
tb.dut.JitterEnableKnownO_A 00737148437181705100
tb.dut.LcCtrlClkBypAckKnownO_A 00737148437181705100
tb.dut.PwrMgrKnownO_A 00737148437181705100
tb.dut.TlAReadyKnownO_A 00737148437181705100
tb.dut.TlDValidKnownO_A 00737148437181705100
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00220511817211800
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00220511817108600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077477400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077477400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0010222351914100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0010222351914100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00102223519498000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00102223519287600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005111137814100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005111137814100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0051111378497800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0051111378287400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005111137814100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005111137814100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005111137814100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005111137814100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0020604896014100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0020604896013800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00206048960497000
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00206048960286300
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00220511385224800
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00220511385224800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00220511385235900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00220511385235900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0022051138513000
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0022051138513000
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00220511385227100
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00220511385227100
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00220511385228200
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00220511385228200
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0022051138513000
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0022051138513000
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0010584850815500
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0010584850815400
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00105848508497400
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00105848508286700
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0074632872193340300
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00746328722094700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00746328721842200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00746328722477600
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00746328721803500
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00746328722712500
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00746328721981000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00206049359269200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00206049359318600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00102223923262200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00102223923302300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0073714843247800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0073714843247800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0073714843151000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0073714843151000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0073714843311600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0073714843311600
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00220511817222900
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00220511817118400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00102223923192600
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00102223923349400
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0051111787182900
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0051111787339700
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00206049359191200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00206049359348300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00220511817214100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00220511817112700
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0073714843601300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0073714843796400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00737148431191500
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0073714843586100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007371484311673351058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0073714843795700
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00220511817215200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00220511817112400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007371484313800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007371484313800
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007371484313000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007371484313000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007371484315400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007371484315400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00737148437173918900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00737148437575500
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00737148437168839402322
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007371484312233600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00737148437174460400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00737148437034000
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00105848909191800
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00105848909348900
tb.dut.tlul_assert_device.aKnown_A 0074632872793434000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00746328727263437800
tb.dut.tlul_assert_device.aReadyKnown_A 00746328727263437800
tb.dut.tlul_assert_device.dKnown_A 0074632872846884400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00746328727263437800
tb.dut.tlul_assert_device.dReadyKnown_A 00746328727263437800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097997900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0074633479650172200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0074632872103991900
tb.dut.tlul_assert_device.gen_device.contigMask_M 007463347921116400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007463347913285600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0074632872115446200
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0074633479793434000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0074633479846884400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0074633479793434000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0074633479846884400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0074633479846884400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0074633479846884400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007463287262059700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007463287247012000
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097997900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002205113851945800
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022051138521646778800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002205113851927100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022051138521646778800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002205113851931100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022051138521646778800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002205113851942300
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0022051138521646778800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022051138521646778800
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00737148431176500
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00737148431050800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00737148437181705100
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00737148437181049902322
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0073714843180200
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00102223519180200
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00102223519156113100
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001022235194856700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070391924846500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010222351910222351900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010222351910222351900
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00737148437181705100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0073714843174000
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0051111378174000
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0051111378149051400
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00511113784793400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070391924783300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00511113785111137800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00511113785111137800
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0073714843171600
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00206048960171600
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00206048960156123700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002060489604892700
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070391924882500
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020604896020413043700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020604896020413043700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0020604896020217577300
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020604896020216945202322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002060489601689200
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0073714843162100
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00220511385162100
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00220511385156349500
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002205113855892000
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070538815879600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0022051138521851052000
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022051138521851052000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077477400
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 0010206572110206494700
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 0020604896020604818600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010222351910222274500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020604896020604818600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077477400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00511113785111060400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020604896020604818600
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0010222351910124576500
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0010222351910124576500
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00511113785062255800
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00511113785062255800
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00511113785062255800
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00511113785062255800
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0020604896020217577300
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0020604896020217577300
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0022051138521646778800
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0022051138521646778800
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0010584850810391128100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0010584850810391128100
tb.dut.u_reg.en2addrHit 007463287243061500
tb.dut.u_reg.reAfterRv 007463287243061500
tb.dut.u_reg.rePulse 007463287212007400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00746328726784700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0010347837010245514100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00746328721389700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010347837063400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00746328721453100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001034783701389500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001034783701389700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721389700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00746328729659400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010347837010245514100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00746328721934600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00746328721934200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001034783701935000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001034783701934700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721937300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010347837010245514100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00746328723300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001034783703300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010347837010245514100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00746328723100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001034783703100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007463287210746100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00517387885122728600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00746328721389700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005173878863400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00746328721453100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00517387881386100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00517387881389700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721389700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007463287215447100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00517387885122728600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00746328721930600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00746328721930300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00517387881931400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00517387881930600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721933600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00517387885122728600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00746328723400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00517387883400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00517387885122728600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00746328722800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00517387882800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00746328724800600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0020864924320459458300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00746328721389700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0020864924363400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00746328721453100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002086492431389700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002086492431389700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721389700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00746328726853700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020864924320459458300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00746328721945500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00746328721945400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002086492431946400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002086492431946300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721947800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020864924320459458300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00746328723100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002086492433100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020864924320459458300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00746328723400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002086492433400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00746328724663100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0022322012521898746200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00746328721389700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0022322012563400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00746328721453100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002232201251389700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002232201251389700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721389700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00746328726651200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0022322012521898746200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00746328721942500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00746328721942300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002232201251944200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002232201251943900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721945100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0022322012521898746200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00746328722600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002232201252600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0022322012521898746200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00746328722600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002232201252600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097997900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097997900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097997900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097997900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097997900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00746328726553700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0010714867010512075300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00746328721336200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010714867063400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00746328721399600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001071486701326800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001071486701340400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721389700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00746328729665100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010714867010512075300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00746328721921900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00746328727263437800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00746328721917300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001071486701937700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001071486701935000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00746328721950600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010714867010512075300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00746328723000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001071486703000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097997900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010714867010512075300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00746328723700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001071486703700
tb.dut.u_reg.wePulse 007463287231054100
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00737148437181705100
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0073714843145900
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00105848508145900
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077477400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00105848508156339300
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077477400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001058485085821900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070188115805000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077477400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010584850810488986200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010584850810488986200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007371484311673351058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00737148437168839402322
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022051138521646143902322
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00737148437181049902322
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020604896020216945202322
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010347837000979
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005173878800979
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020864924300979
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022322012500979
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010714867000979
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00737148437181049902322


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0074633479897689760
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0074633479323632360
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007463347911465114650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00746334799196991969755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0074633479897689760
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0074633479323632360
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007463347911465114650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00746334799196991969755

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