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 00267369475000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0024453666000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00133684117000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0024453666000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00533392165000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0024453666000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00566749171000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0024453666000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026866993000960
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013433433300960
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0053609540700960
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0056956516400960
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027341208700960
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00272060459000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0024453666000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0018090915218016955600
tb.dut.AllClkBypReqKnownO_A 0018090915218016955600
tb.dut.CgEnKnownO_A 0018090915218016955600
tb.dut.ClocksKownO_A 0018090915218016955600
tb.dut.FpvSecCmClkMainAesCountCheck_A 001809091522900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001809091522800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001809091522700
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001809091522900
tb.dut.FpvSecCmRegWeOnehotCheck_A 001809091528000
tb.dut.IoClkBypReqKnownO_A 0018090915218016955600
tb.dut.JitterEnableKnownO_A 0018090915218016955600
tb.dut.LcCtrlClkBypAckKnownO_A 0018090915218016955600
tb.dut.PwrMgrKnownO_A 0018090915218016955600
tb.dut.TlAReadyKnownO_A 0018090915218016955600
tb.dut.TlDValidKnownO_A 0018090915218016955600
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00566749567404200
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00566749567206600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0075575500
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0075575500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0026736947514100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0026736947514100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00267369475761800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00267369475579600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0013368411714100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0013368411714100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00133684117707900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00133684117526000
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0013368411714100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0013368411714100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0013368411714100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0013368411714100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0053339216514100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0053339216513500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00533392165781200
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00533392165598700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00566749171417000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00566749171417200
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00566749171420000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00566749171420300
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0056674917112800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0056674917112800
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00566749171412500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00566749171412900
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00566749171416400
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00566749171416700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0056674917112800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0056674917112800
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00272060459751000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00272060459568300
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00181905536618698700
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001819055363487200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001819055363112800
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001819055363910100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001819055363007800
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001819055364500000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001819055363315500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00533392590457800
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00533392590546400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00267369867446900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00267369867515000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00180909152430600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00180909152430700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00180909152262300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00180909152262300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00180909152534900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00180909152535000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00566749567407200
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00566749567207800
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00267369867372000
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00267369867372000
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00133684495343900
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00133684495343800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00533392590384300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00533392590384100
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00566749567399700
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00566749567204200
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001809091521231100
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001809091521705400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001809091522612800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001809091521227100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0018090915219120677058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001809091521712900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00566749567403600
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00566749567204700
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0018090915213400
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0018090915213400
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0018090915212700
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0018090915212700
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0018090915213300
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0018090915213300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0018090915218003729900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0018090915213042800
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0018090915217995720702265
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0018090915220686200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0018090915218004848000
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0018090915211924700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00272060857375700
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00272060857375700
tb.dut.tlul_assert_device.aKnown_A 001819055362339332500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0018190553618105161000
tb.dut.tlul_assert_device.aReadyKnown_A 0018190553618105161000
tb.dut.tlul_assert_device.dKnown_A 001819055362067429000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0018190553618105161000
tb.dut.tlul_assert_device.dReadyKnown_A 0018190553618105161000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0096096000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001819061511930821200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00181905536334231600
tb.dut.tlul_assert_device.gen_device.contigMask_M 0018190615118931500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0018190615112165000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00181905536369476500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001819061512339336600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001819061512067431700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001819061512339336600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001819061512067431700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001819061512067431700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001819061512067431700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00181905536199866500
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00181905536151940900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0096096000
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005667491713376500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056674917156541977500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005667491713407800
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056674917156541977500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005667491713390300
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056674917156541977500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005667491713362000
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0056674917156541977500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056674917156541977500
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001809091522023300
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001809091521781000
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0018090915218016955600
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00180909152307000
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00267369475307000
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0075575500
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00267369475542317600
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075575500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002673694759782700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00242628619716000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0026736947526736947500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0026736947526736947500
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0018090915218016955600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00180909152295100
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00133684117295100
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0075575500
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00133684117516691700
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075575500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001336841179700500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00242628619633900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0013368411713368411700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013368411713368411700
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00180909152330100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00533392165330100
tb.dut.u_io_meas.u_meas.RefCntVal_A 0075575500
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00533392165542329400
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075575500
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 005333921659819500
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00242628619752800
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0053339216553282620300
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0053339216553282620300
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0053339216553219482200
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0053339216553218933502265
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005333921652858600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00180909152285200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00566749171285200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0075575500
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00566749171542758200
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075575500
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0056674917111808100
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 002437532811777000
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0056674917156611866600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0056674917156611866600
tb.dut.u_no_scan_io_div2_div.DivEven_A 0075575500
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0026641355826641280300
tb.dut.u_no_scan_io_div2_div.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown1 0053339216553339141000
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0026736947526736872000
tb.dut.u_no_scan_io_div2_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0053339216553339141000
tb.dut.u_no_scan_io_div4_div.DivEven_A 0075575500
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0013368411713368336200
tb.dut.u_no_scan_io_div4_div.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0053339216553339141000
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0026736947526705333000
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0026736947526705333000
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0013368411713352609500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0013368411713352609500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0013368411713352609500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0013368411713352609500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0053339216553219482200
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0053339216553219482200
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0056674917156541977500
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0056674917156541977500
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0027206045927141807200
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0027206045927141807200
tb.dut.u_reg.en2addrHit 0018190553689237800
tb.dut.u_reg.reAfterRv 0018190553689237400
tb.dut.u_reg.rePulse 0018190553620031200
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0096096000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0018190553613427800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0026866993026830321000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001819055362550900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00268669930125900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001819055362676800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002686699302550800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002686699302550900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055362550900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018190553616228800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0026866993026830321000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001819055363063700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001819055363063600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002686699303065000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002686699303064600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055363067500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001819055364800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002686699304800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001819055364300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002686699304300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0018190553621649800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0013433433313415107100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001819055362550600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00134334333125900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001819055362676500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001343343332550600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001343343332550600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055362550600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018190553626274000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013433433313415107100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001819055363065800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001819055363065400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001343343333066800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001343343333066100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055363069000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001819055363500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001343343333500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001819055364100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001343343334100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001819055369224700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0053609540753469461800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001819055362551000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00536095407125900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001819055362676900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 005360954072551000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 005360954072551000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055362551000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018190553611168200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0053609540753469461800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001819055363072200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001819055363071700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 005360954073074200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 005360954073073900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055363075200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001819055364200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 005360954074200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001819055363700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 005360954073700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001819055369250600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0056956516456802382100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001819055362550500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00569565164125900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001819055362676400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 005695651642550500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 005695651642550500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055362550500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018190553611183500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0056956516456802382100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001819055363070900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001819055363070900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 005695651643072800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 005695651643072300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055363074100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001819055363800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 005695651643800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001819055363700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 005695651643700
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0096096000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0096096000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0096096000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0096096000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0096096000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0096096000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0096096000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0018190553613519000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0027341208727266800700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001819055362550400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00273412087125900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001819055362676300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002734120872550400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002734120872550400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055362550400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018190553616328000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0027341208727266800700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001819055363067200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018190553618105161000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001819055363066900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002734120873068600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002734120873068100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001819055363071700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001819055364200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002734120874200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096096000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001819055363500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002734120873500
tb.dut.u_reg.wePulse 0018190553669206200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0018090915218016955600
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00180909152300800
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00272060459300800
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0075575500
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00272060459542753300
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075575500
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0027206045911717500
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 002443880511697500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075575500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0027206045927175499200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027206045927175499200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0018090915219120677058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0018090915217995720702265
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0056674917156541428802265
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0053339216553218933502265
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026866993000960
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013433433300960
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0053609540700960
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0056956516400960
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027341208700960
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018090915218016406302265


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00181906151728172810
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00181906151334133410
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0018190615113525135250
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001819061518402984029705

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00181906151728172810
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00181906151334133410
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0018190615113525135250
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001819061518402984029705

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