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 00184087578000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013630758000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0092043185000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013630758000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00369735085000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013630758000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00396433898000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013630758000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00185410598001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0092704686001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00372478635001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00399291875001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00191844060001008
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00190472253000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 0013630758000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 0016415969416154145500
tb.dut.AllClkBypReqKnownO_A 0016415969416154145500
tb.dut.CgEnKnownO_A 0016415969416154145500
tb.dut.ClocksKownO_A 0016415969416154145500
tb.dut.FpvSecCmClkMainAesCountCheck_A 00164159694800
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00164159694800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00164159694700
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00164159694700
tb.dut.FpvSecCmRegWeOnehotCheck_A 001641596948000
tb.dut.IoClkBypReqKnownO_A 0016415969416154145500
tb.dut.JitterEnableKnownO_A 0016415969416154145500
tb.dut.LcCtrlClkBypAckKnownO_A 0016415969416154145500
tb.dut.PwrMgrKnownO_A 0016415969416154145500
tb.dut.TlAReadyKnownO_A 0016415969416154145500
tb.dut.TlDValidKnownO_A 0016415969416154145500
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00396434348349900
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00396434348180600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0080380300
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0080380300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0018408757814900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0018408757814900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00184087578693100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00184087578465800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 009204318514900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 009204318514900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0092043185686200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0092043185458900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 009204318514900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 009204318514900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 009204318514900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 009204318514900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0036973508514900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0036973508514700
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00369735085693000
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00369735085465500
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00396433898364400
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00396433898364400
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00396433898365900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00396433898365900
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0039643389814500
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0039643389814500
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00396433898358000
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00396433898358000
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00396433898368800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00396433898368800
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0039643389814500
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0039643389814500
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0019047225314700
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0019047225314100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00190472253694000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00190472253466300
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 00165096631574399500
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 001650966313312600
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 001650966312959600
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 001650966313765400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 001650966312813100
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 001650966313864000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 001650966313140500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00369735539429900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00369735539516700
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00184087956419400
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00184087956483400
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 00164159694403200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 00164159694403200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 00164159694239300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 00164159694239300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 00164159694506600
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 00164159694506500
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00396434348351400
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00396434348180800
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00184087956305900
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00184087956471400
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0092043563281600
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0092043563447100
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00369735539302500
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00369735539468100
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00396434348343500
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00396434348177900
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 001641596941046500
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 001641596941463100
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 001641596942262500
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 001641596941038100
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016415969418375927057
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 001641596941461900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00396434348354300
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00396434348180600
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 0016415969414300
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 0016415969414300
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 0016415969414400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 0016415969414400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 0016415969413900
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 0016415969413900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 0016415969416141474700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 0016415969412442900
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016415969416133381202409
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 0016415969420080600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 0016415969416142083800
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 0016415969411833800
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00190472655305300
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00190472655470900
tb.dut.tlul_assert_device.aKnown_A 001650966312233790100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0016509663116236735900
tb.dut.tlul_assert_device.aReadyKnown_A 0016509663116236735900
tb.dut.tlul_assert_device.dKnown_A 001650966311919044900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0016509663116236735900
tb.dut.tlul_assert_device.dReadyKnown_A 0016509663116236735900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 001008100800
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 001650972691843336200
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 00165096631310062200
tb.dut.tlul_assert_device.gen_device.contigMask_M 0016509726921039300
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 0016509726913701600
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 00165096631342605300
tb.dut.tlul_assert_device.gen_device.legalAParam_M 001650972692233790100
tb.dut.tlul_assert_device.gen_device.legalDParam_A 001650972691919044900
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 001650972692233790100
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 001650972691919044900
tb.dut.tlul_assert_device.gen_device.respOpcode_A 001650972691919044900
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 001650972691919044900
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 00165096631185516500
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 00165096631141665100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 001008100800
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003964338983050800
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039643389839212052000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003964338983071300
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039643389839212052000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003964338983034600
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039643389839212052000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003964338983053300
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0039643389839212052000
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039643389839212052000
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001641596941904200
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 001641596941690800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 0016415969416154145500
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 00164159694268500
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00184087578268500
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00184087578301732800
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001840875789095200
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00132209938964300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0018408757818408757800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0018408757818408757800
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 0016415969416154145500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 00164159694256100
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0092043185256100
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0092043185287878800
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00920431859030300
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00132209938900600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00920431859204318500
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00920431859204318500
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 00164159694267300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00369735085267300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00369735085301745500
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 003697350859133100
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 00132209939002200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0036973508536768515000
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0036973508536768515000
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0036973508536567021600
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0036973508536566337902409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 003697350852687300
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 00164159694256100
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00396433898256100
tb.dut.u_main_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00396433898302177700
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 0039643389811175100
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001361004811124200
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0039643389839427621700
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0039643389839427621700
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0080380300
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 0018384315818384235500
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 0036973508536973428200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0018408757818408677500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0036973508536973428200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0080380300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00920431859204238200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0036973508536973428200
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0018408757818307965200
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0018408757818307965200
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00920431859153926800
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00920431859153926800
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00920431859153926800
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00920431859153926800
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0036973508536567021600
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0036973508536567021600
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0039643389839212052000
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0039643389839212052000
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0019047225318840885600
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0019047225318840885600
tb.dut.u_reg.en2addrHit 0016509663183781700
tb.dut.u_reg.reAfterRv 0016509663183781700
tb.dut.u_reg.rePulse 0016509663119288700
tb.dut.u_reg.u_chk.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 0016509663113277400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0018541059818435262800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650966312427400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00185410598104400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650966312531800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001854105982427400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001854105982427400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966312427400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016509663116291100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0018541059818435262800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650966313006700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650966313006300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001854105983007200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001854105983007000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966313009700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0018541059818435262800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650966313300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001854105983300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0018541059818435262800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650966313400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001854105983400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 0016509663121543700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00927046869217579700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650966312427400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0092704686104400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650966312531800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00927046862424400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00927046862427400
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966312427400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016509663126504300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00927046869217579700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650966313001000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650966313000900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00927046863001800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00927046863001300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966313005600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00927046869217579700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650966313600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00927046863600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00927046869217579700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650966313500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00927046863500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 001650966319077800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0037247863536821624000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650966312427400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00372478635104400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650966312531800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003724786352427400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003724786352427400
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966312427400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016509663111195000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0037247863536821624000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650966313012000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650966313011900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003724786353013100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003724786353012600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966313014400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0037247863536821624000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650966313700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003724786353700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0037247863536821624000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650966314400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003724786354400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 001650966318948200
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0039929187539477270400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650966312427400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00399291875104400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650966312531800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 003992918752427400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 003992918752427400
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966312427400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016509663111016800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0039929187539477270400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650966313011300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650966313011200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 003992918753012600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 003992918753011800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966313013900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0039929187539477270400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650966314000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 003992918754000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0039929187539477270400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650966314900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 003992918754900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 001008100800
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 001008100800
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 001008100800
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 0016509663113058900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0019184406018968193800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 001650966312386100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 00191844060104400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001650966312490500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001918440602373300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001918440602390300
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966312427400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 0016509663116143000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0019184406018968193800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 001650966312977200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 0016509663116236735900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001650966312974400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001918440602987400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001918440602985700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 001650966313000300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0019184406018968193800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 001650966313800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001918440603800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 001008100800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0019184406018968193800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 001650966313800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001918440603800
tb.dut.u_reg.wePulse 0016509663164493000
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 0016415969416154145500
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 00164159694257700
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00190472253257700
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0080380300
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00190472253302183100
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0080380300
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 0019047225311158600
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 001311685311053600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0080380300
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0019047225318944126700
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0019047225318944126700

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 0016415969418375927057
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 0016415969416133381202409
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0039643389839211363502409
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0036973508536566337902409
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00185410598001008
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0092704686001008
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00372478635001008
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00399291875001008
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00191844060001008
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 0016415969416153444902409


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00165097269902890280
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00165097269371637160
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016509726912124121240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001650972697453374533756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 00165097269902890280
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00165097269371637160
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 0016509726912124121240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 001650972697453374533756

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