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 00111800817000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007146438000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0055900042000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007146438000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00225073845000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007146438000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00240015796000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007146438000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011327609100977
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005663769300977
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022811787500977
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0024318678700977
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011676756200977
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00115245515000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007146438000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00702811616811134700
tb.dut.AllClkBypReqKnownO_A 00702811616811134700
tb.dut.CgEnKnownO_A 00702811616811134700
tb.dut.ClocksKownO_A 00702811616811134700
tb.dut.FpvSecCmClkMainAesCountCheck_A 00702811613600
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00702811613600
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00702811613400
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00702811613800
tb.dut.FpvSecCmRegWeOnehotCheck_A 00702811617000
tb.dut.IoClkBypReqKnownO_A 00702811616811134700
tb.dut.JitterEnableKnownO_A 00702811616811134700
tb.dut.LcCtrlClkBypAckKnownO_A 00702811616811134700
tb.dut.PwrMgrKnownO_A 00702811616811134700
tb.dut.TlAReadyKnownO_A 00702811616811134700
tb.dut.TlDValidKnownO_A 00702811616811134700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00240016220204400
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00240016220110100
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077277200
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077277200
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0011180081715400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0011180081715400
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00111800817490800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00111800817284000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005590004215400
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005590004215400
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0055900042486200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0055900042279400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005590004215400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005590004215400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005590004215400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005590004215400
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0022507384515400
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0022507384515100
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00225073845488100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00225073845281000
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00240015796218700
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00240015796218700
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00240015796226100
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00240015796226100
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0024001579614300
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0024001579614300
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00240015796216400
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00240015796216400
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00240015796216500
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00240015796216500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0024001579614300
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0024001579614300
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0011524551514100
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0011524551514100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00115245515485900
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00115245515278700
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0071256824180363800
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00712568241942100
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00712568241734100
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00712568242149900
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00712568241652400
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00712568242500400
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00712568241740200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00225074271271400
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00225074271326400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00111801211266100
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00111801211311700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0070281161260000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0070281161260000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0070281161154900
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0070281161154900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0070281161320100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0070281161320100
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00240016220211800
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00240016220114500
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00111801211186300
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00111801211339100
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0055900434173600
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0055900434326400
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00225074271181800
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00225074271334800
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00240016220202100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00240016220110300
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0070281161633300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0070281161866000
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00702811611306000
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0070281161617200
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007028116110009526056
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0070281161863500
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00240016220202200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00240016220111000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007028116115000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007028116115000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007028116114300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007028116114300
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007028116114100
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007028116114100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00702811616803434700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00702811617492800
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00702811616798210102316
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007028116112303000
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00702811616804075600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00702811616851900
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00115245911182000
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00115245911335100
tb.dut.tlul_assert_device.aKnown_A 0071256824749570900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00712568246897528300
tb.dut.tlul_assert_device.aReadyKnown_A 00712568246897528300
tb.dut.tlul_assert_device.dKnown_A 0071256824773308500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00712568246897528300
tb.dut.tlul_assert_device.dReadyKnown_A 00712568246897528300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097797700
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0071257431614054300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 007125682497345400
tb.dut.tlul_assert_device.gen_device.contigMask_M 007125743121364500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007125743114093400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0071256824107754200
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0071257431749570900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0071257431773308500
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0071257431749570900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0071257431773308500
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0071257431773308500
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0071257431773308500
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007125682458045700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007125682443904300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097797700
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002400157961871300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024001579623620114600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002400157961896300
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024001579623620114600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002400157961868300
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024001579623620114600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002400157961882200
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0024001579623620114600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024001579623620114600
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00702811611230900
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00702811611074100
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00702811616811134700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00702811616810492402316
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0070281161146800
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00111800817146800
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077277200
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00111800817158005100
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077277200
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001118008174932800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071123614868800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0011180081711180081700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0011180081711180081700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00702811616811134700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0070281161146700
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0055900042146700
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077277200
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0055900042150855100
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077277200
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00559000424886500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071123614823200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00559000425590004200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00559000425590004200
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0070281161160500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00225073845160500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077277200
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00225073845158015000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077277200
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002250738454951900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071123614887200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0022507384522325478400
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022507384522325478400
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0022507384522142859400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022507384522142237702316
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002250738451763600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0070281161152200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00240015796152200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077277200
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00240015796158227900
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077277200
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002400157965919200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071376565880900
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0024001579623811592400
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024001579623811592400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077277200
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 0011162788911162711700
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 0022507384522507307300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0011180081711180004500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0022507384522507307300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077277200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00559000425589927000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0022507384522507307300
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0011180081711088730100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0011180081711088730100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00559000425544334600
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00559000425544334600
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00559000425544334600
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00559000425544334600
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0022507384522142859400
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0022507384522142859400
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0024001579623620114600
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0024001579623620114600
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0011524551511341417900
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0011524551511341417900
tb.dut.u_reg.en2addrHit 007125682442876700
tb.dut.u_reg.reAfterRv 007125682442876700
tb.dut.u_reg.rePulse 007125682412081700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097797700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00712568246996100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0011327609111231505500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712568241381700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0011327609165900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712568241447600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001132760911381300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001132760911381700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241381700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007125682410068900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0011327609111231505500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712568241945700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712568241945600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001132760911946100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001132760911945900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241948800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0011327609111231505500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712568243600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001132760913600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0011327609111231505500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712568243500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001132760913500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007125682411090500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00566376935615726700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712568241381700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005663769365900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712568241447600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00566376931377200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00566376931381700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241381700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007125682416179400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00566376935615726700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712568241954700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712568241954300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00566376931955400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00566376931954800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241958900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00566376935615726700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712568244100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00566376934100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00566376935615726700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712568243400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00566376933400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00712568244851300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0022811787522428412400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712568241381700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0022811787565900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712568241447600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002281178751381700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002281178751381700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241381700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712568247042100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0022811787522428412400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712568241956100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712568241955800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002281178751957700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002281178751956900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241959200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0022811787522428412400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712568244300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002281178754300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0022811787522428412400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712568244500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002281178754500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00712568244747800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0024318678723917581200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712568241381700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0024318678765900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712568241447600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002431867871381700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002431867871381700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241381700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712568246890600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0024318678723917581200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712568241955600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712568241955600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002431867871956700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002431867871956400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241957700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0024318678723917581200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712568242600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002431867872600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0024318678723917581200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712568243200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002431867873200
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097797700
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097797700
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097797700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097797700
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097797700
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097797700
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097797700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00712568246744500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0011676756211484203700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712568241330700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0011676756265900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712568241396600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001167675621317500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001167675621335300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241381700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712568249996300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0011676756211484203700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712568241915300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712568246897528300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712568241913000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001167675621934300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001167675621931900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712568241949900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0011676756211484203700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712568244000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001167675624000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097797700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0011676756211484203700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712568243700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001167675623700
tb.dut.u_reg.wePulse 007125682430795000
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00702811616811134700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0070281161142700
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00115245515142700
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077277200
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00115245515158227900
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077277200
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001152455155869700
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071407145869700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077277200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0011524551511433373200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0011524551511433373200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007028116110009526056
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00702811616798210102316
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024001579623619485402316
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00702811616810492402316
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0022507384522142237702316
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011327609100977
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005663769300977
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022811787500977
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0024318678700977
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011676756200977
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702811616810492402316


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0071257431812581250
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0071257431260726070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007125743111280112800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00712574319307293072755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0071257431812581250
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0071257431260726070
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007125743111280112800
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00712574319307293072755

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