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 0091188387000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 006923437000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0045593821000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 006923437000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00183819188000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 006923437000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00196444110000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 006923437000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009258340100978
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004629133900978
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018669654000978
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019944147900978
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009576559700978
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0094326879000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 006923437000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00767988667531698800
tb.dut.AllClkBypReqKnownO_A 00767988667531698800
tb.dut.CgEnKnownO_A 00767988667531698800
tb.dut.ClocksKownO_A 00767988667531698800
tb.dut.FpvSecCmClkMainAesCountCheck_A 00767988664200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00767988664800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00767988664100
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00767988664300
tb.dut.FpvSecCmRegWeOnehotCheck_A 00767988666000
tb.dut.IoClkBypReqKnownO_A 00767988667531698800
tb.dut.JitterEnableKnownO_A 00767988667531698800
tb.dut.LcCtrlClkBypAckKnownO_A 00767988667531698800
tb.dut.PwrMgrKnownO_A 00767988667531698800
tb.dut.TlAReadyKnownO_A 00767988667531698800
tb.dut.TlDValidKnownO_A 00767988667531698800
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00196444530198200
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0019644453099400
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077377300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077377300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 009118838714900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 009118838714900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0091188387471000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0091188387272800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 004559382114900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 004559382114900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0045593821467600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0045593821269400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 004559382114900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 004559382114900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 004559382114900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 004559382114900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0018381918814900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0018381918814800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00183819188472200
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00183819188273900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00196444110214400
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00196444110214300
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00196444110213700
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00196444110213600
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0019644411016200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0019644411016100
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00196444110216700
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00196444110216600
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00196444110214200
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00196444110214100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0019644411016200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0019644411016100
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 009432687915200
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 009432687915100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0094326879472000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0094326879273700
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0077786784197790700
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00777867842990700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00777867842666900
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00777867843086400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00777867842434700
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00777867843581400
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00777867842602200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00183819597273000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00183819597336400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0091188782267200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0091188782316700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0076798866261800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0076798866261800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0076798866157600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0076798866157600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0076798866318000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0076798866318000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00196444530197500
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00196444530102500
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0091188782181900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0091188782324700
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0045594196172400
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0045594196315200
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00183819597182700
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00183819597325500
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00196444530200500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00196444530103000
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0076798866567500
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0076798866776400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00767988661185200
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0076798866566100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00767988667475207062
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0076798866784600
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00196444530198000
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00196444530100700
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007679886614800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007679886614800
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007679886616100
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007679886616100
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007679886615100
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007679886615100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00767988667523911000
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00767988667589500
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00767988667518667602319
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007679886612436300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00767988667524554900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00767988666945600
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0094327276182400
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0094327276325200
tb.dut.tlul_assert_device.aKnown_A 0077786784810106500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00777867847620999000
tb.dut.tlul_assert_device.aReadyKnown_A 00777867847620999000
tb.dut.tlul_assert_device.dKnown_A 0077786784993585400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00777867847620999000
tb.dut.tlul_assert_device.dReadyKnown_A 00777867847620999000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097897800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0077787383663342300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0077786784106850100
tb.dut.tlul_assert_device.gen_device.contigMask_M 007778738320206600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007778738313848000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0077786784118076400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0077787383810106500
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0077787383993585400
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0077787383810106500
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0077787383993585400
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0077787383993585400
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0077787383993585400
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007778678463759300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007778678448689900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097897800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001964441101853200
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019644411019276476500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001964441101835000
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019644411019276476500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001964441101825500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019644411019276476500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001964441101855100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0019644411019276476500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019644411019276476500
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00767988661246500
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00767988661046600
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00767988667531698800
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00767988667531091602319
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0076798866164700
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0091188387164700
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077377300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0091188387153099400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077377300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00911883874374300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069049094373600
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00911883879118838700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911883879118838700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00767988667531698800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0076798866150000
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0045593821150000
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077377300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0045593821145938800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077377300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00455938214323300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069049094322700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00455938214559382100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00455938214559382100
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0076798866149800
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00183819188149800
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077377300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00183819188153106500
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077377300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 001838191884399300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069049094398500
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0018381918818206726200
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0018381918818206726200
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0018381918818028254900
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018381918818027660002319
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001838191881790400
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0076798866137200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00196444110137200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077377300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00196444110153295200
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077377300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 001964441105243800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069171265242200
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019644411019461994500
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019644411019461994500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077377300
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 00910341099103333600
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 0018381918818381841500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00911883879118761400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0018381918818381841500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077377300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00455938214559304800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0018381918818381841500
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00911883879029563000
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00911883879029563000
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00455938214514750700
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00455938214514750700
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00455938214514750700
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00455938214514750700
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0018381918818028254900
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0018381918818028254900
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0019644411019276476500
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0019644411019276476500
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00943268799255947000
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00943268799255947000
tb.dut.u_reg.en2addrHit 007778678442017600
tb.dut.u_reg.reAfterRv 007778678442017600
tb.dut.u_reg.rePulse 007778678411798800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097897800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00777867846336100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00925834019164435700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00777867841249100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009258340158200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00777867841307300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00925834011249100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00925834011249100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841249100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00777867849149700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00925834019164435700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00777867841786900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00777867841786800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00925834011787500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00925834011787400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841789600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00925834019164435700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00777867842700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00925834012700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00925834019164435700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00777867842700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00925834012700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007778678410145300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00462913394582194000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00777867841249100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004629133958200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00777867841307300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00462913391247700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00462913391249100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841249100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007778678414760000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00462913394582194000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00777867841796700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00777867841796700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00462913391797400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00462913391796800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841800700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00462913394582194000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00777867843600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00462913393600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00462913394582194000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00777867844000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00462913394000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00777867844392500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0018669654018298007900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00777867841249100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0018669654058200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00777867841307300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001866965401249100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001866965401249100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841249100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00777867846418900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018669654018298007900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00777867841806600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00777867841806400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001866965401807600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001866965401807200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841808700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0018669654018298007900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00777867845400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001866965405400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0018669654018298007900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00777867843100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001866965403100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00777867844388400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0019944147919557479800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00777867841249100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0019944147958200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00777867841307300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001994414791249100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001994414791249100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841249100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00777867846271000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019944147919557479800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00777867841785400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00777867841785200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001994414791786100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001994414791785900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841787000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0019944147919557479800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00777867843000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001994414793000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0019944147919557479800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00777867842900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001994414792900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097897800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097897800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097897800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097897800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097897800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097897800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097897800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00777867846269200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00957655979390830700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00777867841200700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009576559758200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00777867841258900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00957655971193400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00957655971208100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841249100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00777867849263500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00957655979390830700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00777867841779700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00777867847620999000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00777867841774600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00957655971797400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00957655971795400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00777867841806000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00957655979390830700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00777867842500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00957655972500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097897800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00957655979390830700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00777867843000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00957655973000
tb.dut.u_reg.wePulse 007778678430218800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00767988667531698800
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0076798866142100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0094326879142100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077377300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0094326879153296700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077377300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00943268795184900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069187105181400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00943268799345083800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00943268799345083800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00767988667475207062
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00767988667518667602319
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019644411019275881202319
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00767988667531091602319
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018381918818027660002319
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009258340100978
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004629133900978
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018669654000978
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019944147900978
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009576559700978
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00767988667531091602319


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0077787383704070400
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0077787383382938290
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007778738311265112650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00777873838972589725755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0077787383704070400
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0077787383382938290
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007778738311265112650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00777873838972589725755

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