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 00120524037000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007425131000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0060261620000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007425131000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00242714931000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007425131000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00259359799000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007425131000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012187257500983
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006093590000983
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0024551046600983
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026227193700983
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012566497000983
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00124267169000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007425131000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00933452159117056500
tb.dut.AllClkBypReqKnownO_A 00933452159117056500
tb.dut.CgEnKnownO_A 00933452159117056500
tb.dut.ClocksKownO_A 00933452159117056500
tb.dut.FpvSecCmClkMainAesCountCheck_A 00933452152900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00933452153000
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00933452152900
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00933452153100
tb.dut.FpvSecCmRegWeOnehotCheck_A 00933452158000
tb.dut.IoClkBypReqKnownO_A 00933452159117056500
tb.dut.JitterEnableKnownO_A 00933452159117056500
tb.dut.LcCtrlClkBypAckKnownO_A 00933452159117056500
tb.dut.PwrMgrKnownO_A 00933452159117056500
tb.dut.TlAReadyKnownO_A 00933452159117056500
tb.dut.TlDValidKnownO_A 00933452159117056500
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00259360237255000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00259360237131000
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077877800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0012052403711600
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0012052403711600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00120524037571900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00120524037352000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 006026162011600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 006026162011600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0060261620566500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0060261620346600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 006026162011600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 006026162011600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 006026162011600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 006026162011600
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0024271493111600
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0024271493111400
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00242714931571800
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00242714931351700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00259359799267900
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00259359799267900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00259359799268900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00259359799268900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0025935979912900
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0025935979912900
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00259359799264500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00259359799264500
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00259359799263500
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00259359799263500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0025935979912900
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0025935979912900
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0012426716912200
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0012426716912200
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00124267169570000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00124267169349900
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0094293783270949700
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00942937832346900
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00942937832075200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00942937832388700
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00942937831815900
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00942937832959400
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00942937832065700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00242715359297000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00242715359354600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00120524439291700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00120524439335400
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0093345215279400
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0093345215279400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0093345215168600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0093345215168600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0093345215349200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0093345215349200
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00259360237256000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00259360237131600
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00120524439229500
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00120524439390700
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0060262004212300
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0060262004373500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00242715359230700
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00242715359391900
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00259360237251600
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00259360237131900
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0093345215581500
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0093345215795300
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00933452151216900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0093345215574400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 009334521510005530058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0093345215809900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00259360237250600
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00259360237132400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 009334521511400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 009334521511400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 009334521512900
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 009334521512900
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 009334521512200
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 009334521512200
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00933452159108581800
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00933452158254600
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00933452159102940602334
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 009334521513455600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00933452159109139300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00933452157697100
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00124267582228400
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00124267582389600
tb.dut.tlul_assert_device.aKnown_A 00942937831107736400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00942937839201293200
tb.dut.tlul_assert_device.aReadyKnown_A 00942937839201293200
tb.dut.tlul_assert_device.dKnown_A 00942937831028615200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00942937839201293200
tb.dut.tlul_assert_device.dReadyKnown_A 00942937839201293200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0094294376909728500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0094293783146283400
tb.dut.tlul_assert_device.gen_device.contigMask_M 009429437622861400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 009429437613443900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0094293783161662600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00942943761107736400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00942943761028615200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00942943761107736400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00942943761028615200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00942943761028615200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00942943761028615200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 009429378387322800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 009429378366530900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098398300
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002593597992212900
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025935979925513942300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002593597992269500
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025935979925513942300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002593597992223400
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025935979925513942300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002593597992229500
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0025935979925513942300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025935979925513942300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00933452151334400
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00933452151169600
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00933452159117056500
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00933452159116372002334
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0093345215167400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00120524037167400
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00120524037164121600
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001205240375855300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0072540445833100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0012052403712052403700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0012052403712052403700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00933452159117056500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0093345215157300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0060261620157300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0060261620156823600
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00602616205795400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0072540445773300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00602616206026162000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00602616206026162000
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0093345215168300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00242714931168300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00242714931164131700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002427149315880800
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0072540445858600
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0024271493124069185400
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024271493124069185400
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0024271493123867216200
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024271493123866555902334
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002427149311910000
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0093345215149500
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00259359799149500
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00259359799164381500
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002593597997026200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073532306999100
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0025935979925725084300
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025935979925725084300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077877800
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 0012034646812034569000
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 0024271493124271415300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0012052403712052325900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0024271493124271415300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077877800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00602616206026084200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0024271493124271415300
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0012052403711951375400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0012052403711951375400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00602616205975654200
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00602616205975654200
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00602616205975654200
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00602616205975654200
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0024271493123867216200
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0024271493123867216200
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0025935979925513942300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0025935979925513942300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0012426716912224219400
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0012426716912224219400
tb.dut.u_reg.en2addrHit 009429378352106700
tb.dut.u_reg.reAfterRv 009429378352106700
tb.dut.u_reg.rePulse 009429378313917500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00942937837958100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0012187257512081252900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00942937831560900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0012187257561000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00942937831621900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001218725751560600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001218725751560900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937831560900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009429378311208300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0012187257512081252900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00942937832173000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00942937832173000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001218725752174300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001218725752173900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937832175900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0012187257512081252900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00942937833700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001218725753700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0012187257512081252900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00942937833900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001218725753900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 009429378312778700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00609359006040599500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00942937831560900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 006093590061000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00942937831621900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00609359001554700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00609359001560900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937831560900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009429378318157600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00609359006040599500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00942937832187200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00942937832186900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00609359002187500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00609359002187200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937832191800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00609359006040599500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00942937834100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00609359004100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00609359006040599500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00942937834500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00609359004500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00942937835518200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0024551046624126977600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00942937831560900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0024551046661000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00942937831621900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002455104661560900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002455104661560900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937831560900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00942937837758200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0024551046624126977600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00942937832174000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00942937832173900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002455104662175800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002455104662175200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937832177100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0024551046624126977600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00942937832700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002455104662700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0024551046624126977600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00942937833200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002455104663200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00942937835490200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0026227193725784542700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00942937831560900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0026227193761000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00942937831621900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002622719371560900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002622719371560900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937831560900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00942937837726900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0026227193725784542700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00942937832172000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00942937832171500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002622719372173800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002622719372173500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937832174700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0026227193725784542700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00942937833500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002622719373500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0026227193725784542700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00942937833800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002622719373800
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098398300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098398300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098398300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098398300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098398300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00942937837864700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0012566497012354106100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00942937831504600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0012566497061000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00942937831565600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001256649701493200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001256649701511600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937831560900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009429378311268800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0012566497012354106100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00942937832141300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00942937839201293200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00942937832137500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001256649702160400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001256649702155700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00942937832179600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0012566497012354106100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00942937834100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001256649704100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0012566497012354106100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00942937834200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001256649704200
tb.dut.u_reg.wePulse 009429378338189200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00933452159117056500
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0093345215160600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00124267169160600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00124267169164357300
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001242671696857700
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0073117426853700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0012426716912325496600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0012426716912325496600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 009334521510005530058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00933452159102940602334
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0025935979925513273802334
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00933452159116372002334
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024271493123866555902334
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012187257500983
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006093590000983
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0024551046600983
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026227193700983
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012566497000983
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00933452159116372002334


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 009429437610103101030
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0094294376278227820
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 009429437614190141900
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00942943768715287152755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 009429437610103101030
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0094294376278227820
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 009429437614190141900
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00942943768715287152755

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