Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total682010
Category 0682010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total682010
Severity 0682010


Summary for Assertions
NUMBERPERCENT
Total Number682100.00
Uncovered152.20
Success66797.80
Failure00.00
Incomplete223.23
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 00212124502000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0016905009000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00106061712000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0016905009000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00424349292000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0016905009000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00452153794000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0016905009000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021327135800959
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010663514500959
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0042675321100959
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0045465798400959
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021828093100959
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00217078936000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0016905009000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0014721123014635840900
tb.dut.AllClkBypReqKnownO_A 0014721123014635840900
tb.dut.CgEnKnownO_A 0014721123014635840900
tb.dut.ClocksKownO_A 0014721123014635840900
tb.dut.FpvSecCmClkMainAesCountCheck_A 001472112303900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001472112303900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001472112304000
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001472112304000
tb.dut.FpvSecCmRegWeOnehotCheck_A 001472112309000
tb.dut.IoClkBypReqKnownO_A 0014721123014635840900
tb.dut.JitterEnableKnownO_A 0014721123014635840900
tb.dut.LcCtrlClkBypAckKnownO_A 0014721123014635840900
tb.dut.PwrMgrKnownO_A 0014721123014635840900
tb.dut.TlAReadyKnownO_A 0014721123014635840900
tb.dut.TlDValidKnownO_A 0014721123014635840900
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00452154199373500
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00452154199188500
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0075475400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0075475400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0021212450214900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0021212450214900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00212124502631900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00212124502452100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0010606171214900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0010606171214900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00106061712595700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00106061712415900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0010606171214900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0010606171214900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0010606171214900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0010606171214900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0042434929214900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0042434929214500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00424349292648600
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00424349292468500
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00452153794388700
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00452153794388500
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00452153794390000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00452153794389900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0045215379415200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0045215379414900
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00452153794389200
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00452153794389100
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00452153794384700
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00452153794384500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0045215379415200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0045215379414900
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00217078936631200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00217078936451200
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00148209772454492300
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001482097726054100
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001482097725459800
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001482097726324500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001482097725117700
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001482097727160600
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001482097725831900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00424349679381800
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00424349679452300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00212124898374500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00212124898427300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00147211230355000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00147211230355100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00147211230208300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00147211230208400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00147211230452300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00147211230452200
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00452154199374800
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00452154199190600
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00212124898294600
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00212124898294600
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00106062092274000
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00106062092273900
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00424349679302300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00424349679302200
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00452154199374000
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00452154199187600
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001472112301065500
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001472112301451000
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001472112302208600
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001472112301053700
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014721123016297488057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001472112301457700
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00452154199369500
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00452154199186100
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0014721123014500
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0014721123014500
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0014721123014800
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0014721123014800
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0014721123014300
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0014721123014300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0014721123014624103500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0014721123011557000
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014721123014616709802262
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0014721123018589900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0014721123014624859800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0014721123010800700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00217079322296600
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00217079322296500
tb.dut.tlul_assert_device.aKnown_A 001482097721823493000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0014820977214722595700
tb.dut.tlul_assert_device.aReadyKnown_A 0014820977214722595700
tb.dut.tlul_assert_device.dKnown_A 001482097722255053500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0014820977214722595700
tb.dut.tlul_assert_device.dReadyKnown_A 0014820977214722595700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0095995900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001482103711502188100
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00148209772244244900
tb.dut.tlul_assert_device.gen_device.contigMask_M 0014821037119868500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0014821037112637700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00148209772270622000
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001482103711823496400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001482103712255057000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001482103711823496400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001482103712255057000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001482103712255057000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001482103712255057000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00148209772146011200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00148209772110855100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0095995900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004521537942982100
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045215379445080654900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004521537942967100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045215379445080654900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004521537942959700
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045215379445080654900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004521537942989400
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0045215379445080654900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045215379445080654900
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001472112301695300
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001472112301515600
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0014721123014635840900
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00147211230296200
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00212124502296200
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0075475400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00212124502374661800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075475400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002121245028931300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00167802348842700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021212450221212450200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021212450221212450200
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014721123014635840900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00147211230279000
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00106061712279000
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0075475400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00106061712357563800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075475400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001060617128819000
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00167802348731700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010606171210606171200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010606171210606171200
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00147211230298100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00424349292298100
tb.dut.u_io_meas.u_meas.RefCntVal_A 0075475400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00424349292374673700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075475400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 004243492928992200
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00167802348902900
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0042434929242374177700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042434929242374177700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0042434929242311177800
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042434929242310636602262
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004243492922406900
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00147211230284400
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00452153794284400
tb.dut.u_main_meas.u_meas.RefCntVal_A 0075475400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00452153794375064300
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075475400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0045215379410714900
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001682214410585500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0045215379445147891300
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045215379445147891300
tb.dut.u_no_scan_io_div2_div.DivEven_A 0075475400
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0021187132221187056800
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown1 0042434929242434853800
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0021212450221212374800
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0042434929242434853800
tb.dut.u_no_scan_io_div4_div.DivEven_A 0075475400
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010606171210606095800
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0042434929242434853800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0021212450221180906900
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0021212450221180906900
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0010606171210590404600
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0010606171210590404600
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0010606171210590404600
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0010606171210590404600
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0042434929242311177800
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0042434929242311177800
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0045215379445080654900
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0045215379445080654900
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0021707893621642350800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0021707893621642350800
tb.dut.u_reg.en2addrHit 0014820977274241200
tb.dut.u_reg.reAfterRv 0014820977274240900
tb.dut.u_reg.rePulse 0014820977217575600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0095995900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0014820977211880800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0021327135821290015300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001482097722265600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00213271358109400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001482097722375000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002132713582265600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002132713582265600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722265600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014820977214512700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021327135821290015300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001482097722737900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001482097722737400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002132713582738600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002132713582738400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722741600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001482097724800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002132713584800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001482097725100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002132713585100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0014820977219210700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0010663514510644967700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001482097722265600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00106635145109400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001482097722375000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001066351452265500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001066351452265600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722265600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014820977223713600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010663514510644967700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001482097722747800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001482097722747500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001066351452748000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001066351452747900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722752900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001482097725700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001066351455700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001482097725200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001066351455200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001482097728284600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0042675321142529404900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001482097722266000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00426753211109500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001482097722375500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004267532112266000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004267532112266000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722266000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014820977210165900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0042675321142529404900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001482097722747000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001482097722746200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004267532112747900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004267532112747800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722749200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001482097724500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004267532114500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001482097724600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004267532114600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001482097728209600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0045465798445307983400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001482097722265400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00454657984109400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001482097722374800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004546579842265400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004546579842265500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722265500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014820977210064600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0045465798445307983400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001482097722746800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001482097722746600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004546579842747800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004546579842747600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722749500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001482097724300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004546579844300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001482097724900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004546579844900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0095995900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0095995900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0095995900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0095995900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0095995900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0095995900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0095995900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0014820977211954800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0021828093121751470500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001482097722265400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00218280931109400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001482097722374800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002182809312265400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002182809312265400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722265400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014820977214600400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021828093121751470500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001482097722740200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014820977214722595700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001482097722739800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002182809312741100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002182809312740900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001482097722743000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001482097725000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002182809315000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0095995900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001482097725100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002182809315100
tb.dut.u_reg.wePulse 0014820977256665300
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0014721123014635840900
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00147211230257000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00217078936257000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0075475400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00217078936375055000
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075475400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0021707893610571500
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001683850810511400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075475400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021707893621675435900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021707893621675435900

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014721123016297488057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014721123014616709802262
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045215379445080113702262
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042434929242310636602262
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021327135800959
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010663514500959
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0042675321100959
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0045465798400959
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021828093100959
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014721123014635299702262


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00148210371734973490
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00148210371263726370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014821037117966179660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001482103716858168581705

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00148210371734973490
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00148210371263726370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014821037117966179660
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001482103716858168581705

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