Assertions
dashboard | hierarchy | modlist | groups | tests | asserts
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1279010
Category 01279010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1279010
Severity 01279010


Summary for Assertions
NUMBERPERCENT
Total Number1279100.00
Uncovered20.16
Success127799.84
Failure00.00
Incomplete493.83
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00
Go previous page
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETE
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_45.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_45.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_46.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_46.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_47.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_47.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_48.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_48.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_49.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_49.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_5.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_5.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_50.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_50.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_51.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_51.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_52.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_52.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_53.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_53.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_54.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_54.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_55.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_55.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_56.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_56.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_57.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_57.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_58.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_58.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_59.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_59.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_6.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_6.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_60.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_60.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_61.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_61.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_62.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_62.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_63.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_63.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_64.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_64.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_7.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_7.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_8.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_8.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_9.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_alert_en_shadowed_9.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_chk.PayLoadWidthCheck 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_accum_thresh_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_accum_thresh_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_clr_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_clr_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_crashdump_trigger_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_crashdump_trigger_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_en_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_lock.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_lock.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_ctrl_shadowed_map_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_phase0_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_phase0_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_phase1_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_phase1_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_phase2_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_phase2_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_phase3_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_phase3_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classa_timeout_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classa_timeout_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_accum_thresh_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_accum_thresh_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_clr_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_clr_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_crashdump_trigger_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_crashdump_trigger_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_en_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_lock.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_lock.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_ctrl_shadowed_map_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_phase0_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_phase0_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_phase1_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_phase1_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_phase2_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_phase2_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_phase3_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_phase3_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classb_timeout_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classb_timeout_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_accum_thresh_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_accum_thresh_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_clr_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_clr_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_crashdump_trigger_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_crashdump_trigger_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_en_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_lock.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_lock.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_ctrl_shadowed_map_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_phase0_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_phase0_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_phase1_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_phase1_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_phase2_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_phase2_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_phase3_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_phase3_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classc_timeout_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classc_timeout_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_accum_thresh_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_accum_thresh_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_clr_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_clr_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_crashdump_trigger_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_crashdump_trigger_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_en_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_lock.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_lock.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_ctrl_shadowed_map_e3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_phase0_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_phase0_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_phase1_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_phase1_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_phase2_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_phase2_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_phase3_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_phase3_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_classd_timeout_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_classd_timeout_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_4.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_4.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_5.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_5.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_6.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_class_shadowed_6.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_0.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_0.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_1.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_1.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_2.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_2.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_3.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_3.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_4.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_4.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_5.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_5.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_6.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_loc_alert_en_shadowed_6.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_ping_timeout_cyc_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_ping_timeout_cyc_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_ping_timer_en_shadowed.CheckSwAccessIsLegal_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_ping_timer_en_shadowed.MubiIsNotYetSupported_A 0067839444067770010300
tb.dut.u_reg_wrap.u_reg.u_reg_if.AllowedLatency_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_reg_if.MatchedWidthAssert 0082782700
tb.dut.u_reg_wrap.u_reg.u_reg_if.u_err.dataWidthOnly32_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0082782700
tb.dut.u_reg_wrap.u_reg.u_rsp_intg_gen.DataWidthCheck_A 0082782700
tb.dut.u_reg_wrap.u_reg.u_rsp_intg_gen.PayLoadWidthCheck 0082782700
tb.dut.u_reg_wrap.u_reg.wePulse 006783944407685916200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[0].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[0].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[10].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[10].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[11].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[11].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[12].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[12].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[13].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[13].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[14].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[14].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[15].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[15].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[16].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[16].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[17].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[17].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[18].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[18].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[19].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[19].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[1].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[1].u_prim_mubi4_sync_rst_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
tb.dut.u_alert_handler_lpg_ctrl.gen_lpgs[20].u_prim_mubi4_sync_cg_en.gen_flops.gen_no_stable_chks.OutputDelay_A 0065325320165306308601866
Go next page
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%