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 0030426199000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 00931655000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0015212714000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 00931655000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0062669092000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 00931655000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0069274743000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 00931655000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003180289500995
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 001590105800995
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006551358200995
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 007223786700995
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003469603400995
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0033273762000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 00931655000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00316824382906610400
tb.dut.AllClkBypReqKnownO_A 00316824382906610400
tb.dut.CgEnKnownO_A 00316824382906610400
tb.dut.ClocksKownO_A 00316824382906610400
tb.dut.FpvSecCmClkMainAesCountCheck_A 00316824382600
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00316824382500
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00316824382500
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00316824382900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00316824386000
tb.dut.IoClkBypReqKnownO_A 00316824382906610400
tb.dut.JitterEnableKnownO_A 00316824382906610400
tb.dut.LcCtrlClkBypAckKnownO_A 00316824382906610400
tb.dut.PwrMgrKnownO_A 00316824382906610400
tb.dut.TlAReadyKnownO_A 00316824382906610400
tb.dut.TlDValidKnownO_A 00316824382906610400
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0069275178239600
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0069275178122600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0079879800
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0079879800
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 003042619916100
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 003042619916100
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0030426199499000
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0030426199281800
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 001521271416100
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 001521271416100
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0015212714498700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0015212714281500
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 001521271416100
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 001521271416100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 001521271416100
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 001521271416100
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 006266909216100
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 006266909215000
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0062669092501200
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0062669092282900
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0069274743254400
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0069274743253800
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0069274743246900
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0069274743246300
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 006927474314800
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 006927474314200
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0069274743253900
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0069274743253300
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0069274743248300
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0069274743247700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 006927474314800
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 006927474314200
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 003327376215800
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 003327376215400
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0033273762500000
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0033273762281600
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003258536745928800
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0032585367891600
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0032585367850700
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00325853671366400
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0032585367775600
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00325853671931000
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0032585367781100
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0062669510303500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0062669510358000
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0030426603298500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0030426603342500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0031682438277100
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0031682438277100
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0031682438166300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0031682438166300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0031682438359400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0031682438359000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0069275178232100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0069275178119500
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0030426603189800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0030426603341000
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0015213117180300
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0015213117331500
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0062669510189200
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0062669510340800
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0069275178239100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0069275178122700
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0031682438363200
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0031682438492800
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0031682438745300
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0031682438355600
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00316824382376806054
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0031682438493900
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0069275178233500
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0069275178115400
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003168243814800
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003168243814800
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003168243814000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003168243814000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003168243815300
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003168243815300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00316824382897518900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00316824388873000
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00316824382891547302394
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003168243814407600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00316824382898115100
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00316824388276800
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0033274180190300
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0033274180341900
tb.dut.tlul_assert_device.aKnown_A 0032585367228792700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00325853672986384000
tb.dut.tlul_assert_device.aReadyKnown_A 00325853672986384000
tb.dut.tlul_assert_device.dKnown_A 0032585367259724500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00325853672986384000
tb.dut.tlul_assert_device.dReadyKnown_A 00325853672986384000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0099599500
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0032585986180727300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003258536724300700
tb.dut.tlul_assert_device.gen_device.contigMask_M 003258598618866200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003258598613528400
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003258536726810000
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0032585986228792700
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0032585986259724500
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0032585986228792700
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0032585986259724500
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0032585986259724500
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0032585986259724500
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003258536714611000
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003258536711178500
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0099599500
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00692747432184600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00692747436460321600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00692747432148200
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00692747436460321600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00692747432152100
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00692747436460321600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00692747432119500
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00692747436460321600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00692747436460321600
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00316824381336400
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00316824381180400
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00316824382906610400
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00316824382905943302394
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0031682438108400
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0030426199108400
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003042619919962300
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00304261993390900
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 008686803306500
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00304261993042619900
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00304261993042619900
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00316824382906610400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0031682438111600
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0015212714111600
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 001521271419132000
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00152127143357100
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 008686803274600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00152127141521271400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00152127141521271400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0031682438117500
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0062669092117500
tb.dut.u_io_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 006266909219973400
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00626690923411600
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 008686803326000
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00626690926050477400
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00626690926050477400
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00626690925826740000
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00626690925826084502394
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00626690921931500
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0031682438115300
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0069274743115300
tb.dut.u_main_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 006927474320124100
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00692747434092400
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009055834005600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00692747436697928400
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00692747436697928400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0079879800
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 00302529093025211100
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 00626690926266829400
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00304261993042540100
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00626690926266829400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0079879800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00152127141521191600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00626690926266829400
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00304261992930708400
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00304261992930708400
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00152127141465319600
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00152127141465319600
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00152127141465319600
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00152127141465319600
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00626690925826740000
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00626690925826740000
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00692747436460321600
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00692747436460321600
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00332737623103486500
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00332737623103486500
tb.dut.u_reg.en2addrHit 003258536730840800
tb.dut.u_reg.reAfterRv 003258536730840800
tb.dut.u_reg.rePulse 003258536710867300
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0099599500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00325853674987900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00318028953063770900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 0032585367988000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003180289538600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00325853671026600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 0031802895987900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 0031802895988000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 0032585367988000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00325853677991100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00318028953063770900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00325853671569800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00325853671569500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00318028951570600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00318028951570200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00325853671573200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00318028953063770900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00325853673300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00318028953300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00318028953063770900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00325853673100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00318028953100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00325853677945500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00159010581531855700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 0032585367988000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001590105838600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00325853671026600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 0015901058985800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 0015901058988000
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 0032585367988000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003258536713022300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00159010581531855700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00325853671585200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00325853671585000
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00159010581585600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00159010581585200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00325853671589200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00159010581531855700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00325853673200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00159010583200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00159010581531855700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00325853673500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00159010583500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00325853673463900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00655135826092871000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 0032585367988000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 006551358238600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00325853671026600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 0065513582988000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 0065513582988000
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 0032585367988000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00325853675591500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00655135826092871000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00325853671582900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00325853671582900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00655135821583800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00655135821583600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00325853671584800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00655135826092871000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00325853673200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00655135823200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00655135826092871000
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00325853673500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00655135823500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00325853673405900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00722378676737552700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 0032585367988000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 007223786738600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00325853671026600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 0072237867988000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 0072237867988000
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 0032585367988000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00325853675454600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00722378676737552700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00325853671572000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00325853671571800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00722378671573200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00722378671572900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00325853671574500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00722378676737552700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00325853672700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00722378672700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00722378676737552700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00325853673000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00722378673000
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0099599500
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0099599500
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0099599500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0099599500
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0099599500
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0099599500
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0099599500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00325853674800600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00346960343236557600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 0032585367945900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 003469603438600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 0032585367984500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 0034696034936500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 0034696034950500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 0032585367988000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00325853678023900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00346960343236557600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00325853671564100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00325853672986384000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00325853671562100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00346960341574700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00346960341570800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00325853671586400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00346960343236557600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00325853673100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00346960343100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099599500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00346960343236557600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00325853673500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00346960343500
tb.dut.u_reg.wePulse 003258536719973500
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00316824382906610400
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 003168243896000
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 003327376296000
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0079879800
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 003327376220119700
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079879800
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00332737624058800
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 009147933951100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079879800
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00332737623217596600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00332737623217596600

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00316824382376806054
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00316824382891547302394
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00692747436459663702394
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00316824382905943302394
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00626690925826084502394
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003180289500995
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 001590105800995
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 006551358200995
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 007223786700995
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 003469603400995
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00316824382905943302394


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0032585986685068500
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0032585986421042100
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003258598610364103640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00325859867466674666745

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0032585986685068500
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0032585986421042100
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003258598610364103640
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00325859867466674666745

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