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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total694010
Category 0694010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total694010
Severity 0694010


Summary for Assertions
NUMBERPERCENT
Total Number694100.00
Uncovered152.16
Success67997.84
Failure00.00
Incomplete223.17
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_io_div2_meas.u_meas.MaxWidth_A 00168061331000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012293460000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0084030210000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012293460000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00337456022000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012293460000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00358968050000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012293460000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016948888800982
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008474399300982
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034040502600982
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0036204006400982
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0017373221700982
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00172257682000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0012293460000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00918802848981498200
tb.dut.AllClkBypReqKnownO_A 00918802848981498200
tb.dut.CgEnKnownO_A 00918802848981498200
tb.dut.ClocksKownO_A 00918802848981498200
tb.dut.FpvSecCmClkMainAesCountCheck_A 00918802842800
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00918802842600
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00918802842500
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00918802842700
tb.dut.FpvSecCmRegWeOnehotCheck_A 00918802847000
tb.dut.IoClkBypReqKnownO_A 00918802848981498200
tb.dut.JitterEnableKnownO_A 00918802848981498200
tb.dut.LcCtrlClkBypAckKnownO_A 00918802848981498200
tb.dut.PwrMgrKnownO_A 00918802848981498200
tb.dut.TlAReadyKnownO_A 00918802848981498200
tb.dut.TlDValidKnownO_A 00918802848981498200
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00358968470280700
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00358968470145900
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077777700
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077777700
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0016806133113900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0016806133113900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00168061331533700
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00168061331324500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 008403021013900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 008403021013900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0084030210531300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0084030210322100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 008403021013900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 008403021013900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 008403021013900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 008403021013900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0033745602213900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0033745602213700
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00337456022535800
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00337456022326400
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00358968050293400
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00358968050293400
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00358968050299500
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00358968050299500
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0035896805012700
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0035896805012700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00358968050299900
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00358968050299900
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00358968050299800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00358968050299800
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0035896805012700
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0035896805012700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0017225768213900
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0017225768213700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00172257682532400
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00172257682322900
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0092815926235463200
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00928159263548700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00928159263096400
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00928159264012100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00928159262960600
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00928159264245000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00928159263230800
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00337456449329300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00337456449377900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00168061732322300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00168061732359900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0091880284290000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0091880284290000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0091880284176000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0091880284176000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0091880284364400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0091880284364400
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00358968470286800
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00358968470152400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00168061732218200
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00168061732367900
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0084030579207100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0084030579356800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00337456449219100
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00337456449368900
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00358968470287200
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00358968470153600
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0091880284649200
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0091880284879500
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00918802841326000
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0091880284644300
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 009188028411203348058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0091880284880500
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00358968470287100
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00358968470157000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 009188028413600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 009188028413600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 009188028412700
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 009188028412700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 009188028413700
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 009188028413700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00918802848971975100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00918802849313600
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00918802848965842502331
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 009188028415027200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00918802848972543300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00918802848745400
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00172258075217200
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00172258075367100
tb.dut.tlul_assert_device.aKnown_A 0092815926927760300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00928159269065221500
tb.dut.tlul_assert_device.aReadyKnown_A 00928159269065221500
tb.dut.tlul_assert_device.dKnown_A 00928159261252340600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00928159269065221500
tb.dut.tlul_assert_device.dReadyKnown_A 00928159269065221500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098298200
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0092816504759371000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0092815926126913200
tb.dut.tlul_assert_device.gen_device.contigMask_M 009281650424397100
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 009281650412004700
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0092815926140507900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0092816504927760300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00928165041252340600
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0092816504927760300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00928165041252340600
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00928165041252340600
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00928165041252340600
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 009281592675849800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 009281592657622800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098298200
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003589680502359300
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035896805035525972600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003589680502347000
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035896805035525972600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003589680502334800
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035896805035525972600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003589680502364100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0035896805035525972600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035896805035525972600
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00918802841376200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00918802841230300
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00918802848981498200
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00918802848980854302331
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0091880284200700
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00168061331200700
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077777700
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00168061331272269500
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077777700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001680613316282700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00120821566209900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0016806133116806133100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0016806133116806133100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00918802848981498200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0091880284189300
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0084030210189300
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077777700
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0084030210260086400
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077777700
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00840302106159700
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00120821566088900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00840302108403021000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00840302108403021000
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0091880284196600
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00337456022196600
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077777700
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00337456022272279700
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077777700
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003374560226367300
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00120821566293400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0033745602233564974700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0033745602233564974700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0033745602233390884100
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0033745602233390255602331
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003374560221982200
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0091880284180900
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00358968050180900
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077777700
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00358968050272563400
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077777700
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 003589680507506800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00122865487506800
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0035896805035708373000
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0035896805035708373000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077777700
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 0016782538016782460300
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 0033745602233745524500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0016806133116806055400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0033745602233745524500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077777700
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00840302108402943300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0033745602233745524500
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0016806133116719045500
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0016806133116719045500
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00840302108359482500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00840302108359482500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00840302108359482500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00840302108359482500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0033745602233390884100
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0033745602233390884100
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0035896805035525972600
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0035896805035525972600
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0017225768217048152700
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0017225768217048152700
tb.dut.u_reg.en2addrHit 009281592651061700
tb.dut.u_reg.reAfterRv 009281592651061700
tb.dut.u_reg.rePulse 009281592613796400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098298200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00928159267883400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0016948888816857029900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00928159261629500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0016948888869400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00928159261698900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001694888881629400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001694888881629500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159261629500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009281592611352600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0016948888816857029900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00928159262231600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00928159262231100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001694888882232700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001694888882232300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159262234800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0016948888816857029900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00928159263900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001694888883900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0016948888816857029900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00928159263600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001694888883600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 009281592612433000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00847439938428480200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00928159261629500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008474399369400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00928159261698900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00847439931622200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00847439931629500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159261629500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009281592618148700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00847439938428480200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00928159262233100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00928159262232800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00847439932234100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00847439932233300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159262236400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00847439938428480200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00928159263400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00847439933400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00847439938428480200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00928159263300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00847439933300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00928159265537700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0034040502633666855100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00928159261629500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0034040502669400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00928159261698900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003404050261629500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003404050261629500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159261629500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00928159267927200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0034040502633666855100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00928159262233700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00928159262233500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003404050262234800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003404050262234600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159262236000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0034040502633666855100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00928159263000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003404050263000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0034040502633666855100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00928159262500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003404050262500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00928159265491600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0036204006435813449300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00928159261629500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0036204006469400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00928159261698900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003620400641629500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003620400641629500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159261629500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00928159267843200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0036204006435813449300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00928159262243400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00928159262243000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003620400642244800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003620400642244400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159262245900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0036204006435813449300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00928159263500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003620400643500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0036204006435813449300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00928159262500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003620400642500
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098298200
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098298200
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098298200
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098298200
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098298200
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098298200
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098298200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00928159267654100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0017373221717186145800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00928159261579700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0017373221769400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00928159261649100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001737322171563100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001737322171583000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159261629500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 009281592611142500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0017373221717186145800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00928159262187000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00928159269065221500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00928159262184700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001737322172203000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001737322172198800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00928159262228200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0017373221717186145800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00928159263600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001737322173600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098298200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0017373221717186145800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00928159263300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001737322173300
tb.dut.u_reg.wePulse 009281592637265300
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00918802848981498200
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0091880284171600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00172257682171600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077777700
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00172257682272556800
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077777700
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001722576827340600
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00122863117340600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077777700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0017225768217135418700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0017225768217135418700

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 009188028411203348058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00918802848965842502331
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0035896805035525338702331
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00918802848980854302331
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0033745602233390255602331
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0016948888800982
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008474399300982
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0034040502600982
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0036204006400982
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0017373221700982
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00918802848980854302331


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 009281650412343123430
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0092816504448644860
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 009281650417492174920
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00928165048296482964755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 009281650412343123430
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0092816504448644860
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 009281650417492174920
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00928165048296482964755

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