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 00101364988000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008732635000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0050682147000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008732635000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00204087749000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008732635000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00216807734000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008732635000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010256265300975
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005128100800975
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020657390300975
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021939758700975
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010528849200975
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00104045403000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 008732635000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00521992465008161200
tb.dut.AllClkBypReqKnownO_A 00521992465008161200
tb.dut.CgEnKnownO_A 00521992465008161200
tb.dut.ClocksKownO_A 00521992465008161200
tb.dut.FpvSecCmClkMainAesCountCheck_A 00521992466000
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00521992466400
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00521992465300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00521992465800
tb.dut.FpvSecCmRegWeOnehotCheck_A 00521992468000
tb.dut.IoClkBypReqKnownO_A 00521992465008161200
tb.dut.JitterEnableKnownO_A 00521992465008161200
tb.dut.LcCtrlClkBypAckKnownO_A 00521992465008161200
tb.dut.PwrMgrKnownO_A 00521992465008161200
tb.dut.TlAReadyKnownO_A 00521992465008161200
tb.dut.TlDValidKnownO_A 00521992465008161200
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00216808178191800
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00216808178102600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077077000
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077077000
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0010136498813800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0010136498813800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00101364988439700
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00101364988236400
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005068214713800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005068214713800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0050682147437000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0050682147233700
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005068214713800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005068214713800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005068214713800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005068214713800
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0020408774913800
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0020408774913300
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00204087749441100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00204087749237300
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00216807734205000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00216807734205000
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00216807734199600
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00216807734199600
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0021680773413200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0021680773413200
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00216807734203800
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00216807734203800
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00216807734205100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00216807734205100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0021680773413200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0021680773413200
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0010404540313600
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0010404540313500
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00104045403441900
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00104045403238100
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0053137539121948200
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00531375391124100
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00531375391002400
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00531375391440700
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0053137539950800
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00531375391568200
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0053137539977600
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00204088175253000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00204088175302000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00101365381246800
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00101365381286800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0052199246228200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0052199246228200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0052199246140900
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0052199246140900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0052199246291100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0052199246291100
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00216808178186400
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0021680817898900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00101365381161400
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00101365381311800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0050682532151400
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0050682532301800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00204088175160600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00204088175311300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00216808178190600
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00216808178103400
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0052199246449300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0052199246607100
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0052199246907100
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0052199246437600
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00521992466680965060
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0052199246608400
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00216808178191900
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00216808178103000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 005219924613200
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 005219924613200
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 005219924613200
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 005219924613200
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 005219924613400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 005219924613400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00521992465001203700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00521992466753600
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00521992464996358902310
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 005219924611190600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00521992465001601000
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00521992466356300
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00104045795162800
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00104045795313400
tb.dut.tlul_assert_device.aKnown_A 0053137539481739200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00531375395090582500
tb.dut.tlul_assert_device.aReadyKnown_A 00531375395090582500
tb.dut.tlul_assert_device.dKnown_A 0053137539482149700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00531375395090582500
tb.dut.tlul_assert_device.dReadyKnown_A 00531375395090582500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0097597500
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0053138154391568800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 005313753965569500
tb.dut.tlul_assert_device.gen_device.contigMask_M 005313815420507300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 005313815412716200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 005313753972659200
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0053138154481739200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0053138154482149700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0053138154481739200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0053138154482149700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0053138154482149700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0053138154482149700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 005313753939217800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 005313753930036700
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0097597500
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002168077341745500
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021680773421317115000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002168077341720400
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021680773421317115000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002168077341742500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021680773421317115000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002168077341744800
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0021680773421317115000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021680773421317115000
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00521992461113500
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 0052199246974600
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00521992465008161200
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00521992465007535102310
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0052199246130100
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00101364988130100
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077077000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00101364988193379400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077077000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001013649883812800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0082732943741600
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010136498810136498800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010136498810136498800
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00521992465008161200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0052199246142900
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0050682147142900
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077077000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0050682147184493900
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077077000
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00506821473742600
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0082732943672600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00506821475068214700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00506821475068214700
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0052199246152600
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00204087749152600
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077077000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00204087749193389900
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077077000
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002040877493858000
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0082732943786000
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020408774920233722100
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020408774920233722100
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0020408774920062247600
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020408774920061635802310
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002040877491644300
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0052199246127200
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00216807734127200
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077077000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00216807734193551400
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077077000
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002168077344500700
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0087286394500800
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021680773421497695400
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021680773421497695400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077077000
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 0010116910710116833700
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 0020408774920408697900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010136498810136421800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020408774920408697900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077077000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00506821475068137700
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020408774920408697900
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0010136498810050719300
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0010136498810050719300
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00506821475025330700
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00506821475025330700
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00506821475025330700
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00506821475025330700
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0020408774920062247600
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0020408774920062247600
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0021680773421317115000
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0021680773421317115000
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0010404540310230628000
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0010404540310230628000
tb.dut.u_reg.en2addrHit 005313753935070600
tb.dut.u_reg.reAfterRv 005313753935070600
tb.dut.u_reg.rePulse 005313753910792800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097597500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00531375395170400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0010256265310165731800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00531375391077400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010256265346800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00531375391124200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001025626531077400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001025626531077400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391077400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00531375398309500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010256265310165731800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00531375391641800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00531375391641700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001025626531642700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001025626531642000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391645100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010256265310165731800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00531375393900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001025626533900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010256265310165731800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00531375393800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001025626533800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00531375398077000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00512810085082843200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00531375391077400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005128100846800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00531375391124200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00512810081074900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00512810081077400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391077400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 005313753913222700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00512810085082843200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00531375391636900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00531375391636800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00512810081637100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00512810081636800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391641600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00512810085082843200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00531375393000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00512810083000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00512810085082843200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00531375392900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00512810082900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00531375393685600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0020657390320292279400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00531375391077400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0020657390346800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00531375391124200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002065739031077400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002065739031077400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391077400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00531375395846300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020657390320292279400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00531375391643600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00531375391643100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002065739031645100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002065739031644700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391646700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020657390320292279400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00531375394800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002065739034800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020657390320292279400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00531375395100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002065739035100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00531375393601700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0021939758721556743000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00531375391077400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0021939758746800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00531375391124200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002193975871077400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002193975871077400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391077400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00531375395802900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021939758721556743000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00531375391652800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00531375391652700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002193975871654200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002193975871653800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391655200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021939758721556743000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00531375393500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002193975873500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021939758721556743000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00531375394000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002193975874000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0097597500
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0097597500
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0097597500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0097597500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0097597500
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0097597500
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0097597500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00531375394949900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0010528849210345649800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00531375391029500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010528849246800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00531375391076300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001052884921020400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001052884921034100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391077400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00531375398281700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010528849210345649800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00531375391624700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00531375395090582500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00531375391621000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001052884921635400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001052884921632300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00531375391647400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010528849210345649800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00531375393600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001052884923600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0097597500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010528849210345649800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00531375393000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001052884923000
tb.dut.u_reg.wePulse 005313753924277800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00521992465008161200
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0052199246115000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00104045403115000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077077000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00104045403193542000
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077077000
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001040454034423100
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0086915574401800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010404540310316722300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010404540310316722300

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00521992466680965060
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00521992464996358902310
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021680773421316494402310
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00521992465007535102310
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020408774920061635802310
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010256265300975
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005128100800975
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020657390300975
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0021939758700975
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010528849200975
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00521992465007535102310


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0053138154749474940
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0053138154316231620
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 005313815413024130240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00531381548715587155755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0053138154749474940
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0053138154316231620
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 005313815413024130240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00531381548715587155755

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