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 0095984505000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007883362000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0047991829000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007883362000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00193519678000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007883362000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00207185345000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007883362000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009717166000978
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004858543600978
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019598842900978
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020975705700978
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010076196100978
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0099527570000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007883362000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00662994986407397400
tb.dut.AllClkBypReqKnownO_A 00662994986407397400
tb.dut.CgEnKnownO_A 00662994986407397400
tb.dut.ClocksKownO_A 00662994986407397400
tb.dut.FpvSecCmClkMainAesCountCheck_A 00662994983700
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00662994983500
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00662994983800
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00662994983900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00662994988000
tb.dut.IoClkBypReqKnownO_A 00662994986407397400
tb.dut.JitterEnableKnownO_A 00662994986407397400
tb.dut.LcCtrlClkBypAckKnownO_A 00662994986407397400
tb.dut.PwrMgrKnownO_A 00662994986407397400
tb.dut.TlAReadyKnownO_A 00662994986407397400
tb.dut.TlDValidKnownO_A 00662994986407397400
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00207185770179700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0020718577095000
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 009598450515500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 009598450515500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0095984505501500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0095984505291100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 004799182915500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 004799182915500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0047991829501000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0047991829290600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 004799182915500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 004799182915500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 004799182915500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 004799182915500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0019351967815500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0019351967815000
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00193519678503800
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00193519678292900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00207185345194300
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00207185345194300
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00207185345194600
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00207185345194600
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0020718534514600
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0020718534514600
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00207185345194000
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00207185345194000
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00207185345194800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00207185345194800
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0020718534514600
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0020718534514600
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 009952757015000
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 009952757014800
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0099527570502900
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0099527570292000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0067152137169797000
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00671521371143200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00671521371004900
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00671521371545400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0067152137963800
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00671521371547900
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0067152137999700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00193520106267700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00193520106325800
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0095984895260400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0095984895303500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0066299498253900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0066299498253900
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0066299498150300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0066299498150300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0066299498315400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0066299498315400
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00207185770180000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0020718577094800
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0095984895191700
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0095984895347300
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0047992245181000
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0047992245336600
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00193520106191800
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00193520106347800
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00207185770179400
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0020718577096000
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0066299498444800
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0066299498606600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0066299498928800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0066299498437700
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00662994985540079057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0066299498604900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00207185770180200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0020718577095100
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 006629949815000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 006629949815000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 006629949814600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 006629949814600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 006629949814800
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 006629949814800
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00662994986399917500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00662994987269000
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00662994986394847602319
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 006629949811917100
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00662994986400421400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00662994986765100
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0099527977190000
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0099527977346000
tb.dut.tlul_assert_device.aKnown_A 0067152137642950500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00671521376481990500
tb.dut.tlul_assert_device.aReadyKnown_A 00671521376481990500
tb.dut.tlul_assert_device.dKnown_A 0067152137603273000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00671521376481990500
tb.dut.tlul_assert_device.dReadyKnown_A 00671521376481990500
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 0067152712526346800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 006715213791812100
tb.dut.tlul_assert_device.gen_device.contigMask_M 006715271220117600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 006715271212172100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0067152137101547100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0067152712642950500
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0067152712603273000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0067152712642950500
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0067152712603273000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0067152712603273000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0067152712603273000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 006715213754700700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 006715213741684100
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 00662994986407397400
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
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 0020718534520326267800
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002071853451836500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002071853451812400
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002071853451813900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002071853451824400
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0020718534520326267800
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 0020718534520326267800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020718534520326267800
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00662994981202800
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00662994981059900
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00662994986407397400
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00662994986406745302319
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
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 00662994986407397400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0066299498128700
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0095984505128700
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 0095984505174402000
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 00959845054493600
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0078489714452900
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 00959845059598450500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00959845059598450500
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00662994986407397400
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 00662994986407397400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0066299498127700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0047991829127700
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 0047991829166375500
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 00479918294459400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0078489714418800
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 00479918294799182900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00479918294799182900
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0066299498124200
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00193519678124200
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 00193519678174412500
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 001935196784508900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0078489714468200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019351967819166419300
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019351967819166419300
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0019351967818977523000
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019351967818976890302319
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001935196781774800
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0066299498118000
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00207185345118000
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 00207185345174628100
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 002071853455514200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0078763475501600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020718534520524193000
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020718534520524193000
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 00958326109583183700
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 0019351967819351890500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00959845059598373200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0019351967819351890500
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 00479918294799105600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0019351967819351890500
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00959845059503958600
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00959845059503958600
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00479918294751943300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00479918294751943300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00479918294751943300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00479918294751943300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0019351967818977523000
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0019351967818977523000
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0020718534520326267800
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0020718534520326267800
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00995275709765105800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00995275709765105800
tb.dut.u_reg.en2addrHit 006715213739783400
tb.dut.u_reg.reAfterRv 006715213739783400
tb.dut.u_reg.rePulse 006715213711310800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097897800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00671521376322700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00971716609617962900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00671521371234800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009717166045900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00671521371280700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00971716601234800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00971716601234800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371234800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00671521379015400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00971716609617962900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00671521371785900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00671521371785700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00971716601786500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00971716601786300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371788800
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 00971716609617962900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00671521374500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00971716604500
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 00971716609617962900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00671521373800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00971716603800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 006715213710105600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00485854364808952700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00671521371234800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004858543645900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00671521371280700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00485854361231600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00485854361234800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371234800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 006715213714426900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00485854364808952700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00671521371785500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00671521371785300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00485854361786400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00485854361785600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371789700
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 00485854364808952700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00671521372700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00485854362700
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 00485854364808952700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00671521372600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00485854362600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00671521374410500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0019598842919205540300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00671521371234800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0019598842945900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00671521371280700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001959884291234800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001959884291234800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371234800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00671521376290500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019598842919205540300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00671521371778500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00671521371778300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001959884291779900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001959884291779800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371781100
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 0019598842919205540300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00671521373200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001959884293200
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 0019598842919205540300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00671521372900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001959884292900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00671521374311300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0020975705720563795500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00671521371234800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0020975705745900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00671521371280700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002097570571234800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002097570571234800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371234800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00671521376263000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020975705720563795500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00671521371800100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00671521371799700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002097570571801500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002097570571801100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371802900
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 0020975705720563795500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00671521372600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002097570572600
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 0020975705720563795500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00671521372600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002097570572600
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 00671521376064500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 001007619619879118000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00671521371184800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010076196145900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00671521371230700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001007619611174500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001007619611190700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371234800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00671521378999800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 001007619619879118000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00671521371772300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00671521376481990500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00671521371769200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001007619611786800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001007619611781800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00671521371800500
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 001007619619879118000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00671521373300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001007619613300
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 001007619619879118000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00671521373400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001007619613400
tb.dut.u_reg.wePulse 006715213728472600
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00662994986407397400
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0066299498111100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0099527570111100
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 0099527570174628700
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 00995275705468600
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0078769295426300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077377300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00995275709859830400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00995275709859830400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00662994985540079057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00662994986394847602319
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020718534520325629802319
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00662994986406745302319
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0019351967818976890302319
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009717166000978
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004858543600978
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019598842900978
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020975705700978
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010076196100978
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00662994986406745302319


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0067152712809680960
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0067152712379037900
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 006715271215265152650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00671527129417594175755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0067152712809680960
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0067152712379037900
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 006715271215265152650
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00671527129417594175755

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