Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total692010
Category 0692010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total692010
Severity 0692010


Summary for Assertions
NUMBERPERCENT
Total Number692100.00
Uncovered152.17
Success67797.83
Failure00.00
Incomplete223.18
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 00207818241000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014622473000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00103908494000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014622473000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00417059685000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014622473000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00445361918000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014622473000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00209068670001006
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00104533720001006
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00419657748001006
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00448068354001006
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00214874938001006
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00213575868000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014622473000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0015384918015140041600
tb.dut.AllClkBypReqKnownO_A 0015384918015140041600
tb.dut.CgEnKnownO_A 0015384918015140041600
tb.dut.ClocksKownO_A 0015384918015140041600
tb.dut.FpvSecCmClkMainAesCountCheck_A 001538491804200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001538491804200
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001538491804300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001538491803800
tb.dut.FpvSecCmRegWeOnehotCheck_A 001538491807000
tb.dut.IoClkBypReqKnownO_A 0015384918015140041600
tb.dut.JitterEnableKnownO_A 0015384918015140041600
tb.dut.LcCtrlClkBypAckKnownO_A 0015384918015140041600
tb.dut.PwrMgrKnownO_A 0015384918015140041600
tb.dut.TlAReadyKnownO_A 0015384918015140041600
tb.dut.TlDValidKnownO_A 0015384918015140041600
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00445362363378600
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00445362363186800
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080180100
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080180100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0020781824115300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0020781824115300
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00207818241738600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00207818241513000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0010390849415300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0010390849415300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00103908494692000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00103908494466800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0010390849415300
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0010390849415300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0010390849415300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0010390849415300
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0041705968515300
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0041705968514800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00417059685757500
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00417059685531400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00445361918392500
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00445361918391900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00445361918393000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00445361918392500
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0044536191813900
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0044536191813300
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00445361918386900
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00445361918386400
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00445361918390900
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00445361918390400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0044536191813900
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0044536191813300
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00213575868736900
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00213575868511000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00154776423534124500
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001547764232114200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001547764231831500
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001547764232542500
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001547764231739900
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001547764232729600
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001547764231984200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00417060115470200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00417060115561900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00207818643460500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00207818643531900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00153849180440600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00153849180440800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00153849180265200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00153849180265300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00153849180558400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00153849180558600
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00445362363379100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00445362363189300
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00207818643337200
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00207818643337200
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00103908898325700
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00103908898325500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00417060115342200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00417060115342200
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00445362363373000
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00445362363185500
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001538491801154900
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001538491801565500
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001538491802376400
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001538491801123800
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0015384918018733599058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001538491801553200
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00445362363377000
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00445362363192400
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0015384918014800
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0015384918014800
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0015384918013200
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0015384918013200
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0015384918014300
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0015384918014300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0015384918015126385400
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0015384918013430000
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0015384918015117844802403
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0015384918021518200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0015384918015127181700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0015384918012633700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00213576285335400
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00213576285335400
tb.dut.tlul_assert_device.aKnown_A 001547764232061073500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0015477642315221060400
tb.dut.tlul_assert_device.aReadyKnown_A 0015477642315221060400
tb.dut.tlul_assert_device.dKnown_A 001547764231590873800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0015477642315221060400
tb.dut.tlul_assert_device.dReadyKnown_A 0015477642315221060400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001006100600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001547770431700497800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00154776423287992500
tb.dut.tlul_assert_device.gen_device.contigMask_M 0015477704322242700
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0015477704312379000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00154776423318446100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001547770432061078800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001547770431590877000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001547770432061078800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001547770431590877000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001547770431590877000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001547770431590877000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00154776423172026200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00154776423131205300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001006100600
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004453619183269700
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0044536191844107963500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004453619183267800
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0044536191844107963500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004453619183274900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0044536191844107963500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004453619183216700
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0044536191844107963500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0044536191844107963500
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001538491802067300
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001538491801851600
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0015384918015140041600
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00153849180311600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00207818241311600
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080180100
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00207818241323813400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080180100
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002078182419364000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00145430729313100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020781824120781824100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020781824120781824100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0015384918015140041600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00153849180297200
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00103908494297200
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080180100
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00103908494308988900
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080180100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001039084949258300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00145430729207800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010390849410390849400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010390849410390849400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00153849180334000
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00417059685334000
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080180100
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00417059685323825600
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080180100
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 004170596859436700
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00145430729385100
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0041705968541505533500
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041705968541505533500
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0041705968541299090400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041705968541298411802403
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004170596852935600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00153849180293000
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00445361918293000
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080180100
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00445361918324240800
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080180100
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0044536191811315500
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001453409111240500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0044536191844325012100
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0044536191844325012100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080180100
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 0020752820820752740700
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 0041705968541705888400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0020781824120781744000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0041705968541705888400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080180100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010390849410390769300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0041705968541705888400
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0020781824120678557800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0020781824120678557800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0010390849410339222500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0010390849410339222500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0010390849410339222500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0010390849410339222500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0041705968541299090400
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0041705968541299090400
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0044536191844107963500
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0044536191844107963500
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0021357586821150724200
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0021357586821150724200
tb.dut.u_reg.en2addrHit 0015477642382969300
tb.dut.u_reg.reAfterRv 0015477642382969000
tb.dut.u_reg.rePulse 0015477642319286800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001006100600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0015477642312885700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0020906867020798686200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001547764232512500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00209068670119200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001547764232631700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002090686702512100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002090686702512500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764232512500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015477642315984000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020906867020798686200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001547764233058300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001547764233058000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002090686703059500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002090686703059000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764233062200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020906867020798686200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001547764233900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002090686703900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020906867020798686200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001547764234100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002090686704100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0015477642320633100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0010453372010399294100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001547764232512400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00104533720119200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001547764232631600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001045337202508100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001045337202512400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764232512400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015477642325739800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010453372010399294100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001547764233055700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001547764233055700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001045337203056400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001045337203056000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764233061400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010453372010399294100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001547764233300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001045337203300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010453372010399294100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001547764233900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001045337203900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001547764239026300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0041965774841539352000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001547764232512600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00419657748119200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001547764232631800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004196577482512600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004196577482512600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764232512700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015477642311176200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0041965774841539352000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001547764233062100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001547764233061700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004196577483063300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004196577483063000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764233064600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0041965774841539352000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001547764233500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004196577483500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0041965774841539352000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001547764233700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004196577483700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001547764238847100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0044806835444358246500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001547764232512200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00448068354119200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001547764232631400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004480683542512200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004480683542512300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764232512300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015477642310940000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0044806835444358246500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001547764233063300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001547764233063200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004480683543064700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004480683543064300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764233066200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0044806835444358246500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001547764234000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004480683544000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0044806835444358246500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001547764234100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004480683544100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001006100600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001006100600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001006100600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001006100600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001006100600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001006100600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001006100600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0015477642312551800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0021487493821270862000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001547764232463200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00214874938119200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001547764232582400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002148749382453600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002148749382467100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764232512200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0015477642315820600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0021487493821270862000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001547764233040100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0015477642315221060400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001547764233036500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002148749383054900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002148749383051200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001547764233070100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0021487493821270862000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001547764233600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002148749383600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001006100600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0021487493821270862000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001547764234200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002148749384200
tb.dut.u_reg.wePulse 0015477642363682200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0015384918015140041600
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00153849180266000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00213575868266000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080180100
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00213575868324221700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080180100
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0021357586811100200
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001461017911082200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080180100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021357586821255522400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021357586821255522400

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0015384918018733599058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0015384918015117844802403
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0044536191844107280102403
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041705968541298411802403
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00209068670001006
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00104533720001006
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00419657748001006
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00448068354001006
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00214874938001006
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0015384918015139349102403


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00154777043745074500
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00154777043313731370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0015477704315722157220
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001547770438458684586754

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00154777043745074500
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00154777043313731370
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0015477704315722157220
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001547770438458684586754

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