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 0039845802000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001330363000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0019922488000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001330363000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0081234049000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001330363000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0090389067000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001330363000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004152545900993
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002076230300993
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008469094200993
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009399012600993
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004514377300993
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0043415291000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001330363000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00373873493526251600
tb.dut.AllClkBypReqKnownO_A 00373873493526251600
tb.dut.CgEnKnownO_A 00373873493526251600
tb.dut.ClocksKownO_A 00373873493526251600
tb.dut.FpvSecCmClkMainAesCountCheck_A 00373873493200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00373873493100
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00373873493600
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00373873493100
tb.dut.FpvSecCmRegWeOnehotCheck_A 00373873495000
tb.dut.IoClkBypReqKnownO_A 00373873493526251600
tb.dut.JitterEnableKnownO_A 00373873493526251600
tb.dut.LcCtrlClkBypAckKnownO_A 00373873493526251600
tb.dut.PwrMgrKnownO_A 00373873493526251600
tb.dut.TlAReadyKnownO_A 00373873493526251600
tb.dut.TlDValidKnownO_A 00373873493526251600
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0090389484250100
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0090389484131200
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0078878800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0078878800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003984580214400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003984580214400
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0039845802487800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0039845802283400
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001992248814400
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001992248814400
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0019922488482000
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0019922488277600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001992248814400
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001992248814400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001992248814400
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001992248814400
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 008123404914400
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 008123404912900
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0081234049487600
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0081234049281700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0090389067264000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0090389067263800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0090389067260900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0090389067260700
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 009038906713900
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 009038906713700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0090389067272400
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0090389067272200
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0090389067262700
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0090389067262500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 009038906713900
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 009038906713700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004341529114300
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004341529114000
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0043415291490000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0043415291283800
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003834885955141000
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0038348859787200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0038348859759300
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00383488591031900
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0038348859663200
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00383488591206800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0038348859615400
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0081234481287300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0081234481339200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0039846176281400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0039846176320600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0037387349268700
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0037387349268700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0037387349161200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0037387349161200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0037387349330500
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0037387349329800
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0090389484247000
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0090389484127900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0039846176192500
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0039846176329900
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0019922870174800
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0019922870312200
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0081234481188900
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0081234481327300
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0090389484258500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0090389484137300
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0037387349460800
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0037387349621800
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0037387349942900
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0037387349453900
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00373873493249961054
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0037387349620500
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0090389484248800
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0090389484126800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003738734912500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003738734912500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003738734913500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003738734913500
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003738734913900
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003738734913900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00373873493518047000
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00373873497998300
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00373873493512883102364
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003738734912749600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00373873493518743800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00373873497301500
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0043415676191700
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0043415676330200
tb.dut.tlul_assert_device.aKnown_A 0038348859264216400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00383488593612923500
tb.dut.tlul_assert_device.aReadyKnown_A 00383488593612923500
tb.dut.tlul_assert_device.dKnown_A 0038348859251631900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00383488593612923500
tb.dut.tlul_assert_device.dReadyKnown_A 00383488593612923500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0099399300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0038349474210010700
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003834885929371600
tb.dut.tlul_assert_device.gen_device.contigMask_M 003834947420317000
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003834947413504300
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003834885932430400
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0038349474264216400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0038349474251631900
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0038349474264216400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0038349474251631900
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0038349474251631900
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0038349474251631900
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003834885917485000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003834885913505200
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0099399300
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00903890672165900
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00903890678625878300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00903890672187300
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00903890678625878300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00903890672176800
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00903890678625878300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00903890672153900
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00903890678625878300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00903890678625878300
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00373873491292000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00373873491111000
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00373873493526251600
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00373873493525617302364
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0037387349130500
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0039845802130500
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0078878800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003984580228791200
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078878800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00398458024251400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012457644145300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00398458023984580200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00398458023984580200
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00373873493526251600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0037387349137400
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0019922488137400
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0078878800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001992248827590100
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078878800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00199224884196400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012457644091800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00199224881992248800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00199224881992248800
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0037387349126300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0081234049126300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0078878800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 008123404928799000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078878800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00812340494283600
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012457644176500
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00812340497933944300
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00812340497933944300
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00812340497738298300
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00812340497737679402364
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00812340491836300
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0037387349123800
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0090389067123800
tb.dut.u_main_meas.u_meas.RefCntVal_A 0078878800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 009038906729022600
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078878800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00903890675270200
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012714175235400
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00903890678836394600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00903890678836394600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0078878800
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 00396702393966945100
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 00812340498123326100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00398458023984501400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00812340498123326100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0078878800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00199224881992170000
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00812340498123326100
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00398458023886716400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00398458023886716400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00199224881943323500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00199224881943323500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00199224881943323500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00199224881943323500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00812340497738298300
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00812340497738298300
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00903890678625878300
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00903890678625878300
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00434152914144228800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00434152914144228800
tb.dut.u_reg.en2addrHit 003834885934264500
tb.dut.u_reg.reAfterRv 003834885934264500
tb.dut.u_reg.rePulse 003834885911470100
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0099399300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00383488595887500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00415254594049730100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00383488591179300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004152545946800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00383488591226100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00415254591179000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00415254591179300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591179300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00383488598957600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00415254594049730100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00383488591770900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00383488591770800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00415254591771900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00415254591771500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591773600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00415254594049730100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00383488593400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00415254593400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00415254594049730100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00383488593700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00415254593700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00383488599366700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00207623032024833700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00383488591179300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 002076230346800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00383488591226100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00207623031177800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00207623031179300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591179300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003834885914298200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00207623032024833700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00383488591772200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00383488591772000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00207623031772600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00207623031772300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591775500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00207623032024833700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00383488594200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00207623034200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00207623032024833700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00383488594400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00207623034400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00383488594190300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00846909428064328800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00383488591179300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008469094246800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00383488591226100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00846909421179300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00846909421179300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591179300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00383488596328700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00846909428064328800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00383488591766000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00383488591765900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00846909421767100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00846909421766900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591768100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00846909428064328800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00383488593300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00846909423300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00846909428064328800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00383488592700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00846909422700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00383488594126200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00939901268965504600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00383488591179300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009399012646800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00383488591226100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00939901261179300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00939901261179300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591179300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00383488596235200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00939901268965504600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00383488591773300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00383488591773100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00939901261775100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00939901261774500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591776100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00939901268965504600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00383488594400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00939901264400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00939901268965504600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00383488593800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00939901263800
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0099399300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0099399300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0099399300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0099399300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0099399300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0099399300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0099399300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00383488595743400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00451437734307252300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00383488591141500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004514377346800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00383488591188300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00451437731136200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00451437731144600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591179300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00383488598974700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00451437734307252300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00383488591762600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00383488593612923500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00383488591758500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00451437731775500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00451437731770000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00383488591783900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00451437734307252300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00383488593000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00451437733000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099399300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00451437734307252300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00383488593000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00451437733000
tb.dut.u_reg.wePulse 003834885922794400
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00373873493526251600
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0037387349126000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0043415291126000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0078878800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004341529129018700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0078878800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00434152915235300
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012716105170200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0078878800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00434152914245044000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00434152914245044000

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00373873493249961054
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00373873493512883102364
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00903890678625257202364
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00373873493525617302364
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00812340497737679402364
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004152545900993
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002076230300993
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008469094200993
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009399012600993
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004514377300993
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00373873493525617302364


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038349474734173410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038349474240024000
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003834947415326153260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00383494748565185651739

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0038349474734173410
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0038349474240024000
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003834947415326153260
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00383494748565185651739

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