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 00197459271000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014691579000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0098729043000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014691579000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00396548327000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014691579000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00423401940000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014691579000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019908189100996
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009954035800996
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0039988350800996
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0042687622100996
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020505371600996
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00203386083000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0014691579000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0016410818916148954700
tb.dut.AllClkBypReqKnownO_A 0016410818916148954700
tb.dut.CgEnKnownO_A 0016410818916148954700
tb.dut.ClocksKownO_A 0016410818916148954700
tb.dut.FpvSecCmClkMainAesCountCheck_A 001641081891100
tb.dut.FpvSecCmClkMainHmacCountCheck_A 001641081891400
tb.dut.FpvSecCmClkMainKmacCountCheck_A 001641081891200
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00164108189900
tb.dut.FpvSecCmRegWeOnehotCheck_A 001641081897000
tb.dut.IoClkBypReqKnownO_A 0016410818916148954700
tb.dut.JitterEnableKnownO_A 0016410818916148954700
tb.dut.LcCtrlClkBypAckKnownO_A 0016410818916148954700
tb.dut.PwrMgrKnownO_A 0016410818916148954700
tb.dut.TlAReadyKnownO_A 0016410818916148954700
tb.dut.TlDValidKnownO_A 0016410818916148954700
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00423402379397100
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00423402379207100
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0079979900
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0079979900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0019745927116900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0019745927116900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00197459271773400
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00197459271548200
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 009872904316900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 009872904316900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0098729043723500
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0098729043498100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 009872904316900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 009872904316900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 009872904316900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 009872904316900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0039654832716900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0039654832716100
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00396548327790300
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00396548327564200
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00423401940413300
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00423401940413600
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00423401940414100
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00423401940414200
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0042340194016200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0042340194016200
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00423401940410500
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00423401940410700
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00423401940412400
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00423401940412500
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0042340194016200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0042340194016200
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00203386083769700
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00203386083543400
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00165022201556410700
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001650222013118700
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001650222012894500
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001650222013438100
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001650222012595300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001650222014044600
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001650222012856100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00396548768428500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00396548768526600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00197459659417300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00197459659489600
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00164108189417300
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00164108189417500
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00164108189248600
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00164108189248800
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00164108189521200
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00164108189521400
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00423402379397900
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00423402379204400
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00197459659364800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00197459659364600
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0098729437351100
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0098729437351100
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00396548768365300
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00396548768365200
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00423402379394300
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00423402379204100
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001641081891094900
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001641081891519400
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001641081892338100
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001641081891092400
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016410818917175652065
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001641081891517100
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00423402379396200
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00423402379208200
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusFall_A 0016410818915700
tb.dut.clkmgr_pwrmgr_sva_if.IoStatusRise_A 0016410818915700
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusFall_A 0016410818916100
tb.dut.clkmgr_pwrmgr_sva_if.MainStatusRise_A 0016410818916100
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusFall_A 0016410818914900
tb.dut.clkmgr_pwrmgr_sva_if.UsbStatusRise_A 0016410818914900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0016410818916135699700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0016410818913028400
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016410818916127283702397
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0016410818920991200
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0016410818916136427400
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0016410818912300700
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00203386480358200
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00203386480358000
tb.dut.tlul_assert_device.aKnown_A 001650222012086707600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0016502220116229954600
tb.dut.tlul_assert_device.aReadyKnown_A 0016502220116229954600
tb.dut.tlul_assert_device.dKnown_A 001650222011822021300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0016502220116229954600
tb.dut.tlul_assert_device.dReadyKnown_A 0016502220116229954600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0099699600
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001650227831721408100
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00165022201300308000
tb.dut.tlul_assert_device.gen_device.contigMask_M 0016502278321164200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0016502278313857100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00165022201332344700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001650227832086710900
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001650227831822025100
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001650227832086710900
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001650227831822025100
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001650227831822025100
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001650227831822025100
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00165022201179459900
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00165022201136676600
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0099699600
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004234019403347400
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042340194041885730400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004234019403338900
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042340194041885730400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004234019403366900
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042340194041885730400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 004234019403301100
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0042340194041885730400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042340194041885730400
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001641081891985200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001641081891716700
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0016410818916148954700
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00164108189293200
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00197459271293200
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00197459271325349800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001974592719043900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00138967988933900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019745927119745927100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019745927119745927100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016410818916148954700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00164108189274400
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0098729043274400
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0098729043310298900
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00987290438986900
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00138967988879000
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00987290439872904300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00987290439872904300
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00164108189282800
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00396548327282800
tb.dut.u_io_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00396548327325361400
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003965483279086200
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00138967988974300
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0039654832739442329800
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039654832739442329800
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0039654832739227347500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039654832739226667702397
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003965483272798400
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00164108189265600
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00423401940265600
tb.dut.u_main_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00423401940325749100
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0042340194010952600
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001460684010877900
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0042340194042113208600
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0042340194042113208600
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0079979900
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 0019721219619721139700
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 0039654832739654752800
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0019745927119745847200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0039654832739654752800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0079979900
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00987290439872824400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0039654832739654752800
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0019745927119638389800
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0019745927119638389800
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00987290439819141900
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00987290439819141900
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00987290439819141900
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00987290439819141900
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0039654832739227347500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0039654832739227347500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0042340194041885730400
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0042340194041885730400
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0020338608320121320400
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0020338608320121320400
tb.dut.u_reg.en2addrHit 0016502220184034100
tb.dut.u_reg.reAfterRv 0016502220184034000
tb.dut.u_reg.rePulse 0016502220119628200
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0099699600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0016502220113331700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0019908189119796081900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650222012431400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00199081891108500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650222012539900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001990818912430900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001990818912431400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222012431400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016502220116437000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019908189119796081900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650222013012600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650222013012200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001990818913013500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001990818913013100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222013015900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0019908189119796081900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650222014800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001990818914800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0019908189119796081900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650222014100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001990818914100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0016502220121683100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00995403589897991800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650222012431400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0099540358108500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650222012539900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00995403582427400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00995403582431400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222012431400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016502220126825800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00995403589897991800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650222013012000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650222013011900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00995403583012600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00995403583012200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222013015500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00995403589897991800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650222013100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00995403583100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00995403589897991800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650222012600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00995403582600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001650222019098000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0039988350839542736200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650222012431500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00399883508108500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650222012540000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003998835082431500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003998835082431500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222012431500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016502220111281300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0039988350839542736200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650222013008300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650222013008200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003998835083009100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003998835083009000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222013010300
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0039988350839542736200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650222013400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003998835083400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0039988350839542736200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650222013800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003998835083800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001650222019119900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0042687622142214272300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650222012431300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00426876221108500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650222012539800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 004268762212431300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 004268762212431300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222012431300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016502220111245800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0042687622142214272300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650222013011000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650222013010700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 004268762213012000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 004268762213011700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222013013200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0042687622142214272300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650222013100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 004268762213100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0042687622142214272300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650222013400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 004268762213400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0099699600
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0099699600
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0099699600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0099699600
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0099699600
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0099699600
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0099699600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0016502220113064700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0020505371620279021300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650222012382800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00205053716108500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650222012491300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002050537162373500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002050537162387600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222012431300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016502220116327300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020505371620279021300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650222012984600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016502220116229954600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650222012982100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002050537162998600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002050537162993800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650222013012100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020505371620279021300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650222013800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002050537163800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099699600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020505371620279021300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650222013600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002050537163600
tb.dut.u_reg.wePulse 0016502220164405800
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0016410818916148954700
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00164108189245100
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00203386083245100
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0079979900
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00203386083325761200
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079979900
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0020338608310930000
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001466556210834700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079979900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020338608320229969100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020338608320229969100

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016410818917175652065
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016410818916127283702397
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0042340194041885046402397
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039654832739226667702397
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0019908189100996
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009954035800996
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0039988350800996
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0042687622100996
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020505371600996
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016410818916148254702397


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00165022783901390130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00165022783171017100
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016502278310661106610
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001650227838614586145747

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00165022783901390130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00165022783171017100
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016502278310661106610
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001650227838614586145747

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