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 00258648079000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0020313688000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 00129323556000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0020313688000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00518222652000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0020313688000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00549107635000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0020313688000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0025965662100796
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012982781800796
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0052031205000796
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0055128418300796
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026471806100796
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00263673344000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0020313688000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0013215083013059264600
tb.dut.AllClkBypReqKnownO_A 0013215083013059264600
tb.dut.CgEnKnownO_A 0013215083013059264600
tb.dut.ClocksKownO_A 0013215083013059264600
tb.dut.FpvSecCmClkMainAesCountCheck_A 001321508302200
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001321508302200
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001321508302400
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 001321508301800
tb.dut.FpvSecCmRegWeOnehotCheck_A 001321508304000
tb.dut.IoClkBypReqKnownO_A 0013215083013059264600
tb.dut.JitterEnableKnownO_A 0013215083013059264600
tb.dut.LcCtrlClkBypAckKnownO_A 0013215083013059264600
tb.dut.PwrMgrKnownO_A 0013215083013059264600
tb.dut.TlAReadyKnownO_A 0013215083013059264600
tb.dut.TlDValidKnownO_A 0013215083013059264600
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00549107971310200
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00549107971160700
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0063163100
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0063163100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0025864807912500
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0025864807912500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00258648079612600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00258648079445200
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 0012932355612500
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 0012932355612500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 00129323556596300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 00129323556428900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 0012932355612500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 0012932355612500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 0012932355612500
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 0012932355612500
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0051822265212500
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0051822265212100
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00518222652626300
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00518222652458500
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00549107635323000
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00549107635323200
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00549107635323900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00549107635324000
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0054910763512800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0054910763512700
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00549107635328200
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00549107635328500
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00549107635326100
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00549107635326300
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0054910763512800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0054910763512700
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00263673344608500
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00263673344441100
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00132836291406159800
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001328362914622700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001328362914071400
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001328362915266900
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001328362913947900
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001328362915869800
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001328362914519000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00518222984374200
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00518222984420600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00258648403367800
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00258648403407200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00132150830330800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00132150830330800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00132150830198700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00132150830198700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00132150830408400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00132150830408500
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00549107971311100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00549107971161500
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00258648403293700
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00258648403293600
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 00129323886288800
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 00129323886288700
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00518222984297200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00518222984297100
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00549107971315400
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00549107971159900
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 00132150830883700
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001321508301175600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001321508301749700
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 00132150830873600
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0013215083019104334047
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001321508301184700
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00549107971313300
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00549107971160000
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0013215083012100
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0013215083012100
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0013215083012700
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0013215083012700
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0013215083012100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0013215083012100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0013215083013047459600
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0013215083011637100
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0013215083013040971201893
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0013215083017789700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0013215083013048554900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0013215083010541800
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00263673679293500
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00263673679293100
tb.dut.tlul_assert_device.aKnown_A 001328362911507564200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0013283629113118657400
tb.dut.tlul_assert_device.aReadyKnown_A 0013283629113118657400
tb.dut.tlul_assert_device.dKnown_A 001328362911880194500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0013283629113118657400
tb.dut.tlul_assert_device.dReadyKnown_A 0013283629113118657400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0079679600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001328367631242445000
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00132836291218630900
tb.dut.tlul_assert_device.gen_device.contigMask_M 0013283676315737900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 001328367639615800
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00132836291241530600
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001328367631507567600
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001328367631880197800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001328367631507567600
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001328367631880197800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001328367631880197800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001328367631880197800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00132836291130407200
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 0013283629199548800
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0079679600
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005491076352625100
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054910763554593783400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005491076352654200
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054910763554593783400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005491076352637800
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054910763554593783400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005491076352650700
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0054910763554593783400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054910763554593783400
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001321508301556000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001321508301347700
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0013215083013059264600
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00132150830262900
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00258648079262900
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0063163100
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00258648079450478400
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0063163100
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 002586480798174000
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00200285628147700
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0025864807925864807900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0025864807925864807900
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0013215083013059264600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00132150830255600
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 00129323556255600
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0063163100
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00129323556429491300
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0063163100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 001293235568017900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00200285627993300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 0012932355612932355600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0012932355612932355600
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00132150830289500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00518222652289500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0063163100
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00518222652450487800
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0063163100
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 005182226528292900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00200285628265100
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0051822265251670183700
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0051822265251670183700
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0051822265251522954800
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0051822265251522451101893
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 005182226522189600
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00132150830239100
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00549107635239100
tb.dut.u_main_meas.u_meas.RefCntVal_A 0063163100
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00549107635450841800
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0063163100
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 005491076359691600
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00203030729675500
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0054910763554749483600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0054910763554749483600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0063163100
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 0025835131925835068800
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 0051822265251822202100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0025864807925864744800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0051822265251822202100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0063163100
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0012932355612932292500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0051822265251822202100
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0025864807925791159800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0025864807925791159800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 0012932355612895536300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 0012932355612895536300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 0012932355612895536300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 0012932355612895536300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0051822265251522954800
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0051822265251522954800
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0054910763554593783400
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0054910763554593783400
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0026367334426215612800
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0026367334426215612800
tb.dut.u_reg.en2addrHit 0013283629165669900
tb.dut.u_reg.reAfterRv 0013283629165669900
tb.dut.u_reg.rePulse 0013283629115209900
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0079679600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 001328362919504600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0025965662125888155900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001328362912063700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0025965662196200
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001328362912159900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002596566212063500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002596566212063700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912063700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0013283629111781800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0025965662125888155900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001328362912479500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001328362912479300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002596566212480000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002596566212480000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912482300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0025965662125888155900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001328362912300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002596566212300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0025965662125888155900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001328362913100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002596566213100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0013283629114789400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 0012982781812944037800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001328362912063500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0012982781896200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001328362912159700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001298278182062300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001298278182063500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912063500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0013283629118494200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 0012982781812944037800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001328362912474600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001328362912474600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001298278182474800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001298278182474600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912477300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0012982781812944037800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001328362913100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001298278183100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0012982781812944037800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001328362912100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001298278182100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001328362916816000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0052031205051716948800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001328362912063700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0052031205096200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001328362912159900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 005203120502063700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 005203120502063700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912063700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 001328362918384100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0052031205051716948800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001328362912475800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001328362912475500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 005203120502476700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 005203120502476400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912477700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0052031205051716948800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001328362912700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 005203120502700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0052031205051716948800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001328362913000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 005203120503000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001328362916700900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0055128418354795864900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001328362912063400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0055128418396200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001328362912159600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 005512841832063400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 005512841832063400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912063400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 001328362918316300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0055128418354795864900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001328362912484600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001328362912484300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 005512841832485200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 005512841832485200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912486500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0055128418354795864900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001328362912000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 005512841832000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0055128418354795864900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001328362913100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 005512841833100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0079679600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0079679600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0079679600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0079679600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0079679600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0079679600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0079679600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 001328362919409900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0026471806126312614700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001328362912031200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0026471806196200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001328362912127400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002647180612026700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002647180612032900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912063400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0013283629111733200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0026471806126312614700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001328362912449300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0013283629113118657400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001328362912447700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002647180612461200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002647180612456800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001328362912469600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0026471806126312614700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001328362912000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002647180612000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0079679600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0026471806126312614700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001328362912100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002647180612100
tb.dut.u_reg.wePulse 0013283629150460000
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0013215083013059264600
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00132150830226600
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00263673344226600
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0063163100
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00263673344450846500
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0063163100
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 002636733449542700
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00199670169415000
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0063163100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0026367334426290110200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0026367334426290110200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0013215083019104334047
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0013215083013040971201893
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0054910763554593276801893
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0051822265251522451101893
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0025965662100796
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0012982781800796
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0052031205000796
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0055128418300796
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026471806100796
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0013215083013058746401893


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00132836763637963790
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00132836763416041600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0013283676315008150080
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001328367636483664836582

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00132836763637963790
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00132836763416041600
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0013283676315008150080
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001328367636483664836582

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