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 00181346174000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011609236000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0090672471000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011609236000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00364424552000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011609236000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00388844616000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011609236000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00182612218001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0091305474001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00367044502001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00391573830001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00187999598001009
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00186689589000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011609236000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0015123683514824451100
tb.dut.AllClkBypReqKnownO_A 0015123683514824451100
tb.dut.CgEnKnownO_A 0015123683514824451100
tb.dut.ClocksKownO_A 0015123683514824451100
tb.dut.FpvSecCmClkMainAesCountCheck_A 001512368352000
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001512368351900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001512368352000
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001512368352000
tb.dut.FpvSecCmRegWeOnehotCheck_A 001512368357000
tb.dut.IoClkBypReqKnownO_A 0015123683514824451100
tb.dut.JitterEnableKnownO_A 0015123683514824451100
tb.dut.LcCtrlClkBypAckKnownO_A 0015123683514824451100
tb.dut.PwrMgrKnownO_A 0015123683514824451100
tb.dut.TlAReadyKnownO_A 0015123683514824451100
tb.dut.TlDValidKnownO_A 0015123683514824451100
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00388845038391400
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00388845038204000
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080480400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0018134617414600
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0018134617414600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00181346174757400
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00181346174530900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 009067247114600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 009067247114600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0090672471749300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0090672471522800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 009067247114600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 009067247114600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 009067247114600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 009067247114600
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0036442455214600
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0036442455213900
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00364424552755600
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00364424552528400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00388844616404900
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00388844616404800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00388844616405900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00388844616405800
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0038884461613500
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0038884461613400
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00388844616401600
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00388844616401500
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00388844616404300
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00388844616404200
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0038884461613500
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0038884461613400
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0018668958913700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0018668958913600
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00186689589754300
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00186689589526800
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00152171262477700400
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001521712623585700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001521712623146100
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001521712624140100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001521712623057600
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001521712624823700
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001521712623417400
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00364425001442500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00364425001526800
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00181346572432500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00181346572493800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00151236835408600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00151236835408600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00151236835242600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00151236835242600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00151236835519200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00151236835519100
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00388845038392400
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00388845038205200
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00181346572351900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00181346572516100
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0090672879325600
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0090672879489800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00364425001349700
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00364425001514400
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00388845038388100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00388845038198400
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001512368351128200
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001512368351563800
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001512368352423100
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001512368351092400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0015123683520709952057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001512368351571000
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00388845038390800
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00388845038199300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 0015123683513600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 0015123683513600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 0015123683513400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 0015123683513400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 0015123683513600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 0015123683513600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0015123683514811374400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0015123683512849200
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0015123683514802867702412
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0015123683520900900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0015123683514811802200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0015123683512421400
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00186690008347800
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00186690008512500
tb.dut.tlul_assert_device.aKnown_A 001521712621860772700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0015217126214908411300
tb.dut.tlul_assert_device.aReadyKnown_A 0015217126214908411300
tb.dut.tlul_assert_device.dKnown_A 001521712621768599800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0015217126214908411300
tb.dut.tlul_assert_device.dReadyKnown_A 0015217126214908411300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001521718841533816000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00152171262257619400
tb.dut.tlul_assert_device.gen_device.contigMask_M 0015217188420925800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0015217188415639400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00152171262284677500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001521718841860772700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001521718841768599800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001521718841860772700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001521718841768599800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001521718841768599800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001521718841768599800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00152171262153832500
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00152171262117592700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001009100900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003888446163256200
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038884461638414348700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003888446163220400
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038884461638414348700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003888446163230400
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038884461638414348700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003888446163257800
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0038884461638414348700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038884461638414348700
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001512368351931900
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001512368351708900
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0015123683514824451100
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00151236835274000
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00181346174274000
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00181346174256926200
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001813461748281000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00110546768146500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0018134617418134617400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0018134617418134617400
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0015123683514824451100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00151236835291600
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0090672471291600
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0090672471245012500
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00906724718194700
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00110546768060800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00906724719067247100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00906724719067247100
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00151236835295800
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00364424552295800
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00364424552256937900
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003644245528341000
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00110546768206200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0036442455236217719200
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0036442455236217719200
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0036442455235997206200
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0036442455235996523602412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003644245522767000
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00151236835279600
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00388844616279600
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00388844616257290400
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 003888446169922200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00115780439894300
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0038884461638648597100
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0038884461638648597100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080480400
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 0018108915818108835400
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 0036442455236442374800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0018134617418134537000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0036442455236442374800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080480400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00906724719067166700
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0036442455236442374800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0018134617418024316400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0018134617418024316400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00906724719012102000
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00906724719012102000
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00906724719012102000
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00906724719012102000
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0036442455235997206200
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0036442455235997206200
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0038884461638414348700
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0038884461638414348700
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0018668958918443666000
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0018668958918443666000
tb.dut.u_reg.en2addrHit 0015217126277617200
tb.dut.u_reg.reAfterRv 0015217126277617200
tb.dut.u_reg.rePulse 0015217126218744900
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0015217126212888700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0018261221818146425900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001521712622307100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00182612218109400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001521712622416500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001826122182306600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001826122182307100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622307100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015217126216037600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018261221818146425900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001521712622893400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001521712622893400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001826122182893700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001826122182893600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622895900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0018261221818146425900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001521712622400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001826122182400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0018261221818146425900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001521712622900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001826122182900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0015217126221001100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00913054749073159700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001521712622307100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0091305474109400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001521712622416500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00913054742300700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00913054742307100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622307100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015217126226151900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00913054749073159700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001521712622890600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001521712622890300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00913054742891100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00913054742891000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622893300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00913054749073159700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001521712622400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00913054742400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00913054749073159700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001521712622200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00913054742200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001521712628853200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0036704450236241431800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001521712622307100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00367044502109400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001521712622416500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003670445022307100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003670445022307100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622307100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015217126211041900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0036704450236241431800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001521712622899100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001521712622898900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003670445022900000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003670445022899700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622901100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0036704450236241431800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001521712622400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003670445022400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0036704450236241431800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001521712622100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003670445022100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001521712628509900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0039157383038668761700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001521712622307100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00391573830109400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001521712622416500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003915738302307100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003915738302307100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622307100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015217126210705400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0039157383038668761700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001521712622901600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001521712622901500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003915738302902600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003915738302902400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622903400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0039157383038668761700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001521712623500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003915738303500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0039157383038668761700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001521712624500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003915738304500
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001009100900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001009100900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0015217126212659000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0018799959818565787000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001521712622257100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00187999598109400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001521712622366500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001879995982239600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001879995982260500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622307100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015217126215986300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018799959818565787000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001521712622859200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015217126214908411300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001521712622856100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001879995982868700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001879995982865800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001521712622888800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0018799959818565787000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001521712623400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001879995983400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0018799959818565787000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001521712623200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001879995983200
tb.dut.u_reg.wePulse 0015217126258872300
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0015123683514824451100
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00151236835287400
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00186689589287400
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00186689589257285000
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001866895899834800
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00115762199797500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0018668958918555807400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0018668958918555807400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0015123683520709952057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0015123683514802867702412
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0038884461638413658002412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0036442455235996523602412
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00182612218001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0091305474001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00367044502001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00391573830001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00187999598001009
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015123683514823751302412


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00152171884807280720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00152171884305830580
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0015217188411566115660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001521718849267692676756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00152171884807280720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00152171884305830580
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0015217188411566115660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001521718849267692676756

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