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 0038935348000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001387694000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0019467275000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001387694000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0079636599000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001387694000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0088248330000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001387694000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004029668300989
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002014792200989
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008244443800989
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009117327500989
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004359732300989
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0042193362000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001387694000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00356421873295185300
tb.dut.AllClkBypReqKnownO_A 00356421873295185300
tb.dut.CgEnKnownO_A 00356421873295185300
tb.dut.ClocksKownO_A 00356421873295185300
tb.dut.FpvSecCmClkMainAesCountCheck_A 00356421872600
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00356421872800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00356421872400
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00356421872800
tb.dut.FpvSecCmRegWeOnehotCheck_A 00356421877000
tb.dut.IoClkBypReqKnownO_A 00356421873295185300
tb.dut.JitterEnableKnownO_A 00356421873295185300
tb.dut.LcCtrlClkBypAckKnownO_A 00356421873295185300
tb.dut.PwrMgrKnownO_A 00356421873295185300
tb.dut.TlAReadyKnownO_A 00356421873295185300
tb.dut.TlDValidKnownO_A 00356421873295185300
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0088248767234100
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0088248767117100
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0079879800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003893534815000
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003893534815000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0038935348545300
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0038935348318800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001946727515000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001946727515000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0019467275545100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0019467275318600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001946727515000
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001946727515000
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001946727515000
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001946727515000
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 007963659915000
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 007963659913500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0079636599547800
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0079636599319800
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0088248330248300
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0088248330248100
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0088248330253200
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0088248330253000
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 008824833014200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 008824833014000
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0088248330250600
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0088248330250400
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0088248330244100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0088248330243900
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 008824833014200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 008824833014000
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004219336214800
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004219336214300
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0042193362545900
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0042193362317600
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003645620848930400
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0036456208891300
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0036456208820200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00364562081185300
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0036456208670700
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00364562081625800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0036456208698600
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0079637029285300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0079637029341100
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0038935739279000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0038935739321900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0035642187258600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0035642187258600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0035642187152100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0035642187152100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0035642187337500
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0035642187337200
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0088248767239000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0088248767121300
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0038935739210900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0038935739367300
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0019467684199100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0019467684355500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0079637029212600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0079637029369500
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0088248767236400
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0088248767123200
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0035642187412300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0035642187545100
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0035642187810500
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0035642187413500
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00356421872427661057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0035642187546600
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0088248767229900
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0088248767118300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003564218713100
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003564218713100
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003564218714000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003564218714000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003564218714200
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003564218714200
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00356421873286665600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00356421878291300
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00356421873280591202394
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003564218713908900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00356421873286876100
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00356421878080800
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0042193751210000
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0042193751367200
tb.dut.tlul_assert_device.aKnown_A 0036456208225313000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00364562083367890800
tb.dut.tlul_assert_device.aReadyKnown_A 00364562083367890800
tb.dut.tlul_assert_device.dKnown_A 0036456208265283800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00364562083367890800
tb.dut.tlul_assert_device.dReadyKnown_A 00364562083367890800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098998900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0036456815179074200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003645620826214100
tb.dut.tlul_assert_device.gen_device.contigMask_M 003645681519405300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003645681511189200
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003645620828980600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0036456815225313000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0036456815265283800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0036456815225313000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0036456815265283800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0036456815265283800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0036456815265283800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003645620815725800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003645620812066100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098998900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00882483302196900
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00882483308354941300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00882483302208800
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00882483308354941300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00882483302175500
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00882483308354941300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00882483302182600
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00882483308354941300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00882483308354941300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00356421871250000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00356421871117800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00356421873295185300
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00356421873294492002394
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0035642187139300
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0038935348139300
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003893534829964600
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00389353484454700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013327224355400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00389353483893534800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00389353483893534800
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00356421873295185300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0035642187129900
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0019467275129900
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001946727528717700
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00194672754366800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013327224271500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00194672751946727500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00194672751946727500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0035642187165700
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0079636599165700
tb.dut.u_io_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 007963659929975100
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00796365994529300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013327224426400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00796365997743689100
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00796365997743689100
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00796365997527270100
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00796365997526584902394
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00796365991831900
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0035642187123600
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0088248330123600
tb.dut.u_main_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 008824833030173600
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00882483305299200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013801915261500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00882483308587174500
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00882483308587174500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0079879800
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 00387189893871819100
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 00796365997963580100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00389353483893455000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00796365997963580100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0079879800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00194672751946647700
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00796365997963580100
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00389353483785278500
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00389353483785278500
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00194672751892605600
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00194672751892605600
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00194672751892605600
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00194672751892605600
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00796365997527270100
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00796365997527270100
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00882483308354941300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00882483308354941300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00421933623996412600
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00421933623996412600
tb.dut.u_reg.en2addrHit 003645620832289000
tb.dut.u_reg.reAfterRv 003645620832289000
tb.dut.u_reg.rePulse 003645620810568600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098998900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00364562085710400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00402966833917180600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00364562081166300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004029668345300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00364562081211600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00402966831166000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00402966831166300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081166300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00364562088392000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00402966833917180600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00364562081684600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00364562081684400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00402966831685300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00402966831685100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081688000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00402966833917180600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00364562082800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00402966832800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00402966833917180600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00364562082400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00402966832400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00364562089060800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00201479221958559700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00364562081166300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 002014792245300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00364562081211600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00201479221162300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00201479221166300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081166300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003645620813282100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00201479221958559700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00364562081672200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00364562081672000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00201479221672500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00201479221672200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081675400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00201479221958559700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00364562082200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00201479222200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00201479221958559700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00364562082400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00201479222400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00364562084052900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00824444387791079000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00364562081166300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008244443845300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00364562081211600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00824444381166300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00824444381166300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081166300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00364562085908400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00824444387791079000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00364562081683900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00364562081683800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00824444381685000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00824444381684800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081686400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00824444387791079000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00364562083000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00824444383000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00824444387791079000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00364562082800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00824444382800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00364562084044400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00911732758629762100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00364562081166300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009117327545300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00364562081211600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00911732751166300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00911732751166300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081166300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00364562085873900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00911732758629762100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00364562081674500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00364562081674400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00911732751675700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00911732751675400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081676800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00911732758629762100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00364562081900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00911732751900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00911732758629762100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00364562081900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00911732751900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098998900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098998900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098998900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098998900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098998900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098998900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098998900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00364562085514900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00435973234128325300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00364562081117600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004359732345300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00364562081162900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00435973231105000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00435973231124700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081166300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00364562088301200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00435973234128325300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00364562081660100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00364562083367890800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00364562081656400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00435973231670100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00435973231666900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00364562081685600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00435973234128325300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00364562084300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00435973234300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098998900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00435973234128325300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00364562083800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00435973233800
tb.dut.u_reg.wePulse 003645620821720400
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00356421873295185300
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0035642187107100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0042193362107100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004219336230154300
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00421933625151000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013694325087700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00421933624106594300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00421933624106594300

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00356421872427661057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00356421873280591202394
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00882483308354254002394
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00356421873294492002394
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00796365997526584902394
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004029668300989
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002014792200989
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008244443800989
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009117327500989
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004359732300989
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00356421873294492002394


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0036456815795379530
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0036456815338233820
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003645681513243132430
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00364568157969279692742

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0036456815795379530
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0036456815338233820
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003645681513243132430
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00364568157969279692742

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