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
Uncovered40.39
Success102499.61
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 009010181202700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A 0090101812900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A 009010181781483800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A 009010181781706600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A 0090101813100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A 0090101813100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.EnterStableSt_A 0090101812900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A 0090101812900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.StayInStableSt 009010181198000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A 009010181600900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A 009010181900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntClr_A 00901018113100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntIncr_A 0090101811863100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.CntNoWrap_A 009010181837928900
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A 009010181300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedOut_A 009010181772000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A 0090101816000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A 009010181825898800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A 009010181826120600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A 0090101817000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A 0090101816300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.EnterStableSt_A 0090101816000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A 0090101816000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.StayInStableSt 009010181763200
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[5].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A 0090101813000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntClr_A 0090101817500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntIncr_A 00901018112513700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.CntNoWrap_A 009010181837934500
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedOut_A 0090101815822000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DetectedPulseOut_A 0090101813700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledIdleSt_A 009010181771119400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.DisabledNoDetection_A 009010181771341800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDebounceSt_A 0090101813800
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterDetectSt_A 0090101813700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.EnterStableSt_A 0090101813700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.PulseIsPulse_A 0090101813700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.StayInStableSt 0090101815816100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_edge_to_low_event_sva.EdgeToLowEvent_A 009010181655400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_low_level_sva.LowLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_h2l.gen_not_sticky_sva.StableStDropOut_A 0090101811300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntClr_A 00901018110300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntIncr_A 0090101816035000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.CntNoWrap_A 009010181837931700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectStDropOut_A 009010181400
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedOut_A 00901018111031700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DetectedPulseOut_A 0090101814700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledIdleSt_A 009010181814756600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.DisabledNoDetection_A 009010181814979700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDebounceSt_A 0090101815300
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterDetectSt_A 0090101815100
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.EnterStableSt_A 0090101814700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.PulseIsPulse_A 0090101814700
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.StayInStableSt 00901018111025000
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_high_level_sva.HighLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_keyintr.gen_keyfsm[6].u_sysrst_ctrl_detect_l2h.gen_not_sticky_sva.StableStDropOut_A 0090101812500
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntClr_A 00901018120200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntIncr_A 00901018135927400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.CntNoWrap_A 009010181837921800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectStDropOut_A 0090101811900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedOut_A 00901018117398700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DetectedPulseOut_A 0090101816100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledIdleSt_A 009010181611182800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.DisabledNoDetection_A 009010181611410300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDebounceSt_A 00901018112200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterDetectSt_A 0090101818000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.EnterStableSt_A 0090101816100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.PulseIsPulse_A 0090101816100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.StayInStableSt 00901018117392600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_event_sva.HighLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_high_level_sva.HighLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_ac_present.gen_sticky_sva.StableStDropOut_A 00901018177230100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntClr_A 00901018119800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntIncr_A 00901018177047300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.CntNoWrap_A 009010181837922200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectStDropOut_A 0090101811100
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedOut_A 00901018132070200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DetectedPulseOut_A 0090101815300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledIdleSt_A 009010181611182800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.DisabledNoDetection_A 009010181611410300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDebounceSt_A 00901018113400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterDetectSt_A 0090101816400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.EnterStableSt_A 0090101815300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.PulseIsPulse_A 0090101815300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.StayInStableSt 00901018132064900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_high_level_sva.HighLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_lid_open.gen_sticky_sva.StableStDropOut_A 00901018180565000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntClr_A 00901018119000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntIncr_A 00901018133903300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.CntNoWrap_A 009010181837923000
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectStDropOut_A 009010181900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedOut_A 00901018156626600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DetectedPulseOut_A 0090101815900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledIdleSt_A 009010181611182800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.DisabledNoDetection_A 009010181611410300
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDebounceSt_A 00901018112200
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterDetectSt_A 0090101816800
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.EnterStableSt_A 0090101815900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.PulseIsPulse_A 0090101815900
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.StayInStableSt 00901018156620700
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_edge_to_low_event_sva.EdgeToLowEvent_A 009010181655400
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_low_level_sva.LowLevelEvent_A 009010181838169600
tb.dut.u_sysrst_ctrl_ulp.u_sysrst_ctrl_detect_pwrb.gen_sticky_sva.StableStDropOut_A 009010181133337100

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

Detail Report for Cover Sequences

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0012242895497328447328440
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001224289549697369730
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00122428954917815178150
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00122428954913260132600
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00122428954917120171200
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00122428954910412104120
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001224289549635463540
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001224289549254825480
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 001224289549632463240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0012242895498085580855845

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 0012242895497328447328440
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 001224289549697369730
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00122428954917815178150
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 00122428954913260132600
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00122428954917120171200
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 00122428954910412104120
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 001224289549635463540
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 001224289549254825480
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 001224289549632463240
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0012242895498085580855845