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 00161627409000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014142307000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0080813395000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014142307000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00324680234000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014142307000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00342961644000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014142307000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016304649700974
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008152292400974
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0032761157900974
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034601524100974
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016611516600974
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00164649457000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014142307000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00600556705790230400
tb.dut.AllClkBypReqKnownO_A 00600556705790230400
tb.dut.CgEnKnownO_A 00600556705790230400
tb.dut.ClocksKownO_A 00600556705790230400
tb.dut.FpvSecCmClkMainAesCountCheck_A 00600556707000
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00600556707100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00600556706800
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00600556707000
tb.dut.FpvSecCmRegWeOnehotCheck_A 00600556708000
tb.dut.IoClkBypReqKnownO_A 00600556705790230400
tb.dut.JitterEnableKnownO_A 00600556705790230400
tb.dut.LcCtrlClkBypAckKnownO_A 00600556705790230400
tb.dut.PwrMgrKnownO_A 00600556705790230400
tb.dut.TlAReadyKnownO_A 00600556705790230400
tb.dut.TlDValidKnownO_A 00600556705790230400
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00342962069178000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0034296206995100
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0076976900
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0076976900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0016162740915500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0016162740915500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00161627409471800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00161627409261500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 008081339515500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 008081339515500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0080813395469400
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0080813395259100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 008081339515500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 008081339515500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 008081339515500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 008081339515500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0032468023415500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0032468023415500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00324680234475600
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00324680234265300
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00342961644192300
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00342961644192300
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00342961644197000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00342961644197000
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0034296164414300
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0034296164414300
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00342961644193200
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00342961644193200
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00342961644198700
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00342961644198700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0034296164414300
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0034296164414300
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0016464945714700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0016464945714700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00164649457471700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00164649457261400
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0060995957124976700
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00609959572018400
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00609959571912200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00609959572100400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00609959571619600
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00609959572573200
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00609959571828900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00324680670233600
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00324680670279400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00161627806228900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00161627806264300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0060055670221700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0060055670221700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0060055670136000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0060055670136000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0060055670272900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0060055670272900
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00342962069182700
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0034296206996400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00161627806177200
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00161627806336000
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0080813793170700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0080813793329500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00324680670181500
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00324680670340300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00342962069178900
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0034296206993500
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0060055670469000
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0060055670620900
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0060055670923600
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0060055670464500
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00600556706612286059
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0060055670619000
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00342962069184400
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0034296206999500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 006005567015500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 006005567015500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 006005567014300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 006005567014300
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 006005567014700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 006005567014700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00600556705783515400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00600556706504700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00600556705779012902307
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 006005567010586600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00600556705784012500
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00600556706007600
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00164649837178900
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00164649837337700
tb.dut.tlul_assert_device.aKnown_A 0060995957535172800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00609959575874226600
tb.dut.tlul_assert_device.aReadyKnown_A 00609959575874226600
tb.dut.tlul_assert_device.dKnown_A 0060995957639591700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00609959575874226600
tb.dut.tlul_assert_device.dReadyKnown_A 00609959575874226600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097497400
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0060996550436433800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 006099595767642900
tb.dut.tlul_assert_device.gen_device.contigMask_M 006099655021911500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 006099655015092300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 006099595774953900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0060996550535172800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0060996550639591700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0060996550535172800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0060996550639591700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0060996550639591700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0060996550639591700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 006099595740634400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 006099595731178100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097497400
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003429616441667400
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034296164433909990200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003429616441674300
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034296164433909990200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003429616441688900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034296164433909990200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003429616441684400
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0034296164433909990200
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034296164433909990200
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00600556701067000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 0060055670922500
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00600556705790230400
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00600556705789581202307
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0060055670158400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00161627409158400
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0076976900
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00161627409313507400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0076976900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001616274094259100
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00141243974247900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0016162740916162740900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0016162740916162740900
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00600556705790230400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0060055670145600
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0080813395145600
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0076976900
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0080813395298996300
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0076976900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00808133954184500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00141243974173600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00808133958081339500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00808133958081339500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0060055670144500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00324680234144500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0076976900
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00324680234313517200
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0076976900
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003246802344337500
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00141243974326200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0032468023432283892200
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0032468023432283892200
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0032468023432097411000
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0032468023432096780002307
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003246802341523100
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0060055670135200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00342961644135200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0076976900
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00342961644313701200
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0076976900
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 003429616445039000
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00141375555039000
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0034296164434104356400
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0034296164434104356400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0076976900
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 0016141997416141920500
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 0032468023432467946500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0016162740916162664000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0032468023432467946500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0076976900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00808133958081262600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0032468023432467946500
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0016162740916069456100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0016162740916069456100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00808133958034703900
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00808133958034703900
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00808133958034703900
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00808133958034703900
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0032468023432097411000
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0032468023432097411000
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0034296164433909990200
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0034296164433909990200
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0016464945716279593800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0016464945716279593800
tb.dut.u_reg.en2addrHit 006099595736245500
tb.dut.u_reg.reAfterRv 006099595736245500
tb.dut.u_reg.rePulse 006099595710953300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097497400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00609959575637600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0016304649716206556800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00609959571155200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0016304649750300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00609959571205500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001630464971154800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001630464971155200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571155200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00609959578515700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0016304649716206556800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00609959571731600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00609959571731400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001630464971731900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001630464971731800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571733700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0016304649716206556800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00609959573900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001630464973900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0016304649716206556800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00609959573000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001630464973000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00609959578971900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00815229248103256000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00609959571155200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008152292450300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00609959571205500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00815229241149800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00815229241155200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571155200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 006099595713610100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00815229248103256000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00609959571734500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00609959571734300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00815229241735000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00815229241734600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571738900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00815229248103256000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00609959573700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00815229243700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00815229248103256000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00609959573500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00815229243500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00609959574055000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0032761157932371614500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00609959571155200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0032761157950300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00609959571205500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003276115791155200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003276115791155200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571155200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00609959576152300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0032761157932371614500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00609959571746200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00609959571746200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003276115791746800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003276115791746700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571747900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0032761157932371614500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00609959574400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003276115794400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0032761157932371614500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00609959573600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003276115793600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00609959574008500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0034601524134195627800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00609959571155200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0034601524150300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00609959571205500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003460152411155200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003460152411155200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571155200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00609959576032600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0034601524134195627800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00609959571742300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00609959571742200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003460152411743500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003460152411742800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571744800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0034601524134195627800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00609959572700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003460152412700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0034601524134195627800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00609959572600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003460152412600
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097497400
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097497400
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097497400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097497400
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097497400
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097497400
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097497400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00609959575370100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0016611516616416696600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00609959571102600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0016611516650300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00609959571152900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001661151661087400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001661151661110300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571155200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00609959578490300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0016611516616416696600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00609959571721300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00609959575874226600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00609959571717400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001661151661735700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001661151661732200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00609959571754100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0016611516616416696600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00609959574000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001661151664000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097497400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0016611516616416696600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00609959573700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001661151663700
tb.dut.u_reg.wePulse 006099595725292200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00600556705790230400
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0060055670112300
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00164649457112300
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0076976900
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00164649457313694700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0076976900
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001646494574973700
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00141376634973700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0076976900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0016464945716372892600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0016464945716372892600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00600556706612286059
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00600556705779012902307
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0034296164433909354002307
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00600556705789581202307
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0032468023432096780002307
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016304649700974
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008152292400974
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0032761157900974
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034601524100974
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016611516600974
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00600556705789581202307


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0060996550913191310
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0060996550282728270
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 006099655010193101930
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00609965509201292012755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0060996550913191310
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0060996550282728270
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 006099655010193101930
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00609965509201292012755

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