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 00115428507000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007162574000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0057713844000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007162574000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00232233566000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007162574000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00247450758000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007162574000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011662520600975
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005831220500975
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0023471653700975
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0025003728900975
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012006419400975
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00118822691000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007162574000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00700470606834535100
tb.dut.AllClkBypReqKnownO_A 00700470606834535100
tb.dut.CgEnKnownO_A 00700470606834535100
tb.dut.ClocksKownO_A 00700470606834535100
tb.dut.FpvSecCmClkMainAesCountCheck_A 00700470604700
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00700470605000
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00700470604900
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00700470604200
tb.dut.FpvSecCmRegWeOnehotCheck_A 00700470609000
tb.dut.IoClkBypReqKnownO_A 00700470606834535100
tb.dut.JitterEnableKnownO_A 00700470606834535100
tb.dut.LcCtrlClkBypAckKnownO_A 00700470606834535100
tb.dut.PwrMgrKnownO_A 00700470606834535100
tb.dut.TlAReadyKnownO_A 00700470606834535100
tb.dut.TlDValidKnownO_A 00700470606834535100
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00247451184238200
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00247451184127000
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 0011542850713100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0011542850713100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00115428507502900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00115428507288300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005771384413100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005771384413100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0057713844501000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0057713844286400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005771384413100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005771384413100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005771384413100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005771384413100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0023223356613100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0023223356612700
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00232233566503400
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00232233566288400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00247450758250000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00247450758249900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00247450758242000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00247450758241900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0024745075811800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0024745075811700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00247450758245700
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00247450758245600
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00247450758242500
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00247450758242400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0024745075811800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0024745075811700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0011882269111700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0011882269111700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00118822691499800
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00118822691284800
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0070987422168761900
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00709874222474000
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00709874222175000
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00709874222758200
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00709874222056100
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00709874222715000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00709874222158200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00232233984281700
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00232233984335500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00115428896275000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00115428896320500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0070047060260800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0070047060260800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0070047060152200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0070047060152200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0070047060324000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0070047060324000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00247451184230200
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00247451184120100
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00115428896193900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00115428896352300
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0057714239185000
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0057714239343400
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00232233984196900
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00232233984355500
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00247451184233900
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00247451184120800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0070047060571600
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0070047060768400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00700470601144900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0070047060561100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00700470608208656057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0070047060770500
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00247451184230700
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00247451184123600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007004706012700
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007004706012700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007004706011700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007004706011700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007004706011700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007004706011700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00700470606826310500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00700470608009600
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00700470606821058302310
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007004706012831800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00700470606826896800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00700470607423300
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00118823064191900
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00118823064350500
tb.dut.tlul_assert_device.aKnown_A 0070987422710268700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00709874226918332700
tb.dut.tlul_assert_device.aReadyKnown_A 00709874226918332700
tb.dut.tlul_assert_device.dKnown_A 0070987422853119800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00709874226918332700
tb.dut.tlul_assert_device.dReadyKnown_A 00709874226918332700
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 0070988003580903200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 007098742290782100
tb.dut.tlul_assert_device.gen_device.contigMask_M 007098800321284900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007098800313896600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 007098742299955400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0070988003710268700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0070988003853119800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0070988003710268700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0070988003853119800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0070988003853119800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0070988003853119800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007098742254384400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007098742241884400
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 00700470606834535100
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
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 0024745075824380133800
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002474507581997300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002474507582021100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002474507582030000
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002474507582017000
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0024745075824380133800
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 0024745075824380133800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024745075824380133800
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00700470601232000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00700470601078000
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00700470606834535100
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00700470606833869802310
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
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 00700470606834535100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0070047060156200
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00115428507156200
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 00115428507158370900
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 001154285074978400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071360394936500
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 0011542850711542850700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0011542850711542850700
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00700470606834535100
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 00700470606834535100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0070047060166800
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0057713844166800
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 0057713844151293100
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 00577138444914800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071360394874000
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 00577138445771384400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00577138445771384400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0070047060157700
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00232233566157700
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 00232233566158381100
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 002322335665015000
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071360394972400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0023223356623050453800
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0023223356623050453800
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0023223356622874829500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0023223356622874184502310
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002322335661791200
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0070047060158900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00247450758158900
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 00247450758158592600
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 002474507585947500
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071563565934000
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0024745075824564875300
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0024745075824564875300
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 0011525278311525201300
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 0023223356623223279600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0011542850711542773700
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0023223356623223279600
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 00577138445771307400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0023223356623223279600
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0011542850711454993200
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0011542850711454993200
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00577138445727462200
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00577138445727462200
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00577138445727462200
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00577138445727462200
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0023223356622874829500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0023223356622874829500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0024745075824380133800
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0024745075824380133800
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0011882269111706971100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0011882269111706971100
tb.dut.u_reg.en2addrHit 007098742242036400
tb.dut.u_reg.reAfterRv 007098742242036400
tb.dut.u_reg.rePulse 007098742211782400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0097597500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00709874226660200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0011662520611569968800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00709874221378500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0011662520662000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00709874221440500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001166252061378300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001166252061378500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221378500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00709874229712000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0011662520611569968800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00709874221949100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00709874221949000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001166252061949900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001166252061949900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221952300
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 0011662520611569968800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00709874222800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001166252062800
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 0011662520611569968800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00709874223200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001166252063200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 007098742210489400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00583122055784954100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00709874221378500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005831220562000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00709874221440500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00583122051375300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00583122051378500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221378500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007098742215603300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00583122055784954100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00709874221966300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00709874221966200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00583122051966800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00583122051966400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221969200
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 00583122055784954100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00709874224000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00583122054000
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 00583122055784954100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00709874223700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00583122053700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00709874224642000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0023471653723104782700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00709874221378500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0023471653762000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00709874221440500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002347165371378500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002347165371378500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221378500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00709874226749800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0023471653723104782700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00709874221947000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00709874221946600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002347165371948900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002347165371948500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221949800
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 0023471653723104782700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00709874222800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002347165372800
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 0023471653723104782700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00709874223100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002347165373100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00709874224603100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0025003728924619680400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00709874221378500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0025003728962000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00709874221440500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002500372891378500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002500372891378500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221378500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00709874226689900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0025003728924619680400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00709874221959600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00709874221959500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002500372891960200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002500372891960100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221961300
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 0025003728924619680400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00709874223400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002500372893400
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 0025003728924619680400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00709874223500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002500372893500
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 00709874226512200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0012006419411821952300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00709874221332800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0012006419462000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00709874221394800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001200641941323500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001200641941340300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221378500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00709874229704900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0012006419411821952300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00709874221928400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00709874226918332700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00709874221923800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001200641941944900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001200641941941300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00709874221956000
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 0012006419411821952300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00709874223700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001200641943700
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 0012006419411821952300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00709874223800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001200641943800
tb.dut.u_reg.wePulse 007098742230254000
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00700470606834535100
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0070047060155300
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00118822691155300
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 00118822691158585900
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 001188226915900500
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0071560825893400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077077000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0011882269111795688800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0011882269111795688800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00700470608208656057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00700470606821058302310
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0024745075824379484902310
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00700470606833869802310
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0023223356622874184502310
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0011662520600975
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005831220500975
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0023471653700975
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0025003728900975
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012006419400975
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00700470606833869802310


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0070988003767276720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0070988003302430240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007098800310479104790
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00709880039396293962755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0070988003767276720
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0070988003302430240
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007098800310479104790
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00709880039396293962755

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