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 0040138291000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001443888000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0020068807000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001443888000
tb.dut.u_io_meas.u_meas.MaxWidth_A 0082314126000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001443888000
tb.dut.u_main_meas.u_meas.MaxWidth_A 0091230460000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001443888000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004145171700999
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002072549800999
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008503252300999
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009406225500999
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004518658200999
tb.dut.u_usb_meas.u_meas.MaxWidth_A 0043827350000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 001443888000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00367495823400597200
tb.dut.AllClkBypReqKnownO_A 00367495823400597200
tb.dut.CgEnKnownO_A 00367495823400597200
tb.dut.ClocksKownO_A 00367495823400597200
tb.dut.FpvSecCmClkMainAesCountCheck_A 00367495821600
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00367495822400
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00367495822400
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00367495821300
tb.dut.FpvSecCmRegWeOnehotCheck_A 00367495827000
tb.dut.IoClkBypReqKnownO_A 00367495823400597200
tb.dut.JitterEnableKnownO_A 00367495823400597200
tb.dut.LcCtrlClkBypAckKnownO_A 00367495823400597200
tb.dut.PwrMgrKnownO_A 00367495823400597200
tb.dut.TlAReadyKnownO_A 00367495823400597200
tb.dut.TlDValidKnownO_A 00367495823400597200
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 0091230867229000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 0091230867120600
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0079479400
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0079479400
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 004013829116300
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 004013829116300
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 0040138291522600
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 0040138291294700
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 002006880716300
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 002006880716300
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0020068807520200
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0020068807292300
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 002006880716300
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 002006880716300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 002006880716300
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 002006880716300
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 008231412616300
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 008231412614800
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 0082314126525100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 0082314126295700
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 0091230460243100
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 0091230460242600
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 0091230460245500
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 0091230460245000
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 009123046014100
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 009123046013600
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 0091230460246200
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 0091230460245700
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 0091230460253600
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 0091230460253100
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 009123046014100
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 009123046013600
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 004382735014400
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 004382735014100
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 0043827350522300
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 0043827350292600
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 003771392948464100
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 0037713929895800
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 0037713929885700
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00377139291085300
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 0037713929703300
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00377139291460500
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 0037713929686900
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 0082314562253600
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 0082314562300300
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 0040138681248500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 0040138681282900
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0036749582228200
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0036749582228200
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0036749582138700
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0036749582138700
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0036749582287400
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0036749582287100
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 0091230867231400
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 0091230867116700
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 0040138681197800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 0040138681358800
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0020069211189400
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0020069211350400
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 0082314562200400
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 0082314562361900
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 0091230867232100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 0091230867121800
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0036749582477300
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0036749582642600
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 0036749582964800
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0036749582470300
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00367495823044650059
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0036749582642600
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 0091230867239500
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 0091230867123000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 003674958214500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 003674958214500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 003674958213400
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 003674958213400
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 003674958214100
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 003674958214100
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00367495823393072700
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00367495827294800
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00367495823388153402382
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 003674958211754700
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00367495823393547900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00367495826819600
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 0043827755196800
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 0043827755358400
tb.dut.tlul_assert_device.aKnown_A 0037713929230014100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00377139293486805800
tb.dut.tlul_assert_device.aReadyKnown_A 00377139293486805800
tb.dut.tlul_assert_device.dKnown_A 0037713929242349200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00377139293486805800
tb.dut.tlul_assert_device.dReadyKnown_A 00377139293486805800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0099999900
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0037714557182062300
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 003771392925719500
tb.dut.tlul_assert_device.gen_device.contigMask_M 003771455720815400
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 003771455714765000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 003771392928447700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0037714557230014100
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0037714557242349200
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0037714557230014100
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0037714557242349200
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0037714557242349200
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0037714557242349200
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 003771392915492300
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 003771392911882400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0099999900
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00912304602053100
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00912304608620394500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00912304602063000
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00912304608620394500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00912304602072300
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00912304608620394500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00912304602068900
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 00912304608620394500
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 00912304608620394500
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00367495821102000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 0036749582964100
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00367495823400597200
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00367495823399894302382
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0036749582117600
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 0040138291117600
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0079479400
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004013829131249200
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079479400
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 00401382914357100
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012923024244600
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 00401382914013829100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00401382914013829100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00367495823400597200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0036749582127400
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0020068807127400
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0079479400
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 002006880729900200
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079479400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00200688074289400
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012923024179800
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00200688072006880700
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00200688072006880700
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0036749582134100
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 0082314126134100
tb.dut.u_io_meas.u_meas.RefCntVal_A 0079479400
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 008231412631259200
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079479400
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 00823141264402900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0012923024289200
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 00823141267992193100
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00823141267992193100
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 00823141267760878500
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00823141267760189402382
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00823141261590100
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0036749582127100
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 0091230460127100
tb.dut.u_main_meas.u_meas.RefCntVal_A 0079479400
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 009123046031464200
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079479400
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 00912304605289000
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0013916645195600
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 00912304608864864900
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00912304608864864900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0079479400
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 00399615343996074000
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 00823141268231333200
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00401382914013749700
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00823141268231333200
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0079479400
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00200688072006801300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 00823141268231333200
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 00401382913898128100
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 00401382913898128100
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00200688071949037000
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00200688071949037000
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00200688071949037000
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00200688071949037000
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 00823141267760878500
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 00823141267760878500
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 00912304608620394500
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 00912304608620394500
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 00438273504140959100
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 00438273504140959100
tb.dut.u_reg.en2addrHit 003771392933496800
tb.dut.u_reg.reAfterRv 003771392933496800
tb.dut.u_reg.rePulse 003771392911221400
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0099999900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00377139295990000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 00414517174024846000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00377139291191700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004145171750100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00377139291241800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00414517171191300
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00414517171191700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291191700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00377139299521400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 00414517174024846000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00377139291815500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00377139291815400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00414517171816500
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00414517171816100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291818000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00414517174024846000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00377139293600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00414517173600
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00414517174024846000
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00377139292900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00414517172900
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00377139299481200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00207254982012396800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00377139291191700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 002072549850100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00377139291241800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00207254981188700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00207254981191700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291191700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 003771392915315200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00207254982012396800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00377139291818900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00377139291818600
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00207254981819900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00207254981819300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291823300
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00207254982012396800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00377139293400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00207254983400
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00207254982012396800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00377139292700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00207254982700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00377139294225600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 00850325238014315600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00377139291191700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 008503252350100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00377139291241800
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00850325231191700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00850325231191700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291191700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00377139296636800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 00850325238014315600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00377139291807800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00377139291807800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00850325231808700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00850325231808400
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291809600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00850325238014315600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00377139293800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00850325233800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00850325238014315600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00377139293800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00850325233800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00377139294141900
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 00940622558884403700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00377139291191700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 009406225550100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00377139291241800
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00940622551191700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00940622551191700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291191700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00377139296494200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 00940622558884403700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00377139291816100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00377139291816000
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00940622551817300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00940622551816800
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291818100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00940622558884403700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00377139294100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00940622554100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00940622558884403700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00377139294400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00940622554400
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0099999900
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0099999900
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0099999900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0099999900
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0099999900
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0099999900
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0099999900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00377139295758400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 00451865824267682900
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00377139291139400
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 004518658250100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00377139291189500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00451865821128800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00451865821144100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291191700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00377139299326300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 00451865824267682900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00377139291776900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00377139293486805800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00377139291774200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00451865821791500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00451865821788100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00377139291806100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00451865824267682900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00377139293000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00451865823000
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0099999900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00451865824267682900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00377139292500
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00451865822500
tb.dut.u_reg.wePulse 003771392922275400
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00367495823400597200
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0036749582114200
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 0043827350114200
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0079479400
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 004382735031457100
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0079479400
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 00438273505213400
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0014140665154900
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0079479400
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 00438273504258935100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00438273504258935100

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 00367495823044650059
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00367495823388153402382
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 00912304608619705402382
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00367495823399894302382
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 00823141267760189402382
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004145171700999
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 002072549800999
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 008503252300999
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 009406225500999
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 004518658200999
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00367495823399894302382


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0037714557751375130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0037714557329632960
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003771455711551115510
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00377145579189591895747

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0037714557751375130
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0037714557329632960
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 003771455711551115510
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00377145579189591895747

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