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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total694010
Category 0694010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total694010
Severity 0694010


Summary for Assertions
NUMBERPERCENT
Total Number694100.00
Uncovered152.16
Success67997.84
Failure00.00
Incomplete223.17
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_io_div2_meas.u_meas.MaxWidth_A 00136683880000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012503547000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0068341574000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012503547000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00274512764000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012503547000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00290926322000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012503547000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013791241000976
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006895583300976
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027707055400976
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0029359080300976
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0014106699700976
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00139788084000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012503547000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00584677325671056900
tb.dut.AllClkBypReqKnownO_A 00584677325671056900
tb.dut.CgEnKnownO_A 00584677325671056900
tb.dut.ClocksKownO_A 00584677325671056900
tb.dut.FpvSecCmClkMainAesCountCheck_A 00584677323600
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00584677323100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00584677323300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00584677323200
tb.dut.FpvSecCmRegWeOnehotCheck_A 00584677326000
tb.dut.IoClkBypReqKnownO_A 00584677325671056900
tb.dut.JitterEnableKnownO_A 00584677325671056900
tb.dut.LcCtrlClkBypAckKnownO_A 00584677325671056900
tb.dut.PwrMgrKnownO_A 00584677325671056900
tb.dut.TlAReadyKnownO_A 00584677325671056900
tb.dut.TlDValidKnownO_A 00584677325671056900
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00290926735212300
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00290926735106500
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077177100
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077177100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0013668388015500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0013668388015500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00136683880475500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00136683880284900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 006834157415500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 006834157415500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0068341574475700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0068341574285100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 006834157415500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 006834157415500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 006834157415500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 006834157415500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0027451276415500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0027451276415400
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00274512764476100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00274512764285400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00290926322226900
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00290926322226900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00290926322223400
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00290926322223400
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0029092632214600
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0029092632214600
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00290926322218800
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00290926322218800
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00290926322223400
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00290926322223400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0029092632214600
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0029092632214600
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0013978808414800
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0013978808414800
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00139788084475200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00139788084284500
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0059576302162477800
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00595763021031600
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0059576302941800
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 0059576302949200
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0059576302735700
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00595763021411100
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0059576302742200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00274513161254200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00274513161301700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00136684253249500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00136684253288000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0058467732233100
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0058467732233100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0058467732141100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0058467732141100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0058467732289600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0058467732289600
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00290926735208800
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00290926735109600
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00136684253192600
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00136684253327200
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0068341955181700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0068341955316300
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00274513161192600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00274513161327200
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00290926735204200
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00290926735104800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0058467732506200
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0058467732660800
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0058467732983000
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0058467732502300
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00584677326251761055
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0058467732661400
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00290926735208800
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00290926735108800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 005846773215400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 005846773215400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 005846773214600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 005846773214600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 005846773214800
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 005846773214800
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00584677325664515700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00584677326350500
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00584677325659840602313
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 005846773210644200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00584677325664737600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00584677326128600
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00139788500192400
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00139788500327000
tb.dut.tlul_assert_device.aKnown_A 0059576302682363400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00595763025770388800
tb.dut.tlul_assert_device.aReadyKnown_A 00595763025770388800
tb.dut.tlul_assert_device.dKnown_A 0059576302484272600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00595763025770388800
tb.dut.tlul_assert_device.dReadyKnown_A 00595763025770388800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097697600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0059576895558037800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 005957630287293100
tb.dut.tlul_assert_device.gen_device.contigMask_M 005957689520595200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005957689516383300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 005957630296706800
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0059576895682363400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0059576895484272600
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0059576895682363400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0059576895484272600
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0059576895484272600
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0059576895484272600
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 005957630252252100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 005957630239773800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097697600
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002909263221857400
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0029092632228769798300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002909263221865600
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0029092632228769798300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002909263221864600
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0029092632228769798300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002909263221890100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0029092632228769798300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0029092632228769798300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00584677321105900
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 0058467732964400
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00584677325671056900
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00584677325670466202313
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0058467732139600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00136683880139600
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077177100
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00136683880277115100
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077177100
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001366838804494800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00124840274483800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0013668388013668388000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013668388013668388000
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00584677325671056900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0058467732164400
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0068341574164400
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077177100
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0068341574264553500
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077177100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00683415744447800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00124840274437300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00683415746834157400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00683415746834157400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0058467732159600
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00274512764159600
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077177100
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00274512764277124900
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077177100
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002745127644539300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00124840274527400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0027451276427296670500
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027451276427296670500
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0027451276427141959400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027451276427141387202313
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002745127641587600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0058467732145900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00290926322145900
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077177100
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00290926322277312800
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077177100
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002909263225349400
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00124983515349400
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0029092632228931442400
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0029092632228931442400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077177100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown0 0013648382013648304900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.gen_div2.u_step_down_mux.gen_generic.u_impl_generic.selKnown1 0027451276427451199300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0013668388013668310900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0027451276427451199300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077177100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00683415746834080300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0027451276427451199300
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0013668388013590993800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0013668388013590993800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00683415746795464900
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00683415746795464900
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00683415746795464900
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00683415746795464900
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0027451276427141959400
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0027451276427141959400
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0029092632228769798300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0029092632228769798300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0013978808413823864100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0013978808413823864100
tb.dut.u_reg.en2addrHit 005957630240269900
tb.dut.u_reg.reAfterRv 005957630240269900
tb.dut.u_reg.rePulse 005957630211887400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097697600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00595763025497000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0013791241013708831100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00595763021228100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0013791241055500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00595763021283600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001379124101228100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001379124101228100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021228100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00595763029097700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013791241013708831100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00595763021817100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00595763021816900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001379124101817900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001379124101817500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021821000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0013791241013708831100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00595763023200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001379124103200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0013791241013708831100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00595763024000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001379124104000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00595763028483000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00689558336854387700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00595763021228100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 006895583355500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00595763021283600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00689558331224700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00689558331228100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021228100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 005957630214547100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00689558336854387700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00595763021827900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00595763021827900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00689558331828600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00689558331827900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021832900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00689558336854387700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00595763023600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00689558333600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00689558336854387700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00595763023800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00689558333800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00595763024021000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0027707055427377637000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00595763021228100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0027707055455500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00595763021283600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002770705541228100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002770705541228100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021228100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00595763026466000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0027707055427377637000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00595763021821800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00595763021821400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002770705541823300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002770705541823000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021824900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0027707055427377637000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00595763023400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002770705543400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0027707055427377637000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00595763023400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002770705543400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00595763023958200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0029359080329015305900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00595763021228100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0029359080355500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00595763021283600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002935908031228100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002935908031228100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021228100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00595763026281400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0029359080329015305900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00595763021818100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00595763021817900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002935908031818700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002935908031818400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021819900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0029359080329015305900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00595763023000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002935908033000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0029359080329015305900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00595763023400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002935908033400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097697600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097697600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097697600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097697600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097697600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097697600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097697600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00595763025309700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0014106699713941709000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00595763021184800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0014106699755500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00595763021240300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001410669971173200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001410669971190700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021228100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00595763028931800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0014106699713941709000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00595763021789100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00595763025770388800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00595763021786100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001410669971800800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001410669971798600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00595763021814800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0014106699713941709000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00595763023100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001410669973100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097697600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0014106699713941709000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00595763022900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001410669972900
tb.dut.u_reg.wePulse 005957630228382500
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00584677325671056900
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0058467732130000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00139788084130000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077177100
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00139788084277318800
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077177100
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001397880845308000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00124989395308100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077177100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0013978808413901455600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013978808413901455600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00584677326251761055
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00584677325659840602313
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0029092632228769220402313
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00584677325670466202313
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027451276427141387202313
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013791241000976
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006895583300976
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0027707055400976
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0029359080300976
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0014106699700976
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00584677325670466202313


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0059576895786078600
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0059576895293829380
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 005957689512786127860
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00595768958727887278755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0059576895786078600
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0059576895293829380
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 005957689512786127860
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00595768958727887278755

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