Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1028010
Category 01028010

Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1028010
Severity 01028010

Summary for Assertions
NUMBERPERCENT
Total Number1028100.00
Uncovered50.49
Success102399.51
Failure00.00
Incomplete10.10
Without Attempts00.00

Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered00.00
All Matches10100.00
First Matches10100.00
Go previous page
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETE
tb.dut.u_reg.u_key_intr_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001001383093000
tb.dut.u_reg.u_key_intr_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 001001383084600
tb.dut.u_reg.u_key_intr_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 00140120179793900
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.BusySrcReqChk_A 001401201797166290600
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.SrcAckBusyChk_A 001401201797182300
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001401201797182300
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 0010013830182300
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830173800
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797183200
tb.dut.u_reg.u_key_invert_ctl_cdc.BusySrcReqChk_A 001401201797180473100
tb.dut.u_reg.u_key_invert_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_key_invert_ctl_cdc.SrcAckBusyChk_A 001401201797194900
tb.dut.u_reg.u_key_invert_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_key_invert_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001401201797194900
tb.dut.u_reg.u_key_invert_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 0010013830194900
tb.dut.u_reg.u_key_invert_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830186200
tb.dut.u_reg.u_key_invert_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797195500
tb.dut.u_reg.u_pin_allowed_ctl_cdc.BusySrcReqChk_A 001401201797358214400
tb.dut.u_reg.u_pin_allowed_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_pin_allowed_ctl_cdc.SrcAckBusyChk_A 001401201797394500
tb.dut.u_reg.u_pin_allowed_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_pin_allowed_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001401201797394500
tb.dut.u_reg.u_pin_allowed_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 0010013830394500
tb.dut.u_reg.u_pin_allowed_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830386000
tb.dut.u_reg.u_pin_allowed_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797395600
tb.dut.u_reg.u_pin_out_ctl_cdc.BusySrcReqChk_A 001401201797446018500
tb.dut.u_reg.u_pin_out_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_pin_out_ctl_cdc.SrcAckBusyChk_A 001401201797489800
tb.dut.u_reg.u_pin_out_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_pin_out_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001401201797489800
tb.dut.u_reg.u_pin_out_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 0010013830489800
tb.dut.u_reg.u_pin_out_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830481100
tb.dut.u_reg.u_pin_out_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797490900
tb.dut.u_reg.u_pin_out_value_cdc.BusySrcReqChk_A 001401201797357286600
tb.dut.u_reg.u_pin_out_value_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_pin_out_value_cdc.SrcAckBusyChk_A 001401201797388600
tb.dut.u_reg.u_pin_out_value_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_pin_out_value_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 001401201797388600
tb.dut.u_reg.u_pin_out_value_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 0010013830388600
tb.dut.u_reg.u_pin_out_value_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830380700
tb.dut.u_reg.u_pin_out_value_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797389900
tb.dut.u_reg.u_reg_if.AllowedLatency_A 0091091000
tb.dut.u_reg.u_reg_if.MatchedWidthAssert 0091091000
tb.dut.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0091091000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0091091000
tb.dut.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0091091000
tb.dut.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0091091000
tb.dut.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0091091000
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.BusySrcReqChk_A 00140120179794276800
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.SrcAckBusyChk_A 00140120179794500
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00140120179794500
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001001383094500
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 001001383086700
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 00140120179795500
tb.dut.u_reg.u_ulp_ctl_cdc.BusySrcReqChk_A 00140120179793415200
tb.dut.u_reg.u_ulp_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_ulp_ctl_cdc.SrcAckBusyChk_A 00140120179796000
tb.dut.u_reg.u_ulp_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_ulp_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00140120179796000
tb.dut.u_reg.u_ulp_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001001383096000
tb.dut.u_reg.u_ulp_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 001001383087500
tb.dut.u_reg.u_ulp_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 00140120179796800
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.BusySrcReqChk_A 00140120179793071200
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.SrcAckBusyChk_A 00140120179793200
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00140120179793200
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001001383093200
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 001001383084600
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 00140120179794000
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.BusySrcReqChk_A 00140120179790014700
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.SrcAckBusyChk_A 00140120179793100
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.DstPulseCheck_A 00140120179793100
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.u_arb.gen_passthru.u_dst_to_src_ack.SrcPulseCheck_M 001001383093100
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.u_src_to_dst_req.DstPulseCheck_A 001001383085200
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc.u_src_to_dst_req.SrcPulseCheck_M 00140120179793900
tb.dut.u_reg.u_wkup_status_cdc.BusySrcReqChk_A 001401201797109695800
tb.dut.u_reg.u_wkup_status_cdc.DstReqKnown_A 0010013830939116100
tb.dut.u_reg.u_wkup_status_cdc.SrcAckBusyChk_A 001401201797112600
tb.dut.u_reg.u_wkup_status_cdc.SrcBusyKnown_A 001401201797140077935800
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 00100138306930909
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.HwIdSelCheck_A 001001383069300
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckAckNeedsReq 001401201797181900
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.u_dst_update_sync.SyncReqAckHoldReq 001001383094600
tb.dut.u_reg.u_wkup_status_cdc.u_src_to_dst_req.DstPulseCheck_A 0010013830104500
tb.dut.u_reg.u_wkup_status_cdc.u_src_to_dst_req.SrcPulseCheck_M 001401201797113500
tb.dut.u_reg.wePulse 00140120179711227400
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.CntClr_A 00977083819500
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.CntIncr_A 00977083825900300
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.CntNoWrap_A 009770838932895000
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.DetectStDropOut_A 009770838500
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.DetectedOut_A 00977083851200
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.DetectedPulseOut_A 0097708388400
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.DisabledIdleSt_A 009770838906569800
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.DisabledNoDetection_A 009770838906751500
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.EnterDebounceSt_A 00977083810800
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.EnterDetectSt_A 0097708388900
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.EnterStableSt_A 0097708388400
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.PulseIsPulse_A 0097708388400
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.StayInStableSt 00977083842800
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.gen_edge_to_low_event_sva.EdgeToLowEvent_A 009770838535400
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.gen_low_level_sva.LowLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_autoblock.u_sysrst_ctrl_detect.gen_not_sticky_sva.StableStDropOut_A 0097708388400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.CntClr_A 00977083883000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.CntIncr_A 0097708384698300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.CntNoWrap_A 009770838932831500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.DetectStDropOut_A 0097708385800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.DetectedOut_A 0097708381429600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.DetectedPulseOut_A 00977083832500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.DisabledIdleSt_A 009770838898439300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.DisabledNoDetection_A 009770838898558700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.EnterDebounceSt_A 00977083844400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.EnterDetectSt_A 00977083838700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.EnterStableSt_A 00977083832500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.PulseIsPulse_A 00977083832500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.StayInStableSt 0097708381394600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect.gen_not_sticky_sva.StableStDropOut_A 00977083829700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.CntClr_A 009770838277400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.CntIncr_A 0097708389606400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.CntNoWrap_A 009770838932637100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.DetectStDropOut_A 00977083831500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.DetectedOut_A 0097708387359400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.DetectedPulseOut_A 00977083890000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.DisabledIdleSt_A 009770838887774400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.DisabledNoDetection_A 009770838887940000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.EnterDebounceSt_A 009770838138900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.EnterDetectSt_A 009770838138500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.EnterStableSt_A 00977083890000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.PulseIsPulse_A 00977083890000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.StayInStableSt 0097708387258600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.gen_high_event_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[0].u_sysrst_ctrl_detect_pre.gen_not_sticky_sva.StableStDropOut_A 00977083878600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.CntClr_A 00977083873200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.CntIncr_A 0097708384032400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.CntNoWrap_A 009770838932841300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.DetectStDropOut_A 0097708382700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.DetectedOut_A 0097708381332600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.DetectedPulseOut_A 00977083831700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.DisabledIdleSt_A 009770838901010500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.DisabledNoDetection_A 009770838901134500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.EnterDebounceSt_A 00977083838400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.EnterDetectSt_A 00977083834800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.EnterStableSt_A 00977083831700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.PulseIsPulse_A 00977083831700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.StayInStableSt 0097708381297900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect.gen_not_sticky_sva.StableStDropOut_A 00977083827900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.CntClr_A 009770838291400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.CntIncr_A 00977083810724200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.CntNoWrap_A 009770838932623100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.DetectStDropOut_A 00977083836900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.DetectedOut_A 0097708386900200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.DetectedPulseOut_A 00977083887100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.DisabledIdleSt_A 009770838888196800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.DisabledNoDetection_A 009770838888363600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.EnterDebounceSt_A 009770838145900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.EnterDetectSt_A 009770838145500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.EnterStableSt_A 00977083887100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.PulseIsPulse_A 00977083887100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.StayInStableSt 0097708386803500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.gen_high_event_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[1].u_sysrst_ctrl_detect_pre.gen_not_sticky_sva.StableStDropOut_A 00977083875800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.CntClr_A 00977083876000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.CntIncr_A 0097708384460500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.CntNoWrap_A 009770838932838500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.DetectStDropOut_A 0097708385900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.DetectedOut_A 0097708381330500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.DetectedPulseOut_A 00977083829600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.DisabledIdleSt_A 009770838898768700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.DisabledNoDetection_A 009770838898889700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.EnterDebounceSt_A 00977083840100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.EnterDetectSt_A 00977083835900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.EnterStableSt_A 00977083829600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.PulseIsPulse_A 00977083829600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.StayInStableSt 0097708381298700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect.gen_not_sticky_sva.StableStDropOut_A 00977083827200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.CntClr_A 009770838312200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.CntIncr_A 00977083810784200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.CntNoWrap_A 009770838932602300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.DetectStDropOut_A 00977083840000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.DetectedOut_A 0097708387461300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.DetectedPulseOut_A 00977083894100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.DisabledIdleSt_A 009770838887916600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.DisabledNoDetection_A 009770838888082400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.EnterDebounceSt_A 009770838156300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.EnterDetectSt_A 009770838155900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.EnterStableSt_A 00977083894100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.PulseIsPulse_A 00977083894100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.StayInStableSt 0097708387356700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.gen_high_event_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[2].u_sysrst_ctrl_detect_pre.gen_not_sticky_sva.StableStDropOut_A 00977083882900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.CntClr_A 00977083881400
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.CntIncr_A 0097708384791200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.CntNoWrap_A 009770838932833100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.DetectStDropOut_A 0097708383500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.DetectedOut_A 0097708381461200
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.DetectedPulseOut_A 00977083835000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.DisabledIdleSt_A 009770838899429800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.DisabledNoDetection_A 009770838899552700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.EnterDebounceSt_A 00977083842600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.EnterDetectSt_A 00977083838900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.EnterStableSt_A 00977083835000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.PulseIsPulse_A 00977083835000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.StayInStableSt 0097708381422600
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect.gen_not_sticky_sva.StableStDropOut_A 00977083830900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.CntClr_A 009770838303000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.CntIncr_A 00977083810348300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.CntNoWrap_A 009770838932611500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.DetectStDropOut_A 00977083840000
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.DetectedOut_A 0097708387085500
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.DetectedPulseOut_A 00977083891300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.DisabledIdleSt_A 009770838888477900
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.DisabledNoDetection_A 009770838888645100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.EnterDebounceSt_A 009770838151700
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.EnterDetectSt_A 009770838151300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.EnterStableSt_A 00977083891300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.PulseIsPulse_A 00977083891300
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.StayInStableSt 0097708386985100
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.gen_high_event_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.gen_high_level_sva.HighLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_combo.gen_combo_trigger[3].u_sysrst_ctrl_detect_pre.gen_not_sticky_sva.StableStDropOut_A 00977083882200
tb.dut.u_sysrst_ctrl_intr.u_match_sync.SyncReqAckAckNeedsReq 001327980999102600
tb.dut.u_sysrst_ctrl_intr.u_match_sync.SyncReqAckHoldReq 009770838102500
tb.dut.u_sysrst_ctrl_intr.u_sysrst_ctrl_intr_o.IntrTKind_A 0074574500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.CntClr_A 0097708388300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.CntIncr_A 0097708383266900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.CntNoWrap_A 009770838932906200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.DetectedOut_A 009770838274100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A 0097708384000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A 009770838908885900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A 009770838909067900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A 0097708384300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A 0097708384000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.EnterStableSt_A 0097708384000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A 0097708384000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.StayInStableSt 009770838268500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A 009770838148900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A 009770838933099800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A 0097708382300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_l2h.CntClr_A 0097708384700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_l2h.CntIncr_A 009770838103900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[0].u_sysrst_ctrl_detect_l2h.CntNoWrap_A 009770838932909800
Go next page
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%