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 00101631881000
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007041054000
tb.dut.u_io_div4_meas.u_meas.MaxWidth_A 0050815584000
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007041054000
tb.dut.u_io_meas.u_meas.MaxWidth_A 00204664949000
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007041054000
tb.dut.u_main_meas.u_meas.MaxWidth_A 00218109731000
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007041054000
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010274887500981
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005137407600981
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020699306400981
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022053496100981
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010584961200981
tb.dut.u_usb_meas.u_meas.MaxWidth_A 00104685527000
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckHoldReq 007041054000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AlertsKnownO_A 00702925036844340300
tb.dut.AllClkBypReqKnownO_A 00702925036844340300
tb.dut.CgEnKnownO_A 00702925036844340300
tb.dut.ClocksKownO_A 00702925036844340300
tb.dut.FpvSecCmClkMainAesCountCheck_A 00702925033900
tb.dut.FpvSecCmClkMainHmacCountCheck_A 00702925033800
tb.dut.FpvSecCmClkMainKmacCountCheck_A 00702925033800
tb.dut.FpvSecCmClkMainOtbnCountCheck_A 00702925033900
tb.dut.FpvSecCmRegWeOnehotCheck_A 00702925036000
tb.dut.IoClkBypReqKnownO_A 00702925036844340300
tb.dut.JitterEnableKnownO_A 00702925036844340300
tb.dut.LcCtrlClkBypAckKnownO_A 00702925036844340300
tb.dut.PwrMgrKnownO_A 00702925036844340300
tb.dut.TlAReadyKnownO_A 00702925036844340300
tb.dut.TlDValidKnownO_A 00702925036844340300
tb.dut.clkmgr_aes_trans_sva_if.TransStart_A 00218110166207000
tb.dut.clkmgr_aes_trans_sva_if.TransStop_A 00218110166106200
tb.dut.clkmgr_aon_cg_aon_peri.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_aon_powerup.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_aon_secure.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_aon_timers.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_io_div2_powerup.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_io_div4_powerup.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_io_powerup.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_main_powerup.CgEn_A 0077677600
tb.dut.clkmgr_aon_cg_usb_powerup.CgEn_A 0077677600
tb.dut.clkmgr_cg_io_div2_infra.CgEnOff_A 0010163188115900
tb.dut.clkmgr_cg_io_div2_infra.CgEnOn_A 0010163188115900
tb.dut.clkmgr_cg_io_div2_peri.CgEnOff_A 00101631881483700
tb.dut.clkmgr_cg_io_div2_peri.CgEnOn_A 00101631881292000
tb.dut.clkmgr_cg_io_div4_infra.CgEnOff_A 005081558415900
tb.dut.clkmgr_cg_io_div4_infra.CgEnOn_A 005081558415900
tb.dut.clkmgr_cg_io_div4_peri.CgEnOff_A 0050815584482700
tb.dut.clkmgr_cg_io_div4_peri.CgEnOn_A 0050815584291000
tb.dut.clkmgr_cg_io_div4_secure.CgEnOff_A 005081558415900
tb.dut.clkmgr_cg_io_div4_secure.CgEnOn_A 005081558415900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOff_A 005081558415900
tb.dut.clkmgr_cg_io_div4_timers.CgEnOn_A 005081558415900
tb.dut.clkmgr_cg_io_infra.CgEnOff_A 0020466494915900
tb.dut.clkmgr_cg_io_infra.CgEnOn_A 0020466494915500
tb.dut.clkmgr_cg_io_peri.CgEnOff_A 00204664949486100
tb.dut.clkmgr_cg_io_peri.CgEnOn_A 00204664949294000
tb.dut.clkmgr_cg_main_aes.CgEnOff_A 00218109731222200
tb.dut.clkmgr_cg_main_aes.CgEnOn_A 00218109731222100
tb.dut.clkmgr_cg_main_hmac.CgEnOff_A 00218109731215300
tb.dut.clkmgr_cg_main_hmac.CgEnOn_A 00218109731215200
tb.dut.clkmgr_cg_main_infra.CgEnOff_A 0021810973115200
tb.dut.clkmgr_cg_main_infra.CgEnOn_A 0021810973115100
tb.dut.clkmgr_cg_main_kmac.CgEnOff_A 00218109731216300
tb.dut.clkmgr_cg_main_kmac.CgEnOn_A 00218109731216200
tb.dut.clkmgr_cg_main_otbn.CgEnOff_A 00218109731218800
tb.dut.clkmgr_cg_main_otbn.CgEnOn_A 00218109731218700
tb.dut.clkmgr_cg_main_secure.CgEnOff_A 0021810973115200
tb.dut.clkmgr_cg_main_secure.CgEnOn_A 0021810973115100
tb.dut.clkmgr_cg_usb_infra.CgEnOff_A 0010468552714900
tb.dut.clkmgr_cg_usb_infra.CgEnOn_A 0010468552714900
tb.dut.clkmgr_cg_usb_peri.CgEnOff_A 00104685527482300
tb.dut.clkmgr_cg_usb_peri.CgEnOn_A 00104685527290200
tb.dut.clkmgr_csr_assert.TlulOOBAddrErr_A 0071211163193674100
tb.dut.clkmgr_csr_assert.clk_enables_rd_A 00712111631360400
tb.dut.clkmgr_csr_assert.clk_hints_rd_A 00712111631172600
tb.dut.clkmgr_csr_assert.extclk_ctrl_rd_A 00712111631759700
tb.dut.clkmgr_csr_assert.extclk_ctrl_regwen_rd_A 00712111631151800
tb.dut.clkmgr_csr_assert.jitter_enable_rd_A 00712111631887700
tb.dut.clkmgr_csr_assert.jitter_regwen_rd_A 00712111631222000
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Stepped_A 00204665379275500
tb.dut.clkmgr_div2_sva_if.g_div2.Div2Whole_A 00204665379326600
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Stepped_A 00101632288269500
tb.dut.clkmgr_div4_sva_if.g_div4.Div4Whole_A 00101632288311500
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqFall_A 0070292503254800
tb.dut.clkmgr_extclk_sva_if.AllClkBypReqRise_A 0070292503254800
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelFall_A 0070292503151300
tb.dut.clkmgr_extclk_sva_if.HiSpeedSelRise_A 0070292503151300
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqFall_A 0070292503318000
tb.dut.clkmgr_extclk_sva_if.IoClkBypReqRise_A 0070292503318000
tb.dut.clkmgr_hmac_trans_sva_if.TransStart_A 00218110166200100
tb.dut.clkmgr_hmac_trans_sva_if.TransStop_A 00218110166104200
tb.dut.clkmgr_io_div2_peri_sva_if.GateClose_A 00101632288195800
tb.dut.clkmgr_io_div2_peri_sva_if.GateOpen_A 00101632288335300
tb.dut.clkmgr_io_div4_peri_sva_if.GateClose_A 0050815973186300
tb.dut.clkmgr_io_div4_peri_sva_if.GateOpen_A 0050815973325800
tb.dut.clkmgr_io_peri_sva_if.GateClose_A 00204665379196800
tb.dut.clkmgr_io_peri_sva_if.GateOpen_A 00204665379336500
tb.dut.clkmgr_kmac_trans_sva_if.TransStart_A 00218110166201100
tb.dut.clkmgr_kmac_trans_sva_if.TransStop_A 00218110166106500
tb.dut.clkmgr_lost_calib_io_ctrl_en_sva_if.CtrlEnOn_A 0070292503546000
tb.dut.clkmgr_lost_calib_io_div2_ctrl_en_sva_if.CtrlEnOn_A 0070292503734100
tb.dut.clkmgr_lost_calib_io_div4_ctrl_en_sva_if.CtrlEnOn_A 00702925031107500
tb.dut.clkmgr_lost_calib_main_ctrl_en_sva_if.CtrlEnOn_A 0070292503543200
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007029250310737683056
tb.dut.clkmgr_lost_calib_usb_ctrl_en_sva_if.CtrlEnOn_A 0070292503745600
tb.dut.clkmgr_otbn_trans_sva_if.TransStart_A 00218110166203600
tb.dut.clkmgr_otbn_trans_sva_if.TransStop_A 00218110166102000
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusFall_A 007029250315500
tb.dut.clkmgr_pwrmgr_io_sva_if.StatusRise_A 007029250315500
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusFall_A 007029250315000
tb.dut.clkmgr_pwrmgr_main_sva_if.StatusRise_A 007029250315000
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusFall_A 007029250314900
tb.dut.clkmgr_pwrmgr_usb_sva_if.StatusRise_A 007029250314900
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqFalse_A 00702925036836245300
tb.dut.clkmgr_sec_cm_checker_assert.AllClkBypReqTrue_A 00702925037902900
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00702925036831156402328
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqTrue_A 007029250312607600
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckFalse_A 00702925036836693900
tb.dut.clkmgr_sec_cm_checker_assert.LcClkBypAckTrue_A 00702925037454300
tb.dut.clkmgr_usb_peri_sva_if.GateClose_A 00104685919192100
tb.dut.clkmgr_usb_peri_sva_if.GateOpen_A 00104685919331800
tb.dut.tlul_assert_device.aKnown_A 0071211163697195000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 00712111636925053700
tb.dut.tlul_assert_device.aReadyKnown_A 00712111636925053700
tb.dut.tlul_assert_device.dKnown_A 0071211163693763600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 00712111636925053700
tb.dut.tlul_assert_device.dReadyKnown_A 00712111636925053700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0098198100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 0071211747569768500
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 0071211163104186300
tb.dut.tlul_assert_device.gen_device.contigMask_M 007121174721743900
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 007121174713012000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 0071211163115441100
tb.dut.tlul_assert_device.gen_device.legalAParam_M 0071211747697195000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 0071211747693763600
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 0071211747697195000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 0071211747693763600
tb.dut.tlul_assert_device.gen_device.respOpcode_A 0071211747693763600
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 0071211747693763600
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 007121116362376700
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 007121116347491900
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0098198100
tb.dut.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clk_io_div2_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_io_div2_peri_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clk_io_div2_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_clk_io_div4_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_io_div4_peri_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clk_io_div4_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_clk_io_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_io_peri_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clk_io_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_clk_main_aes_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_aes_trans.u_idle_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002181097311877600
tb.dut.u_clk_main_aes_trans.u_prim_mubi4_sender.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_aes_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021810973121454471100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_hmac_trans.u_idle_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002181097311894800
tb.dut.u_clk_main_hmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_hmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021810973121454471100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_kmac_trans.u_idle_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002181097311867700
tb.dut.u_clk_main_kmac_trans.u_prim_mubi4_sender.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_kmac_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021810973121454471100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_otbn_trans.u_idle_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002181097311892800
tb.dut.u_clk_main_otbn_trans.u_prim_mubi4_sender.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.OutputsKnown_A 0021810973121454471100
tb.dut.u_clk_main_otbn_trans.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021810973121454471100
tb.dut.u_clk_usb_peri_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clk_usb_peri_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clk_usb_peri_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_all_ack_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clkmgr_byp.u_all_ack_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00702925031208000
tb.dut.u_clkmgr_byp.u_all_byp_req.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_en_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clkmgr_byp.u_en_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_hi_speed_sel.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_io_ack_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clkmgr_byp.u_io_ack_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 00702925031067800
tb.dut.u_clkmgr_byp.u_io_byp_req.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_lc_byp_req.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_clkmgr_byp.u_lc_byp_req.OutputsKnown_A 00702925036844340300
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00702925036843751302328
tb.dut.u_io_div2_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div2_div_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_io_div2_div_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div2_meas.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckAckNeedsReq 0070292503159300
tb.dut.u_io_div2_meas.u_err_sync.SyncReqAckHoldReq 00101631881159300
tb.dut.u_io_div2_meas.u_meas.RefCntVal_A 0077677600
tb.dut.u_io_div2_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00101631881155739700
tb.dut.u_io_div2_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077677600
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.DstPulseCheck_A 001016318814408700
tb.dut.u_io_div2_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069792314362300
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010163188110163188100
tb.dut.u_io_div2_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010163188110163188100
tb.dut.u_io_div4_div_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div4_div_scanmode_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_io_div4_div_scanmode_sync.gen_no_flops.OutputDelay_A 00702925036844340300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div4_meas.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckAckNeedsReq 0070292503140000
tb.dut.u_io_div4_meas.u_err_sync.SyncReqAckHoldReq 0050815584140000
tb.dut.u_io_div4_meas.u_meas.RefCntVal_A 0077677600
tb.dut.u_io_div4_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 0050815584148718000
tb.dut.u_io_div4_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077677600
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.DstPulseCheck_A 00508155844363800
tb.dut.u_io_div4_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069792314317400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.OutputsKnown_A 00508155845081558400
tb.dut.u_io_div4_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 00508155845081558400
tb.dut.u_io_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_meas.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_meas.u_err_sync.SyncReqAckAckNeedsReq 0070292503153300
tb.dut.u_io_meas.u_err_sync.SyncReqAckHoldReq 00204664949153300
tb.dut.u_io_meas.u_meas.RefCntVal_A 0077677600
tb.dut.u_io_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00204664949155747200
tb.dut.u_io_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077677600
tb.dut.u_io_meas.u_meas.u_sync_ref.DstPulseCheck_A 002046649494436900
tb.dut.u_io_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0069792314390400
tb.dut.u_io_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_root_ctrl.u_scanmode_sync.OutputsKnown_A 0020466494920292464200
tb.dut.u_io_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0020466494920292464200
tb.dut.u_io_step_down_req_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_io_step_down_req_sync.OutputsKnown_A 0020466494920124665400
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020466494920124089102328
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputIfUnstable_A 002046649491726500
tb.dut.u_main_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_main_meas.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_main_meas.u_err_sync.SyncReqAckAckNeedsReq 0070292503145000
tb.dut.u_main_meas.u_err_sync.SyncReqAckHoldReq 00218109731145000
tb.dut.u_main_meas.u_meas.RefCntVal_A 0077677600
tb.dut.u_main_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00218109731155935600
tb.dut.u_main_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077677600
tb.dut.u_main_meas.u_meas.u_sync_ref.DstPulseCheck_A 002181097315296900
tb.dut.u_main_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070360175291800
tb.dut.u_main_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_main_root_ctrl.u_scanmode_sync.OutputsKnown_A 0021810973121629659900
tb.dut.u_main_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0021810973121629659900
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.DivEven_A 0077677600
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 0010146277210146199600
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 0020466494920466417300
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 0010163188110163110500
tb.dut.u_no_scan_io_div2_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020466494920466417300
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.DivEven_A 0077677600
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown0 00508155845081480800
tb.dut.u_no_scan_io_div4_div.gen_generic.u_impl_generic.u_clk_mux.gen_generic.u_impl_generic.selKnown1 0020466494920466417300
tb.dut.u_prim_mubi4_sender_clk_io_div2_infra.OutputsKnown_A 0010163188110079248700
tb.dut.u_prim_mubi4_sender_clk_io_div2_peri.OutputsKnown_A 0010163188110079248700
tb.dut.u_prim_mubi4_sender_clk_io_div4_infra.OutputsKnown_A 00508155845039596300
tb.dut.u_prim_mubi4_sender_clk_io_div4_peri.OutputsKnown_A 00508155845039596300
tb.dut.u_prim_mubi4_sender_clk_io_div4_secure.OutputsKnown_A 00508155845039596300
tb.dut.u_prim_mubi4_sender_clk_io_div4_timers.OutputsKnown_A 00508155845039596300
tb.dut.u_prim_mubi4_sender_clk_io_infra.OutputsKnown_A 0020466494920124665400
tb.dut.u_prim_mubi4_sender_clk_io_peri.OutputsKnown_A 0020466494920124665400
tb.dut.u_prim_mubi4_sender_clk_main_infra.OutputsKnown_A 0021810973121454471100
tb.dut.u_prim_mubi4_sender_clk_main_secure.OutputsKnown_A 0021810973121454471100
tb.dut.u_prim_mubi4_sender_clk_usb_infra.OutputsKnown_A 0010468552710296955600
tb.dut.u_prim_mubi4_sender_clk_usb_peri.OutputsKnown_A 0010468552710296955600
tb.dut.u_reg.en2addrHit 007121116341930700
tb.dut.u_reg.reAfterRv 007121116341930700
tb.dut.u_reg.rePulse 007121116311912800
tb.dut.u_reg.u_chk.PayLoadWidthCheck 0098198100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.BusySrcReqChk_A 00712111636142400
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.DstReqKnown_A 0010274887510186237800
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712111631254100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010274887559500
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712111631313600
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001027488751253900
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001027488751254100
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631254100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712111639556800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010274887510186237800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712111631836800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712111631836400
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001027488751838200
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001027488751837300
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631839900
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010274887510186237800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712111632700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001027488752700
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010274887510186237800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712111632800
tb.dut.u_reg.u_io_div2_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001027488752800
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.BusySrcReqChk_A 00712111639715700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.DstReqKnown_A 00513740765093094200
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712111631254100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 005137407659500
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712111631313600
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 00513740761251300
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 00513740761254100
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631254100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 007121116315552500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.DstReqKnown_A 00513740765093094200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712111631845800
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712111631845700
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 00513740761846500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 00513740761845900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631848900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 00513740765093094200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712111632900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 00513740762900
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 00513740765093094200
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712111633500
tb.dut.u_reg.u_io_div4_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 00513740763500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.BusySrcReqChk_A 00712111634313900
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.DstReqKnown_A 0020699306420338645200
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712111631254100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0020699306459500
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712111631313600
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002069930641254100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002069930641254100
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631254100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712111636601500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.DstReqKnown_A 0020699306420338645200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712111631828800
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712111631828700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002069930641829700
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002069930641829600
tb.dut.u_reg.u_io_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631830900
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0020699306420338645200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712111633500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002069930643500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0020699306420338645200
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712111633500
tb.dut.u_reg.u_io_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002069930643500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.BusySrcReqChk_A 00712111634304300
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.DstReqKnown_A 0022053496121677377500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712111631254100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0022053496159500
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712111631313600
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 002205349611254100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 002205349611254100
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631254100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712111636690500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.DstReqKnown_A 0022053496121677377500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712111631841600
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712111631841400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 002205349611842400
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 002205349611842300
tb.dut.u_reg.u_main_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631843900
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0022053496121677377500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712111633200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 002205349613200
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0022053496121677377500
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712111633100
tb.dut.u_reg.u_main_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 002205349613100
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0098198100
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0098198100
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0098198100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0098198100
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0098198100
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0098198100
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0098198100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.BusySrcReqChk_A 00712111636032800
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.DstReqKnown_A 0010584961210403951600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcAckBusyChk_A 00712111631209600
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 0010584961259500
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 00712111631269100
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001058496121200200
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.DstPulseCheck_A 001058496121216000
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631254100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.BusySrcReqChk_A 00712111639558800
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.DstReqKnown_A 0010584961210403951600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcAckBusyChk_A 00712111631802100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.SrcBusyKnown_A 00712111636925053700
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00712111631798900
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001058496121812100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.DstPulseCheck_A 001058496121808200
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_cdc.u_src_to_dst_req.SrcPulseCheck_M 00712111631825300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi.MubiIsNotYetSupported_A 0010584961210403951600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.DstPulseCheck_A 00712111632400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_hi_err_update_sync.SrcPulseCheck_M 001058496122400
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.CheckSwAccessIsLegal_A 0098198100
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo.MubiIsNotYetSupported_A 0010584961210403951600
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.DstPulseCheck_A 00712111632300
tb.dut.u_reg.u_usb_meas_ctrl_shadowed_lo_err_update_sync.SrcPulseCheck_M 001058496122300
tb.dut.u_reg.wePulse 007121116330017900
tb.dut.u_usb_meas.u_calib_rdy_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_usb_meas.u_calib_rdy_sync.OutputsKnown_A 00702925036844340300
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_usb_meas.u_err_sync.SyncReqAckAckNeedsReq 0070292503134300
tb.dut.u_usb_meas.u_err_sync.SyncReqAckHoldReq 00104685527134300
tb.dut.u_usb_meas.u_meas.RefCntVal_A 0077677600
tb.dut.u_usb_meas.u_meas.gen_clk_timeout_chk.u_timeout_ref_to_clk.u_ref_timeout.SyncReqAckAckNeedsReq 00104685527155929800
tb.dut.u_usb_meas.u_meas.gen_timeout_assert.ClkRatios_A 0077677600
tb.dut.u_usb_meas.u_meas.u_sync_ref.DstPulseCheck_A 001046855275231100
tb.dut.u_usb_meas.u_meas.u_sync_ref.SrcPulseCheck_M 0070360625231100
tb.dut.u_usb_root_ctrl.u_scanmode_sync.NumCopiesMustBeGreaterZero_A 0077677600
tb.dut.u_usb_root_ctrl.u_scanmode_sync.OutputsKnown_A 0010468552710381357200
tb.dut.u_usb_root_ctrl.u_scanmode_sync.gen_no_flops.OutputDelay_A 0010468552710381357200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.clkmgr_lost_calib_regwen_sva_if.RegwenOff_A 007029250310737683056
tb.dut.clkmgr_sec_cm_checker_assert.IoClkBypReqFalse_A 00702925036831156402328
tb.dut.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clk_main_aes_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_hmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_kmac_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clk_main_otbn_trans.u_idle_sync.gen_flops.gen_stable_chks.OutputDelay_A 0021810973121453890702328
tb.dut.u_clkmgr_byp.u_all_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_en_sync.gen_flops.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_io_ack_sync.gen_flops.gen_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_clkmgr_byp.u_lc_byp_req.gen_flops.OutputDelay_A 00702925036843751302328
tb.dut.u_io_div2_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_div4_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_io_step_down_req_sync.gen_flops.gen_stable_chks.OutputDelay_A 0020466494920124089102328
tb.dut.u_main_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328
tb.dut.u_reg.u_io_div2_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010274887500981
tb.dut.u_reg.u_io_div4_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 005137407600981
tb.dut.u_reg.u_io_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0020699306400981
tb.dut.u_reg.u_main_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0022053496100981
tb.dut.u_reg.u_usb_meas_ctrl_en_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0010584961200981
tb.dut.u_usb_meas.u_calib_rdy_sync.gen_flops.gen_no_stable_chks.OutputDelay_A 00702925036843751302328


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0071211747937893780
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0071211747305330530
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007121174713304133040
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00712117478813888138756

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0071211747937893780
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 0071211747305330530
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 007121174713304133040
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 00712117478813888138756

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