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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total692010
Category 0692010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total692010
Severity 0692010


Summary for Assertions
NUMBERPERCENT
Total Number692100.00
Uncovered152.17
Success67797.83
Failure00.00
Incomplete223.18
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 00202928178000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013752306000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00101463489000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013752306000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00405813822000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013752306000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00432665647000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013752306000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00204353927001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00102176338001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00408751769001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00435726121001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00209241116001008
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00207772112000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013752306000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0016829654216569952200
tb.dut.AllClkBypReqKnownO_A 0016829654216569952200
tb.dut.CgEnKnownO_A 0016829654216569952200
tb.dut.ClocksKownO_A 0016829654216569952200
tb.dut.FpvSecCmClkMainAesCountCheck_A 001682965423300
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001682965423400
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001682965423700
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001682965423600
tb.dut.FpvSecCmRegWeOnehotCheck_A 001682965427000
tb.dut.IoClkBypReqKnownO_A 0016829654216569952200
tb.dut.JitterEnableKnownO_A 0016829654216569952200
tb.dut.LcCtrlClkBypAckKnownO_A 0016829654216569952200
tb.dut.PwrMgrKnownO_A 0016829654216569952200
tb.dut.TlAReadyKnownO_A 0016829654216569952200
tb.dut.TlDValidKnownO_A 0016829654216569952200
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00432666101404300
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00432666101208600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080380300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0020292817814900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0020292817814900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00202928178758100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00202928178530800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0010146348914900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0010146348914900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00101463489715500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00101463489488200
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0010146348914900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0010146348914900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0010146348914900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0010146348914900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0040581382214900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0040581382213800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00405813822783000
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00405813822554700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00432665647419700
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00432665647419500
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00432665647426400
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00432665647426200
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0043266564715400
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0043266564715100
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00432665647425800
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00432665647425500
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00432665647424100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00432665647423800
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0043266564715400
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0043266564715100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00207772112756200
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00207772112527900
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00169195836600724900
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001691958363019200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001691958362698100
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001691958363361900
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001691958362566300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001691958363779300
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001691958362825100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00405814263441700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00405814263521000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00202928580434700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00202928580492900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00168296542405500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00168296542405500
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00168296542242200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00168296542242200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00168296542521900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00168296542521700
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00432666101411000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00432666101208000
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00202928580360800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00202928580360800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00101463905346900
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00101463905346900
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00405814263364300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00405814263364300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00432666101410400
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00432666101211200
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001682965421145100
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001682965421585300
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001682965422416200
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001682965421123200
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016829654220750744056
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001682965421589100
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00432666101408700
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00432666101208600
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0016829654213800
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0016829654213800
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0016829654215000
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0016829654215000
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0016829654214600
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0016829654214600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0016829654216556792500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0016829654212931300
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016829654216548604302409
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0016829654220662700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0016829654216557606800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0016829654212117000
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00207772521361300
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00207772521361300
tb.dut.tlul_assert_device.aKnown_A 001691958362308976900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0016919583616650846900
tb.dut.tlul_assert_device.aReadyKnown_A 0016919583616650846900
tb.dut.tlul_assert_device.dKnown_A 001691958361917066600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0016919583616650846900
tb.dut.tlul_assert_device.dReadyKnown_A 0016919583616650846900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001691964671905542800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00169195836323703600
tb.dut.tlul_assert_device.gen_device.contigMask_M 0016919646719651200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0016919646713112200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00169195836358450600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001691964672308981000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001691964671917069700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001691964672308981000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001691964671917069700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001691964671917069700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001691964671917069700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00169195836193513200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00169195836147969800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001008100800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004326656473342500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0043266564742810107400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004326656473346700
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0043266564742810107400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004326656473337400
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0043266564742810107400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004326656473297400
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0043266564742810107400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0043266564742810107400
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001682965421902800
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001682965421716700
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0016829654216569952200
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00168296542308600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00202928178308600
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00202928178304507700
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002029281789165600
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00135882359096000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020292817820292817800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020292817820292817800
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016829654216569952200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00168296542301300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00101463489301300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00101463489290452300
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001014634899073800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00135882359004400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010146348910146348900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010146348910146348900
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00168296542292700
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00405813822292700
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00405813822304517300
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 004058138229207300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00135882359137100
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0040581382240366201700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0040581382240366201700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0040581382240148992600
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0040581382240148307402409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004058138222712400
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00168296542284200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00432665647284200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00432665647304895500
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0043266564710927300
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001354106210806000
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0043266564743039119200
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0043266564743039119200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080380300
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 0020183157120183076800
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 0040581382240581301900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0020292817820292737500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0040581382240581301900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010146348910146268600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0040581382240581301900
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0020292817820184168100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0020292817820184168100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0010146348910092030700
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0010146348910092030700
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0010146348910092030700
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0010146348910092030700
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0040581382240148992600
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0040581382240148992600
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0043266564742810107400
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0043266564742810107400
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0020777211220558041400
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0020777211220558041400
tb.dut.u_reg.en2addrHit 0016919583687174900
tb.dut.u_reg.reAfterRv 0016919583687174600
tb.dut.u_reg.rePulse 0016919583620197900
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0016919583613015200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0020435392720322240300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001691958362476000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00204353927116900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001691958362592900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002043539272475700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002043539272476000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958362476000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016919583615723600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020435392720322240300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001691958363038500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001691958363038300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002043539273039200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002043539273038900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958363040500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020435392720322240300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001691958364100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002043539274100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020435392720322240300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001691958363900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002043539273900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0016919583620931000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0010217633810161067700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001691958362475900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00102176338116900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001691958362592800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001021763382472200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001021763382475900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958362475900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016919583625291400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010217633810161067700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001691958363040300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001691958363040300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001021763383040600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001021763383040400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958363043000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010217633810161067700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001691958363600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001021763383600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010217633810161067700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001691958362900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001021763382900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001691958368955300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0040875176940425136800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001691958362476100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00408751769116900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001691958362593000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004087517692476100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004087517692476100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958362476200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016919583610879900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0040875176940425136800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001691958363047100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001691958363046800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004087517693048600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004087517693048100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958363050000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0040875176940425136800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001691958363700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004087517693700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0040875176940425136800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001691958363200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004087517693200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001691958368772600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0043572612143097771000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001691958362475800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00435726121116900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001691958362592700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004357261212475800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004357261212475800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958362475800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016919583610627600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0043572612143097771000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001691958363041400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001691958363041200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004357261213042100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004357261213041800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958363042900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0043572612143097771000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001691958362900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004357261212900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0043572612143097771000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001691958363200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004357261213200
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001008100800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001008100800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0016919583612828100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0020924111620696120300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001691958362427000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00209241116116900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001691958362543900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002092411162418700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002092411162431700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958362475800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016919583615655600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020924111620696120300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001691958363013300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016919583616650846900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001691958363010400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002092411163029400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002092411163023300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001691958363043800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020924111620696120300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001691958362400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002092411162400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020924111620696120300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001691958363000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002092411163000
tb.dut.u_reg.wePulse 0016919583666976700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0016829654216569952200
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00168296542272500
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00207772112272500
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00207772112304895700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0020777211210856300
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001373409210759000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020777211220668200200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020777211220668200200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016829654220750744056
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016829654216548604302409
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0043266564742809418502409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0040581382240148307402409
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00204353927001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00102176338001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00408751769001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00435726121001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00209241116001008
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016829654216569253102409


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00169196467750575050
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00169196467365436540
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016919646712954129540
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001691964677465074650753

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00169196467750575050
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00169196467365436540
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016919646712954129540
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001691964677465074650753

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