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_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectedOut_A 006005714272200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A 0060057143500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A 006005714533084500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A 006005714533306200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A 0060057144000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A 0060057143700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterStableSt_A 0060057143500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A 0060057143500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.StayInStableSt 006005714267000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A 006005714590800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A 0060057141700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntClr_A 00600571410900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntIncr_A 006005714326300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntNoWrap_A 006005714535971400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedOut_A 006005714512000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A 0060057145100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A 006005714534294000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A 006005714534516600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A 0060057145700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A 0060057145200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterStableSt_A 0060057145100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A 0060057145100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.StayInStableSt 006005714504100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A 0060057142300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntClr_A 0060057148400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntIncr_A 006005714223100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntNoWrap_A 006005714535973900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectStDropOut_A 006005714100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedOut_A 006005714293400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A 0060057144000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A 006005714533894500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A 006005714534115900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A 0060057144300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A 0060057144100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterStableSt_A 0060057144000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A 0060057144000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.StayInStableSt 006005714287200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A 006005714672700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A 0060057141700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntClr_A 00600571413800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntIncr_A 0060057146897000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntNoWrap_A 006005714535968500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A 006005714200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedOut_A 0060057143234200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A 0060057146500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A 006005714522049600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A 006005714522271000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A 0060057147100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A 0060057146700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterStableSt_A 0060057146500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A 0060057146500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.StayInStableSt 0060057143224800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A 0060057143500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntClr_A 00600571419100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntIncr_A 00600571414162700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntNoWrap_A 006005714535963200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectStDropOut_A 0060057141500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedOut_A 00600571456447700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedPulseOut_A 0060057146200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledIdleSt_A 006005714390891500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledNoDetection_A 006005714391118500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDebounceSt_A 00600571411400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDetectSt_A 0060057147700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterStableSt_A 0060057146200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.PulseIsPulse_A 0060057146200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.StayInStableSt 00600571456441500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_event_sva.HighLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_level_sva.HighLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_sticky_sva.StableStDropOut_A 00600571421246900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntClr_A 00600571421500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntIncr_A 0060057142738100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntNoWrap_A 006005714535960800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectStDropOut_A 0060057141600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedOut_A 00600571411906200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedPulseOut_A 0060057144800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledIdleSt_A 006005714390891500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledNoDetection_A 006005714391118500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDebounceSt_A 00600571415100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDetectSt_A 0060057146400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterStableSt_A 0060057144800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.PulseIsPulse_A 0060057144800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.StayInStableSt 00600571411901400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_high_level_sva.HighLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_sticky_sva.StableStDropOut_A 00600571469741800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntClr_A 00600571419900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntIncr_A 00600571413209300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntNoWrap_A 006005714535962400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectStDropOut_A 0060057142000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedOut_A 00600571448284200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedPulseOut_A 0060057145900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledIdleSt_A 006005714390891500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledNoDetection_A 006005714391118500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDebounceSt_A 00600571412000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDetectSt_A 0060057147900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterStableSt_A 0060057145900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.PulseIsPulse_A 0060057145900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.StayInStableSt 00600571448278300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_edge_to_low_event_sva.EdgeToLowEvent_A 006005714672700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_low_level_sva.LowLevelEvent_A 006005714536209400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_sticky_sva.StableStDropOut_A 00600571461013900

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_reg.u_wkup_status_cdc.u_arb.gen_wr_req.DstUpdateReqCheck_A 0062477988320911

Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0011246367486303166303160
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001124636748460246020
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00112463674811476114760
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001124636748855785570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00112463674810851108510
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001124636748676067600
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0011246367488208200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001124636748415441540
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00112463674813058130580
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0011246367489412294122847

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0011246367486303166303160
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001124636748460246020
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00112463674811476114760
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 001124636748855785570
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00112463674810851108510
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 001124636748676067600
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 0011246367488208200
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001124636748415441540
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00112463674813058130580
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0011246367489412294122847