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 0034481633000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001112296000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0017240419000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001112296000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0070722507000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001112296000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0078319349000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001112296000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003550190900963
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 001775057700963
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 007285293400963
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008053863700963
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003864448000963
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0037579247000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001112296000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00347224013226837700
tb.dut.AllClkBypReqKnownO_A 00347224013226837700
tb.dut.CgEnKnownO_A 00347224013226837700
tb.dut.ClocksKownO_A 00347224013226837700
tb.dut.FpvSecCmClkMainAesCountCheck_A 00347224015100
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00347224015100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00347224015300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00347224014900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00347224016000
tb.dut.IoClkBypReqKnownO_A 00347224013226837700
tb.dut.JitterEnableKnownO_A 00347224013226837700
tb.dut.LcCtrlClkBypAckKnownO_A 00347224013226837700
tb.dut.PwrMgrKnownO_A 00347224013226837700
tb.dut.TlAReadyKnownO_A 00347224013226837700
tb.dut.TlDValidKnownO_A 00347224013226837700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0078319777221700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0078319777115600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0075875800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0075875800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003448163314100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003448163314100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0034481633522800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0034481633307900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001724041914100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001724041914100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0017240419520900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0017240419306000
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001724041914100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001724041914100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001724041914100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001724041914100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 007072250714100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 007072250712600
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0070722507527300
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0070722507310900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0078319349235100
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0078319349234500
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0078319349239000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0078319349238400
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 007831934913400
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 007831934912800
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0078319349238900
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0078319349238300
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0078319349238700
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0078319349238100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 007831934913400
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 007831934912800
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 003757924713800
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 003757924713700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0037579247526700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0037579247310000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003568968653579000
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0035689686744800
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0035689686680100
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00356896861063500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0035689686609100
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00356896861430500
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0035689686578100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0070722923279300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0070722923332700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0034482014274200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0034482014314800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0034722401256300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0034722401256300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0034722401154700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0034722401154700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0034722401326700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0034722401325600
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0078319777225600
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0078319777115700
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0034482014204800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0034482014354700
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0017240803192700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0017240803342600
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0070722923206200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0070722923356900
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0078319777225500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0078319777118300
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0034722401452600
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0034722401614500
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0034722401933700
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0034722401453300
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00347224012848599055
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0034722401621800
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0078319777225300
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0078319777117700
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003472240112300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003472240112300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003472240112700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003472240112700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003472240113700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003472240113700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00347224013218717200
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00347224017903800
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00347224013213239202274
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003472240112948400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00347224013219007300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00347224017613700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0037579632205700
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0037579632356700
tb.dut.tlul_assert_device.aKnown_A 0035689686248411300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00356896863311750000
tb.dut.tlul_assert_device.aReadyKnown_A 00356896863311750000
tb.dut.tlul_assert_device.dKnown_A 0035689686244421200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00356896863311750000
tb.dut.tlul_assert_device.dReadyKnown_A 00356896863311750000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0096396300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0035690246196850800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003568968628697200
tb.dut.tlul_assert_device.gen_device.contigMask_M 003569024621851900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003569024613687100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003568968631729500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0035690246248411300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0035690246244421200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0035690246248411300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0035690246244421200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0035690246244421200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0035690246244421200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003568968617267700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003568968613258500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0096396300
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00783193492086600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00783193497384686100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00783193492095300
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00783193497384686100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00783193492076500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00783193497384686100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00783193492101500
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00783193497384686100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00783193497384686100
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00347224011233600
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00347224011074000
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00347224013226837700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00347224013226163302274
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0034722401126300
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0034481633126300
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0075875800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003448163323962800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075875800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00344816333862500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010801703807300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00344816333448163300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00344816333448163300
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00347224013226837700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0034722401125300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0017240419125300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0075875800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001724041922951800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075875800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00172404193818500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010801703763700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00172404191724041900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00172404191724041900
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0034722401125900
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0070722507125900
tb.dut.u_io_meas.u_meas.RefCntVal_A 0075875800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 007072250723972800
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075875800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00707225073888600
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010801703833200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00707225076864788800
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00707225076864788800
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00707225076656072900
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00707225076655422802274
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00707225071771500
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0034722401119600
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0078319349119600
tb.dut.u_main_meas.u_meas.RefCntVal_A 0075875800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 007831934924147400
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075875800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00783193494681400
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010814204587900
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00783193497609005500
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00783193497609005500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0075875800
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 00343244613432370300
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 00707225077072174900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00344816333448087500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00707225077072174900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0075875800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00172404191723966100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00707225077072174900
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00344816333343762300
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00344816333343762300
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00172404191671845100
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00172404191671845100
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00172404191671845100
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00172404191671845100
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00707225076656072900
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00707225076656072900
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00783193497384686100
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00783193497384686100
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00375792473541719000
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00375792473541719000
tb.dut.u_reg.en2addrHit 003568968633060000
tb.dut.u_reg.reAfterRv 003568968633060000
tb.dut.u_reg.rePulse 003568968611201300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0096396300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00356896865478500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00355019093441263800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00356896861098100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003550190948400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00356896861146500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00355019091097700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00355019091098100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861098100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00356896869073400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00355019093441263800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00356896861709400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00356896861709200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00355019091710300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00355019091709500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861712900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00355019093441263800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00356896863500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00355019093500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00355019093441263800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00356896863200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00355019093200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00356896868741000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00177505771720602200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00356896861098100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001775057748400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00356896861146500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00177505771094800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00177505771098100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861098100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003568968614744400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00177505771720602200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00356896861712800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00356896861712700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00177505771713300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00177505771713100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861715500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00177505771720602200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00356896862800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00177505772800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00177505771720602200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00356896863000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00177505773000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00356896863819000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00728529346851084400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00356896861098100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 007285293448400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00356896861146500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00728529341098100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00728529341098100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861098100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00356896866260100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00728529346851084400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00356896861719900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00356896861719600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00728529341720900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00728529341720600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861723100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00728529346851084400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00356896862900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00728529342900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00728529346851084400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00356896862200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00728529342200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00356896863846100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00805386377587833400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00356896861098100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008053863748400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00356896861146500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00805386371098100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00805386371098100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861098100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00356896866279900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00805386377587833400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00356896861702500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00356896861702200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00805386371703500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00805386371703200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861704800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00805386377587833400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00356896862600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00805386372600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00805386377587833400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00356896862800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00805386372800
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0096396300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0096396300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0096396300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0096396300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0096396300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0096396300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0096396300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00356896865387100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00386444803639231100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00356896861059200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003864448048400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00356896861107600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00386444801049000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00386444801064200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861098100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00356896869077900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00386444803639231100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00356896861684200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00356896863311750000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00356896861681200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00386444801695000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00386444801693600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00356896861706700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00386444803639231100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00356896862800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00386444802800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0096396300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00386444803639231100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00356896862700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00386444802700
tb.dut.u_reg.wePulse 003568968621858700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00347224013226837700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0034722401124000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0037579247124000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0075875800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003757924724143200
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0075875800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00375792474609200
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010892014605400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0075875800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00375792473650144600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00375792473650144600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00347224012848599055
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00347224013213239202274
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00783193497384025202274
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00347224013226163302274
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00707225076655422802274
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003550190900963
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 001775057700963
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 007285293400963
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008053863700963
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003864448000963
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00347224013226163302274


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0035690246676167610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0035690246502650260
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003569024617234172340
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00356902469348193481714

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0035690246676167610
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0035690246502650260
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003569024617234172340
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00356902469348193481714

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