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 0040333590000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001302696000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0020166389000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001302696000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0082648253000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001302696000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0091151739000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001302696000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004151652400990
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002075784700990
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008510785400990
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009371392600990
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004497473300990
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0043744900000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001302696000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00380167233497285400
tb.dut.AllClkBypReqKnownO_A 00380167233497285400
tb.dut.CgEnKnownO_A 00380167233497285400
tb.dut.ClocksKownO_A 00380167233497285400
tb.dut.FpvSecCmClkMainAesCountCheck_A 00380167234000
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00380167233700
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00380167234300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00380167233400
tb.dut.FpvSecCmRegWeOnehotCheck_A 00380167236000
tb.dut.IoClkBypReqKnownO_A 00380167233497285400
tb.dut.JitterEnableKnownO_A 00380167233497285400
tb.dut.LcCtrlClkBypAckKnownO_A 00380167233497285400
tb.dut.PwrMgrKnownO_A 00380167233497285400
tb.dut.TlAReadyKnownO_A 00380167233497285400
tb.dut.TlDValidKnownO_A 00380167233497285400
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0091152172228700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0091152172120300
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0078578500
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0078578500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 004033359013900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 004033359013900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0040333590551000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0040333590319300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 002016638913900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 002016638913900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0020166389551600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0020166389319900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 002016638913900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 002016638913900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 002016638913900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 002016638913900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 008264825313900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 008264825312800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0082648253553900
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0082648253321100
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0091151739242700
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0091151739242200
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0091151739245600
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0091151739245100
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 009115173914000
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 009115173913500
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0091151739242300
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0091151739241800
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0091151739237500
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0091151739237000
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 009115173914000
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 009115173913500
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004374490012800
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004374490012700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0043744900552100
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0043744900319200
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003894928447677900
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0038949284929200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0038949284887300
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00389492841172100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0038949284677300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00389492841802800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0038949284690800
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0082648703280300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0082648703334000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0040333983274200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0040333983316500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0038016723262100
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0038016723262100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0038016723153400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0038016723153400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0038016723321200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0038016723320500
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0091152172231600
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0091152172120000
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0040333983211400
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0040333983375900
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0020166791197100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0020166791361600
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0082648703211200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0082648703376300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0091152172228300
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0091152172118800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0038016723479700
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0038016723647500
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0038016723980700
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0038016723470900
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00380167233309396054
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0038016723648200
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0091152172223500
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0091152172113500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003801672312700
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003801672312700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003801672313400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003801672313400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003801672312700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003801672312700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00380167233489127400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00380167237925100
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00380167233483813902355
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003801672312772800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00380167233489752400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00380167237300100
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0043745286208000
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0043745286373100
tb.dut.tlul_assert_device.aKnown_A 0038949284241995300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00389492843580046200
tb.dut.tlul_assert_device.aReadyKnown_A 00389492843580046200
tb.dut.tlul_assert_device.dKnown_A 0038949284249828800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00389492843580046200
tb.dut.tlul_assert_device.dReadyKnown_A 00389492843580046200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0099099000
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0038949903191274400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003894928425230300
tb.dut.tlul_assert_device.gen_device.contigMask_M 003894990322489500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003894990313312000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003894928428002600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0038949903241995300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0038949903249828800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0038949903241995300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0038949903249828800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0038949903249828800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0038949903249828800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003894928415162600
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003894928411611400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0099099000
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00911517392142800
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911517398593633400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00911517392135100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911517398593633400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00911517392110200
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911517398593633400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00911517392120100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00911517398593633400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911517398593633400
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00380167231240100
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00380167231060300
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00380167233497285400
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00380167233496566302355
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0038016723144000
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0040333590144000
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0078578500
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004033359028136500
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078578500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00403335904142300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011728804035700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00403335904033359000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00403335904033359000
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00380167233497285400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0038016723152300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0020166389152300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0078578500
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 002016638926971800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078578500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00201663894089300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011728803987000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00201663892016638900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00201663892016638900
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0038016723131800
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0082648253131800
tb.dut.u_io_meas.u_meas.RefCntVal_A 0078578500
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 008264825328146700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078578500
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00826482534182200
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0011728804072000
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00826482538024064100
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00826482538024064100
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00826482537775073400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00826482537774374602355
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00826482531760600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0038016723130800
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0091151739130700
tb.dut.u_main_meas.u_meas.RefCntVal_A 0078578500
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 009115173928341500
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078578500
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00911517395008800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012568854975500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00911517398859316200
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00911517398859316200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0078578500
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 00401208854012010000
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 00826482538264746800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00403335904033280500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00826482538264746800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0078578500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00201663892016560400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00826482538264746800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00403335903908819400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00403335903908819400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00201663891954374600
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00201663891954374600
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00201663891954374600
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00201663891954374600
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00826482537775073400
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00826482537775073400
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00911517398593633400
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00911517398593633400
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00437449004123061100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00437449004123061100
tb.dut.u_reg.en2addrHit 003894928433761700
tb.dut.u_reg.reAfterRv 003894928433761700
tb.dut.u_reg.rePulse 003894928411424500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0099099000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00389492846080300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00415165244022445800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00389492841188900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004151652449800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00389492841238700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00415165241188700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00415165241188900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841188900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00389492849412700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00415165244022445800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00389492841787400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00389492841787400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00415165241788200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00415165241787900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841790300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00415165244022445800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00389492843600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00415165243600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00415165244022445800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00389492843200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00415165243200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00389492849704600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00207578472011191400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00389492841188900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 002075784749800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00389492841238700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00207578471185600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00207578471188900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841188900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003894928415202500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00207578472011191400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00389492841790300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00389492841789700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00207578471791200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00207578471790600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841793700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00207578472011191400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00389492843000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00207578473000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00207578472011191400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00389492843400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00207578473400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00389492844249400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00851078548002330400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00389492841188900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008510785449800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00389492841238700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00851078541188900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00851078541188900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841188900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00389492846583700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00851078548002330400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00389492841802100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00389492841801500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00851078541803000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00851078541802700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841804400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00851078548002330400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00389492842700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00851078542700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00851078548002330400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00389492843000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00851078543000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00389492844171600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00937139268830369800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00389492841188900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009371392649800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00389492841238700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00937139261188900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00937139261188900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841188900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00389492846433900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00937139268830369800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00389492841792400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00389492841792200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00937139261793400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00937139261793200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841795200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00937139268830369800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00389492843100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00937139263100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00937139268830369800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00389492843300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00937139263300
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0099099000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0099099000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0099099000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0099099000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0099099000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0099099000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0099099000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00389492845826200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00449747334236698600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00389492841132000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004497473349800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00389492841181800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00449747331119900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00449747331137600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841188900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00389492849440000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00449747334236698600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00389492841780900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00389492843580046200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00389492841777200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00449747331795100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00449747331791700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00389492841811300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00449747334236698600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00389492842900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00449747332900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099099000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00449747334236698600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00389492843700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00449747333700
tb.dut.u_reg.wePulse 003894928422337200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00380167233497285400
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0038016723123600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0043744900123600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0078578500
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004374490028332700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078578500
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00437449004937500
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012942144919600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078578500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00437449004251273600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00437449004251273600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00380167233309396054
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00380167233483813902355
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00911517398592927702355
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00380167233496566302355
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00826482537774374602355
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004151652400990
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002075784700990
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008510785400990
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009371392600990
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004497473300990
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00380167233496566302355


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038949903985898580
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038949903218721870
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003894990310216102160
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00389499039055490554739

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038949903985898580
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038949903218721870
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003894990310216102160
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00389499039055490554739

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