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 00129692164000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0010048784000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0064845646000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0010048784000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00260871243000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0010048784000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00278526034000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0010048784000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013088803500983
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006544357700983
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026334841700983
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0028110653400983
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013494233600983
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00133703730000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0010048784000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00872947268551215700
tb.dut.AllClkBypReqKnownO_A 00872947268551215700
tb.dut.CgEnKnownO_A 00872947268551215700
tb.dut.ClocksKownO_A 00872947268551215700
tb.dut.FpvSecCmClkMainAesCountCheck_A 00872947264800
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00872947264800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00872947265400
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00872947265300
tb.dut.FpvSecCmRegWeOnehotCheck_A 00872947268000
tb.dut.IoClkBypReqKnownO_A 00872947268551215700
tb.dut.JitterEnableKnownO_A 00872947268551215700
tb.dut.LcCtrlClkBypAckKnownO_A 00872947268551215700
tb.dut.PwrMgrKnownO_A 00872947268551215700
tb.dut.TlAReadyKnownO_A 00872947268551215700
tb.dut.TlDValidKnownO_A 00872947268551215700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00278526448234600
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00278526448123600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077877800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077877800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0012969216415700
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0012969216415700
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00129692164515500
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00129692164304100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 006484564615700
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 006484564615700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0064845646513200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0064845646301800
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 006484564615700
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 006484564615700
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 006484564615700
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 006484564615700
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0026087124315700
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0026087124315400
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00260871243516600
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00260871243304900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00278526034249800
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00278526034249800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00278526034245000
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00278526034245000
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0027852603415200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0027852603415200
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00278526034250400
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00278526034250400
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00278526034245400
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00278526034245400
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0027852603415200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0027852603415200
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0013370373015100
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0013370373015000
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00133703730515700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00133703730303900
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0088164483245971800
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00881644831824500
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00881644831608400
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00881644832103800
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00881644831467800
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00881644832337500
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00881644831674100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00260871673311300
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00260871673364700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00129692546305600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00129692546352800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0087294726287000
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0087294726287000
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0087294726171700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0087294726171700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0087294726354700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0087294726354700
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00278526448229800
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00278526448120400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00129692546205000
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00129692546363800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0064846024192000
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0064846024350800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00260871673206500
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00260871673365500
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00278526448235200
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00278526448123100
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0087294726673900
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0087294726907400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00872947261358700
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0087294726663900
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 008729472612112747059
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0087294726912200
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00278526448230200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00278526448119200
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 008729472615300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 008729472615300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 008729472615200
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 008729472615200
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 008729472615000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 008729472615000
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00872947268542387500
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00872947268616400
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00872947268536724102334
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 008729472613856200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00872947268543006600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00872947267997300
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00133704127206300
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00133704127365400
tb.dut.tlul_assert_device.aKnown_A 0088164483933009300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00881644838629332800
tb.dut.tlul_assert_device.aReadyKnown_A 00881644838629332800
tb.dut.tlul_assert_device.dKnown_A 0088164483905963600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00881644838629332800
tb.dut.tlul_assert_device.dReadyKnown_A 00881644838629332800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098398300
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0088165108766012600
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0088164483132453400
tb.dut.tlul_assert_device.gen_device.contigMask_M 008816510821683800
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 008816510811595000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0088164483146535700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0088165108933009300
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0088165108905963600
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0088165108933009300
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0088165108905963600
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0088165108905963600
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0088165108905963600
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 008816448378909900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 008816448360086300
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098398300
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002785260342078800
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027852603427452961100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002785260342092500
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027852603427452961100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002785260342102100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027852603427452961100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002785260342095400
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0027852603427452961100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027852603427452961100
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00872947261358400
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00872947261181800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00872947268551215700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00872947268550564702334
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0087294726195600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00129692164195600
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00129692164222472600
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001296921645520500
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00100194315482200
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0012969216412969216400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0012969216412969216400
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00872947268551215700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0087294726185900
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0064845646185900
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0064845646211948800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00648456465472200
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00100194315434200
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00648456466484564600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00648456466484564600
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0087294726172500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00260871243172500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00260871243222483200
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002608712435555900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00100194315517400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0026087124325898204000
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0026087124325898204000
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0026087124325705405300
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0026087124325704769902334
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002608712431942100
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0087294726154100
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00278526034154100
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00278526034222743300
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002785260346753700
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00100424486753700
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0027852603427655383100
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0027852603427655383100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077877800
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 0012949153912949076100
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 0026087124326087046500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0012969216412969138600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0026087124326087046500
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077877800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00648456466484486800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0026087124326087046500
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0012969216412872774700
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0012969216412872774700
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00648456466436349200
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00648456466436349200
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00648456466436349200
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00648456466436349200
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0026087124325705405300
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0026087124325705405300
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0027852603427452961100
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0027852603427452961100
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0013370373013178820100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0013370373013178820100
tb.dut.u_reg.en2addrHit 008816448349401500
tb.dut.u_reg.reAfterRv 008816448349401500
tb.dut.u_reg.rePulse 008816448313160500
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00881644837463100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0013088803512987932400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00881644831552000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0013088803574100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00881644831626100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001308880351551800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001308880351552000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644831552000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 008816448310283100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013088803512987932400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00881644832118600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00881644832118500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001308880352119300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001308880352119000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644832120600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0013088803512987932400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00881644833300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001308880353300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0013088803512987932400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00881644833500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001308880353500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 008816448311770500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00654435776493932200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00881644831552000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 006544357774100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00881644831626100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00654435771549600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00654435771552000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644831552000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 008816448316300200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00654435776493932200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00881644832122500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00881644832122500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00654435772123100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00654435772122600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644832125900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00654435776493932200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00881644832800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00654435772800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00654435776493932200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00881644832700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00654435772700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00881644835229100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0026334841725935726900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00881644831552000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0026334841774100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00881644831626100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002633484171552000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002633484171552000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644831552000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00881644837261200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0026334841725935726900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00881644832124600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00881644832124400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002633484172125600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002633484172125400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644832126900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0026334841725935726900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00881644833700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002633484173700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0026334841725935726900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00881644833500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002633484173500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00881644835158900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0028110653427692887300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00881644831552000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0028110653474100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00881644831626100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002811065341552000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002811065341552000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644831552000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00881644837159900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0028110653427692887300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00881644832140000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00881644832139900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002811065342141000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002811065342140800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644832142000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0028110653427692887300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00881644833600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002811065343600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0028110653427692887300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00881644834000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002811065344000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098398300
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098398300
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098398300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098398300
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098398300
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00881644837325800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0013494233613293989500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00881644831500800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0013494233674100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00881644831574900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001349423361493200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001349423361507400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644831552000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 008816448310326700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0013494233613293989500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00881644832100200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00881644838629332800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00881644832094600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001349423362118300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001349423362113500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00881644832131300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0013494233613293989500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00881644833000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001349423363000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098398300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0013494233613293989500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00881644833400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001349423363400
tb.dut.u_reg.wePulse 008816448336241000
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00872947268551215700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0087294726170100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00133703730170100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077877800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00133703730222739200
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077877800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001337037306671400
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00100414996649100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077877800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0013370373013275860300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0013370373013275860300

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 008729472612112747059
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00872947268536724102334
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0027852603427452322202334
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00872947268550564702334
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0026087124325704769902334
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013088803500983
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006544357700983
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0026334841700983
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0028110653400983
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0013494233600983
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00872947268550564702334


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0088165108868586850
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0088165108421542150
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 008816510815052150520
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00881651089155591555755

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0088165108868586850
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0088165108421542150
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 008816510815052150520
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00881651089155591555755

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