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 00195591369000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011881929000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0097795133000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011881929000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00392840153000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011881929000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00419911733000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011881929000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00196911569001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0098455226001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00395576263001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00422761966001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00202955029001008
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00201586944000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0011881929000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0014489048614248460000
tb.dut.AllClkBypReqKnownO_A 0014489048614248460000
tb.dut.CgEnKnownO_A 0014489048614248460000
tb.dut.ClocksKownO_A 0014489048614248460000
tb.dut.FpvSecCmClkMainAesCountCheck_A 001448904861500
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001448904862000
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001448904861600
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001448904861700
tb.dut.FpvSecCmRegWeOnehotCheck_A 001448904868000
tb.dut.IoClkBypReqKnownO_A 0014489048614248460000
tb.dut.JitterEnableKnownO_A 0014489048614248460000
tb.dut.LcCtrlClkBypAckKnownO_A 0014489048614248460000
tb.dut.PwrMgrKnownO_A 0014489048614248460000
tb.dut.TlAReadyKnownO_A 0014489048614248460000
tb.dut.TlDValidKnownO_A 0014489048614248460000
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00419912167369300
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00419912167187200
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080380300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0019559136915300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0019559136915300
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00195591369713800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00195591369476900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 009779513315300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 009779513315300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0097795133698800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0097795133461900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 009779513315300
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 009779513315300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 009779513315300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 009779513315300
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0039284015315300
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0039284015314200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00392840153731400
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00392840153493400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00419911733384100
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00419911733384000
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00419911733380100
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00419911733380300
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0041991173314800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0041991173314600
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00419911733377500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00419911733377400
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00419911733385500
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00419911733385400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0041991173314800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0041991173314600
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00201586944715600
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00201586944477600
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00145816970435354000
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001458169706028000
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001458169705543200
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001458169706654000
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001458169705184000
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001458169707476600
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001458169705923900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00392840573403900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00392840573471900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00195591789396200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00195591789448200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00144890486369700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00144890486369700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00144890486222400
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00144890486222400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00144890486465100
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00144890486465300
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00419912167365300
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00419912167183900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00195591789321800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00195591789321800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0097795551314300
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0097795551314300
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00392840573322300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00392840573322300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00419912167362700
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00419912167183800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 00144890486965400
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001448904861315500
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001448904862012900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 00144890486943400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014489048616773053061
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001448904861314700
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00419912167370700
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00419912167188600
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0014489048614200
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0014489048614200
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0014489048614600
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0014489048614600
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0014489048614500
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0014489048614500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0014489048614235201600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0014489048613020400
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014489048614227692602409
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0014489048620053400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0014489048614236452400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0014489048611769600
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00201587383321100
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00201587383321100
tb.dut.tlul_assert_device.aKnown_A 001458169701785315400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0014581697014330938200
tb.dut.tlul_assert_device.aReadyKnown_A 0014581697014330938200
tb.dut.tlul_assert_device.dKnown_A 001458169702227336700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0014581697014330938200
tb.dut.tlul_assert_device.dReadyKnown_A 0014581697014330938200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001458175791469908500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00145816970234629700
tb.dut.tlul_assert_device.gen_device.contigMask_M 0014581757920996600
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0014581757915018300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00145816970259299300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001458175791785319200
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001458175792227341700
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001458175791785319200
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001458175792227341700
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001458175792227341700
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001458175792227341700
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00145816970140176900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00145816970107220300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001008100800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004199117333100600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041991173341530073700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004199117333040700
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041991173341530073700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004199117333042900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041991173341530073700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004199117333038600
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0041991173341530073700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041991173341530073700
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001448904861749200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001448904861538500
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0014489048614248460000
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00144890486286800
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00195591369286800
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00195591369262879100
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001955913699229500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116552869140000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019559136919559136900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019559136919559136900
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0014489048614248460000
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00144890486265500
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0097795133265500
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0097795133251018400
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00977951339122000
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116552869034200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00977951339779513300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00977951339779513300
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00144890486269400
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00392840153269400
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00392840153262888700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003928401539302400
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00116552869211900
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0039284015339062733800
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039284015339062733800
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0039284015338845708800
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039284015338844994802409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003928401532473400
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00144890486238700
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00419911733238700
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00419911733263294800
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0041991173311104900
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001186779011071100
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0041991173341759690500
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0041991173341759690500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080380300
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 0019531423519531343200
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 0039284015339283935000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0019559136919559056600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0039284015339283935000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00977951339779433000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0039284015339283935000
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0019559136919450576700
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0019559136919450576700
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00977951339725240300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00977951339725240300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00977951339725240300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00977951339725240300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0039284015338845708800
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0039284015338845708800
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0041991173341530073700
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0041991173341530073700
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0020158694419936092500
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0020158694419936092500
tb.dut.u_reg.en2addrHit 0014581697074177700
tb.dut.u_reg.reAfterRv 0014581697074177300
tb.dut.u_reg.rePulse 0014581697017745600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0014581697012451600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0019691156919577856200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001458169702366300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0019691156998100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001458169702464400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001969115692366200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001969115692366300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702366300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014581697015409900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019691156919577856200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001458169702919500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001458169702919100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001969115692920200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001969115692919800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702922400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0019691156919577856200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001458169703100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001969115693100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0019691156919577856200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001458169703800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001969115693800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0014581697020020600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00984552269788883800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001458169702366300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009845522698100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001458169702464400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00984552262364400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00984552262366300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702366300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014581697024615200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00984552269788883800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001458169702899800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001458169702899600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00984552262900600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00984552262900200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702902600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00984552269788883800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001458169703200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00984552263200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00984552269788883800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001458169703100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00984552263100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001458169708606400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0039557626339100272600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001458169702366500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0039557626398100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001458169702464600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003955762632366500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003955762632366600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702366600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014581697010646100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0039557626339100272600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001458169702924300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001458169702924200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003955762632925500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003955762632925300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702926900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0039557626339100272600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001458169703200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003955762633200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0039557626339100272600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001458169703600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003955762633600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001458169708414800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0042276196641795253200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001458169702366300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0042276196698100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001458169702464400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004227619662366300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004227619662366300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702366300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014581697010414600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0042276196641795253200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001458169702914800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001458169702914500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004227619662915800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004227619662915600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702917400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0042276196641795253200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001458169703200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004227619663200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0042276196641795253200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001458169702700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004227619662700
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001008100800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001008100800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0014581697012190600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0020295502920063378600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001458169702316400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0020295502998100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001458169702414500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002029550292308100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002029550292319700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702366300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0014581697015189600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020295502920063378600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001458169702873300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0014581697014330938200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001458169702869400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002029550292892100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002029550292888800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001458169702902400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020295502920063378600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001458169703600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002029550293600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020295502920063378600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001458169704300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002029550294300
tb.dut.u_reg.wePulse 0014581697056431700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0014489048614248460000
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00144890486247500
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00201586944247500
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00201586944263288800
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0020158694410960900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001187079310961400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020158694420046907200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020158694420046907200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0014489048616773053061
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0014489048614227692602409
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0041991173341529356802409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039284015338844994802409
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00196911569001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0098455226001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00395576263001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00422761966001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00202955029001008
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0014489048614247729402409


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00145817579711371130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00145817579337233720
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014581757913635136350
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001458175798341683416756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00145817579711371130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00145817579337233720
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0014581757913635136350
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001458175798341683416756

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