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 0035938955000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001100738000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0017969019000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001100738000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0073575126000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001100738000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0081423641000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001100738000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0037213486001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018606276001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0076223430001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0084182409001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0040385383001009
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0039061206000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001100738000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00391865073646462600
tb.dut.AllClkBypReqKnownO_A 00391865073646462600
tb.dut.CgEnKnownO_A 00391865073646462600
tb.dut.ClocksKownO_A 00391865073646462600
tb.dut.FpvSecCmClkMainAesCountCheck_A 00391865074800
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00391865074900
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00391865074600
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00391865074600
tb.dut.FpvSecCmRegWeOnehotCheck_A 00391865078000
tb.dut.IoClkBypReqKnownO_A 00391865073646462600
tb.dut.JitterEnableKnownO_A 00391865073646462600
tb.dut.LcCtrlClkBypAckKnownO_A 00391865073646462600
tb.dut.PwrMgrKnownO_A 00391865073646462600
tb.dut.TlAReadyKnownO_A 00391865073646462600
tb.dut.TlDValidKnownO_A 00391865073646462600
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0081424068231200
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0081424068119600
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 003593895516800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003593895516800
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0035938955542000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0035938955313300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001796901916800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001796901916800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0017969019538800
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0017969019310100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001796901916800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001796901916800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001796901916800
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001796901916800
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 007357512616800
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 007357512615200
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0073575126540500
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0073575126310200
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0081423641247300
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0081423641246900
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0081423641250500
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0081423641250100
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 008142364116100
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 008142364115700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0081423641250900
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0081423641250500
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0081423641244100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0081423641243700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 008142364116100
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 008142364115700
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 003906120614900
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 003906120614200
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0039061206540000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0039061206309600
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 004012326149823600
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0040123261783500
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0040123261759700
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00401232611378200
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0040123261618300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00401232611747200
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0040123261634300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0073575584301900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0073575584360400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0035939355295200
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0035939355335400
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0039186507289300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0039186507289300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0039186507170900
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0039186507170900
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0039186507356000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0039186507355500
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0081424068234400
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0081424068116000
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0035939355214700
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0035939355374700
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0017969412200100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0017969412360200
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0073575584213300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0073575584374200
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0081424068234800
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0081424068120000
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0039186507519700
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0039186507705600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00391865071067800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0039186507507200
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00391865073446430061
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0039186507703400
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0081424068228000
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0081424068115000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003918650714800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003918650714800
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003918650715600
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003918650715600
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003918650713900
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003918650713900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00391865073636534500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00391865079697400
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00391865073630990902412
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003918650714779600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00391865073637532400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00391865078699500
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0039061579210000
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0039061579371100
tb.dut.tlul_assert_device.aKnown_A 0040123261243296400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00401232613727737300
tb.dut.tlul_assert_device.aReadyKnown_A 00401232613727737300
tb.dut.tlul_assert_device.dKnown_A 0040123261255895000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00401232613727737300
tb.dut.tlul_assert_device.dReadyKnown_A 00401232613727737300
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 0040123896192337000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 004012326126736400
tb.dut.tlul_assert_device.gen_device.contigMask_M 004012389623126400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 004012389613701900
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 004012326129589500
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0040123896243296400
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0040123896255895000
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0040123896243296400
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0040123896255895000
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0040123896255895000
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0040123896255895000
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 004012326116031100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 004012326112303900
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 00391865073646462600
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
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 00814236417700987700
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00814236412173100
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00814236412210900
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00814236412206100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00814236412213700
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00814236417700987700
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 00814236417700987700
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00814236417700987700
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00391865071349600
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00391865071182200
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00391865073646462600
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00391865073645752602412
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
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 00391865073646462600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0039186507125600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0035938955125600
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 003593895523656700
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 00359389554087000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010553483983000
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 00359389553593895500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00359389553593895500
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00391865073646462600
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 00391865073646462600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0039186507140900
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0017969019140900
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 001796901922670800
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 00179690194043500
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010553483941100
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 00179690191796901900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00179690191796901900
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0039186507128100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0073575126128100
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 007357512623667700
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 00735751264115200
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010553484010300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00735751267149508700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00735751267149508700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00735751266945300000
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00735751266944607902412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00735751261929800
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0039186507128300
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0081423641128300
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 008142364123848000
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 00814236414917400
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010740014869300
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00814236417920016600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00814236417920016600
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 00357481193574731500
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 00735751267357432200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00359389553593815100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00735751267357432200
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 00179690191796821500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00735751267357432200
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00359389553491744900
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00359389553491744900
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00179690191745832500
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00179690191745832500
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00179690191745832500
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00179690191745832500
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00735751266945300000
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00735751266945300000
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00814236417700987700
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00814236417700987700
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00390612063695600800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00390612063695600800
tb.dut.u_reg.en2addrHit 004012326133864000
tb.dut.u_reg.reAfterRv 004012326133864000
tb.dut.u_reg.rePulse 004012326111540800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001009100900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00401232616116800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00372134863614038400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00401232611156500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003721348653300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00401232611209800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00372134861156400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00372134861156500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611156500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00401232619589500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00372134863614038400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00401232611769900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00401232611769800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00372134861770400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00372134861770200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611773100
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 00372134863614038400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00401232614000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00372134864000
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 00372134863614038400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00401232613900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00372134863900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00401232619809200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00186062761806985000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00401232611156500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001860627653300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00401232611209800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00186062761154600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00186062761156500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611156500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 004012326115303300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00186062761806985000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00401232611756600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00401232611756000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00186062761757200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00186062761756400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611759900
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 00186062761806985000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00401232613300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00186062763300
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 00186062761806985000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00401232613600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00186062763600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00401232614247500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00762234307189893600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00401232611156500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 007622343053300
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00401232611209800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00762234301156500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00762234301156500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611156500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00401232616636700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00762234307189893600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00401232611769000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00401232611768500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00762234301770200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00762234301769700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611771700
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 00762234307189893600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00401232613000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00762234303000
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 00762234307189893600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00401232613700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00762234303700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00401232614137700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00841824097955786000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00401232611156500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008418240953300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00401232611209800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00841824091156500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00841824091156500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611156500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00401232616502900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00841824097955786000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00401232611771000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00401232611770700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00841824091772400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00841824091772000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611773700
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 00841824097955786000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00401232614500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00841824094500
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 00841824097955786000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00401232613800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00841824093800
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 00401232615912400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00403853833817908300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00401232611115600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004038538353300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00401232611168900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00403853831108500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00403853831119700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611156500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00401232619548700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00403853833817908300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00401232611754700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00401232613727737300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00401232611750800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00403853831767900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00403853831762700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00401232611779400
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 00403853833817908300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00401232613300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00403853833300
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 00403853833817908300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00401232612500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00403853832500
tb.dut.u_reg.wePulse 004012326122323200
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00391865073646462600
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0039186507132900
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0039061206132900
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 003906120623843000
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 00390612064853900
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0010347614756400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080480400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00390612063799801500
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00390612063799801500

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00391865073446430061
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00391865073630990902412
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00814236417700291002412
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00391865073645752602412
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00735751266944607902412
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0037213486001009
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0018606276001009
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0076223430001009
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0084182409001009
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0040385383001009
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00391865073645752602412


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040123896771477140
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040123896416041600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004012389618145181450
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00401238969514895148754

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0040123896771477140
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0040123896416041600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 004012389618145181450
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00401238969514895148754

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