New in JasperGold™ Verification System v4.2 is the interface to Novas Verdi™ Automated Debug Systems for debugging formal verification design space. At the request of the user, The JasperGold System can launch Novas, load in the design, and display the analysis region, cone of influence or entire design schematically for a given proof. The schematic will contain the same signal coloring as the JasperGold Verification System debugging window, allowing the user to quickly relate the information between the two views. In advanced operations like Design Tunneling, the user can update the analysis region view to have an up-to-date schematic view of the current region for analysis, making manual tunneling decisions easier for the user.