Go previous page

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A	0	0	7138329	6440567	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A	0	0	7138329	6442892	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A	0	0	7138329	33	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A	0	0	7138329	33	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.EnterStableSt_A	0	0	7138329	31	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A	0	0	7138329	31	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.StayInStableSt	0	0	7138329	1597	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A	0	0	7138329	6012	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	14	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.CntClr_A	0	0	7138329	115	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.CntIncr_A	0	0	7138329	57321	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.CntNoWrap_A	0	0	7138329	6515516	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A	0	0	7138329	2	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.DetectedOut_A	0	0	7138329	63848	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A	0	0	7138329	6225082	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A	0	0	7138329	6227406	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A	0	0	7138329	60	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A	0	0	7138329	56	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.EnterStableSt_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.StayInStableSt	0	0	7138329	63768	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[4].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	26	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.CntClr_A	0	0	7138329	89	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.CntIncr_A	0	0	7138329	55445	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.CntNoWrap_A	0	0	7138329	6515542	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectStDropOut_A	0	0	7138329	2	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectedOut_A	0	0	7138329	2915	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A	0	0	7138329	42	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A	0	0	7138329	6431280	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A	0	0	7138329	6433601	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A	0	0	7138329	45	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A	0	0	7138329	44	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterStableSt_A	0	0	7138329	42	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A	0	0	7138329	42	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.StayInStableSt	0	0	7138329	2854	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A	0	0	7138329	6156	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	21	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntClr_A	0	0	7138329	122	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntIncr_A	0	0	7138329	85296	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntNoWrap_A	0	0	7138329	6515509	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A	0	0	7138329	5	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedOut_A	0	0	7138329	4108	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A	0	0	7138329	6191779	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A	0	0	7138329	6194098	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A	0	0	7138329	63	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A	0	0	7138329	59	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterStableSt_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A	0	0	7138329	54	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.StayInStableSt	0	0	7138329	4032	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	30	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntClr_A	0	0	7138329	69	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntIncr_A	0	0	7138329	1822	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntNoWrap_A	0	0	7138329	6515562	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedOut_A	0	0	7138329	2114	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A	0	0	7138329	34	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A	0	0	7138329	6058327	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A	0	0	7138329	6060646	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A	0	0	7138329	35	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A	0	0	7138329	34	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterStableSt_A	0	0	7138329	34	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A	0	0	7138329	34	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.StayInStableSt	0	0	7138329	2066	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A	0	0	7138329	6847	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	18	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntClr_A	0	0	7138329	149	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntIncr_A	0	0	7138329	103989	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntNoWrap_A	0	0	7138329	6515482	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A	0	0	7138329	3	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedOut_A	0	0	7138329	150701	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A	0	0	7138329	69	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A	0	0	7138329	6245421	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A	0	0	7138329	6247739	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A	0	0	7138329	77	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A	0	0	7138329	72	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterStableSt_A	0	0	7138329	69	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A	0	0	7138329	69	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.StayInStableSt	0	0	7138329	150604	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A	0	0	7138329	39	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntClr_A	0	0	7138329	170	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntIncr_A	0	0	7138329	231047	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntNoWrap_A	0	0	7138329	6515461	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectStDropOut_A	0	0	7138329	10	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedOut_A	0	0	7138329	93575	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedPulseOut_A	0	0	7138329	49	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledIdleSt_A	0	0	7138329	5337545	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledNoDetection_A	0	0	7138329	5339913	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDebounceSt_A	0	0	7138329	112	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDetectSt_A	0	0	7138329	59	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterStableSt_A	0	0	7138329	49	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.PulseIsPulse_A	0	0	7138329	49	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.StayInStableSt	0	0	7138329	93526	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_event_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_level_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_sticky_sva.StableStDropOut_A	0	0	7138329	847873	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntClr_A	0	0	7138329	164	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntIncr_A	0	0	7138329	5652	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntNoWrap_A	0	0	7138329	6515467	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectStDropOut_A	0	0	7138329	11	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedOut_A	0	0	7138329	10132	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedPulseOut_A	0	0	7138329	48	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledIdleSt_A	0	0	7138329	5337545	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledNoDetection_A	0	0	7138329	5339913	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDebounceSt_A	0	0	7138329	106	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDetectSt_A	0	0	7138329	59	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterStableSt_A	0	0	7138329	48	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.PulseIsPulse_A	0	0	7138329	48	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.StayInStableSt	0	0	7138329	10084	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_high_level_sva.HighLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_sticky_sva.StableStDropOut_A	0	0	7138329	936025	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntClr_A	0	0	7138329	173	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntIncr_A	0	0	7138329	262941	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntNoWrap_A	0	0	7138329	6515458	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectStDropOut_A	0	0	7138329	9	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedOut_A	0	0	7138329	663765	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedPulseOut_A	0	0	7138329	40	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledIdleSt_A	0	0	7138329	5337545	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledNoDetection_A	0	0	7138329	5339913	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDebounceSt_A	0	0	7138329	125	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDetectSt_A	0	0	7138329	49	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterStableSt_A	0	0	7138329	40	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.PulseIsPulse_A	0	0	7138329	40	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.StayInStableSt	0	0	7138329	663725	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_edge_to_low_event_sva.EdgeToLowEvent_A	0	0	7138329	6847	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_low_level_sva.LowLevelEvent_A	0	0	7138329	6518002	0	0
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_sticky_sva.StableStDropOut_A	0	0	7138329	143046	0	0

Assertions Incomplete:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
tb.dut.u_reg.u_combo_intr_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A	0	0	7397749	687	0	918
tb.dut.u_reg.u_key_intr_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A	0	0	7397749	266	0	918
tb.dut.u_reg.u_ulp_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A	0	0	7397749	65	0	918
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A	0	0	7397749	777	0	918

---

Detail Report for Cover Sequences

Cover Sequences All Matches:

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE	SRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C	0	0	1254871196	966400	966400	0
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C	0	0	1254871196	2716	2716	0
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C	0	0	1254871196	6256	6256	0
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C	0	0	1254871196	4634	4634	0
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	1254871196	5665	5665	0
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	1254871196	3725	3725	0
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	1254871196	3138	3138	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C	0	0	1254871196	5582	5582	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C	0	0	1254871196	16162	16162	0
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C	0	0	1254871196	89023	89023	857

Cover Sequences First Matches:

COVER SEQUENCES	CATEGORY	SEVERITY	ATTEMPTS	ALL MATCHES	FIRST MATCHES	INCOMPLETE	SRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C	0	0	1254871196	966400	966400	0
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C	0	0	1254871196	2716	2716	0
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C	0	0	1254871196	6256	6256	0
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C	0	0	1254871196	4634	4634	0
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C	0	0	1254871196	5665	5665	0
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C	0	0	1254871196	3725	3725	0
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C	0	0	1254871196	3138	3138	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C	0	0	1254871196	5582	5582	0
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C	0	0	1254871196	16162	16162	0
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C	0	0	1254871196	89023	89023	857