System, method, and computer program product for debugging one or more observable failures in a formal verification

A non-transitory computer-readable storage medium for electronic design verification, the computer-readable storage medium having stored thereon instructions that when executed by a machine result in one or more operations, the operations comprising:

• providing, using a processor, an electronic design;
• determining one or more design violations based upon, at least in part, a structural observability filter;
• generating a violation trace based upon, at least in part, the one or more design violations, wherein the violation trace includes a violation starting point and at least one boundary signal;
• displaying the violation trace at a graphical user interface configured to allow a user to debug the one or more design violations;
• allowing the user to select at least one path to be waived at the graphical user interface;
• generating a new violation trace without the at least one path to be waived;
• and
• allowing the user to debug beginning at the boundary signal after the new violation trace without the at least one path to be waived is generated.