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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total692010
Category 0692010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total692010
Severity 0692010


Summary for Assertions
NUMBERPERCENT
Total Number692100.00
Uncovered152.17
Success67797.83
Failure00.00
Incomplete223.18
Without Attempts00.00


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


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_io_div2_meas.u_meas.MaxWidth_A 00228849094000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0018080056000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00114423868000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0018080056000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00459400022000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0018080056000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00491126341000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0018080056000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00229944675001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00114971673001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00461686227001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00493507901001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00237033942001009
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00235890820000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0018080056000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0018038616517766896500
tb.dut.AllClkBypReqKnownO_A 0018038616517766896500
tb.dut.CgEnKnownO_A 0018038616517766896500
tb.dut.ClocksKownO_A 0018038616517766896500
tb.dut.FpvSecCmClkMainAesCountCheck_A 001803861654700
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001803861654400
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001803861654300
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001803861654900
tb.dut.FpvSecCmRegWeOnehotCheck_A 001803861657000
tb.dut.IoClkBypReqKnownO_A 0018038616517766896500
tb.dut.JitterEnableKnownO_A 0018038616517766896500
tb.dut.LcCtrlClkBypAckKnownO_A 0018038616517766896500
tb.dut.PwrMgrKnownO_A 0018038616517766896500
tb.dut.TlAReadyKnownO_A 0018038616517766896500
tb.dut.TlDValidKnownO_A 0018038616517766896500
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00491126780409000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00491126780209600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080480400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080480400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0022884909414600
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0022884909414600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00228849094827100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00228849094590800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0011442386814600
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0011442386814600
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00114423868821400
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00114423868585100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0011442386814600
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0011442386814600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0011442386814600
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0011442386814600
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0045940002214600
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0045940002214200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00459400022828300
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00459400022591600
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00491126341424200
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00491126341424100
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00491126341426800
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00491126341426700
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0049112634115200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0049112634115100
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00491126341423300
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00491126341423200
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00491126341426100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00491126341426000
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0049112634115200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0049112634115100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00235890820826800
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00235890820590000
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00181244005572059600
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001812440057858200
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001812440057083400
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001812440058896100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001812440056821700
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001812440059906700
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001812440057700500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00459400469494300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00459400469573900
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00228849509486400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00228849509544300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00180386165457300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00180386165457300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00180386165273900
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00180386165273900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00180386165575400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00180386165575400
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00491126780411600
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00491126780211900
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00228849509380100
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00228849509380100
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00114424259375600
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00114424259375600
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00459400469385600
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00459400469385600
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00491126780408100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00491126780209500
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001803861651187100
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001803861651647300
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001803861652527300
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001803861651172400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0018038616519910346058
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001803861651647200
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00491126780410900
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00491126780215800
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0018038616514100
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0018038616514100
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0018038616515100
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0018038616515100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0018038616515100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0018038616515100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0018038616517751102000
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0018038616515557700
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0018038616517741625002412
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0018038616524561100
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0018038616517752192300
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0018038616514467400
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00235891236382300
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00235891236382300
tb.dut.tlul_assert_device.aKnown_A 001812440052477881800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0018124400517842385700
tb.dut.tlul_assert_device.aReadyKnown_A 0018124400517842385700
tb.dut.tlul_assert_device.dKnown_A 001812440052969903800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0018124400517842385700
tb.dut.tlul_assert_device.dReadyKnown_A 0018124400517842385700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001009100900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001812446302042424800
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00181244005307216200
tb.dut.tlul_assert_device.gen_device.contigMask_M 0018124463023508500
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0018124463012942500
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00181244005339583300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001812446302477881800
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001812446302969903800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001812446302477881800
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001812446302969903800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001812446302969903800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001812446302969903800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00181244005183357800
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00181244005139859900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001009100900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004911263413549600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0049112634148633451000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004911263413510100
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0049112634148633451000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004911263413515700
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0049112634148633451000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004911263413498900
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0049112634148633451000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0049112634148633451000
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001803861652148000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001803861651895100
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0018038616517766896500
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00180386165316800
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00228849094316800
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00228849094400494500
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 0022884909410627500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001780795910500000
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0022884909422884909400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0022884909422884909400
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0018038616517766896500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00180386165312200
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00114423868312200
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00114423868382064900
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 0011442386810515900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001780795910388800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0011442386811442386800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0011442386811442386800
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00180386165305100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00459400022305100
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00459400022400507000
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 0045940002210672900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001780795910545300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0045940002245710658000
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0045940002245710658000
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0045940002245484618500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045940002245483908102412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004594000223021400
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00180386165288700
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00491126341288700
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00491126341400985900
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0049112634112885800
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001806150112844200
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0049112634148871775300
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0049112634148871775300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080480400
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 0022855386422855306000
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 0045940002245939921800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0022884909422884829000
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0045940002245939921800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080480400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0011442386811442306400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0045940002245939921800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0022884909422771844800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0022884909422771844800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0011442386811385860000
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0011442386811385860000
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0011442386811385860000
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0011442386811385860000
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0045940002245484618500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0045940002245484618500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0049112634148633451000
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0049112634148633451000
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0023589082023359548800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0023589082023359548800
tb.dut.u_reg.en2addrHit 0018124400589913300
tb.dut.u_reg.reAfterRv 0018124400589913300
tb.dut.u_reg.rePulse 0018124400520739600
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0018124400514439800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0022994467522876549900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001812440052780700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00229944675120600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001812440052901300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002299446752779900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002299446752780700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440052780700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018124400517779000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0022994467522876549900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001812440053379100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001812440053378700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002299446753380100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002299446753379900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440053381900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0022994467522876549900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001812440053400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002299446753400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0022994467522876549900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001812440053300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002299446753300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0018124400523183900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0011497167311438216700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001812440052780700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00114971673120600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001812440052901300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001149716732776100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001149716732780700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440052780700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018124400528730700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0011497167311438216700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001812440053384200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001812440053384100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001149716733384600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001149716733384200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440053388000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0011497167311438216700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001812440053000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001149716733000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0011497167311438216700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001812440053300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001149716733300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001812440059916100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0046168622745694030300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001812440052780700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00461686227120600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001812440052901300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004616862272780700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004616862272780700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440052780700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018124400512129500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0046168622745694030300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001812440053357400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001812440053357100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004616862273358900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004616862273358200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440053360200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0046168622745694030300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001812440053200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004616862273200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0046168622745694030300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001812440053900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004616862273900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001812440059808600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0049350790148851600000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001812440052780700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00493507901120600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001812440052901300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004935079012780700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004935079012780700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440052780700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018124400512013100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0049350790148851600000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001812440053368100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001812440053367900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004935079013369400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004935079013369100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440053370700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0049350790148851600000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001812440053100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004935079013100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0049350790148851600000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001812440054000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004935079014000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001009100900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001009100900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001009100900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0018124400514177500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0023703394223464261700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001812440052728400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00237033942120600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001812440052849000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002370339422717400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002370339422730600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440052780700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0018124400517671400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0023703394223464261700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001812440053346500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0018124400517842385700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001812440053343800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002370339423363700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002370339423359300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001812440053379500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0023703394223464261700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001812440054200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002370339424200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001009100900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0023703394223464261700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001812440054000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002370339424000
tb.dut.u_reg.wePulse 0018124400569173700
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0018038616517766896500
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00180386165287600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00235890820287600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080480400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00235890820400995700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080480400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0023589082012790900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001806241612756000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0023589082023473699800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0023589082023473699800

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0018038616519910346058
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0018038616517741625002412
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0049112634148632732402412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0045940002245483908102412
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00229944675001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00114971673001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00461686227001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00493507901001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00237033942001009
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0018038616517766165602412


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00181244630854285420
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00181244630313031300
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0018124463013774137740
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001812446309676796767756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00181244630854285420
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00181244630313031300
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0018124463013774137740
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001812446309676796767756

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