Static & Formal Verification

Advanced Static and Formal Verification

Next-generation technologies to find bugs earlier in the design cycle, and accelerate root cause analysis.

Next-Generation Static and Formal Verification Solutions

VC Formal, VC LP and SpyGlass combine to enable designers and verification engineers to quickly analyze and check RTL designs very early in the design flow, with no need for complex setup, testbenches or stimulus. This allows many bugs to be found and fixed before simulation, making simulation faster and more effective, and reducing overall cost, time and effort. Synopsys’ SpyGlass and formal verification solutions are built on next-generation databases and engines to provide the capacity and performance required to verify the largest, most complex designs. In addition, VC Formal and VC LP provide unified design read and common look-and-feel with Design Compiler-like TCL support, enabling rapid and easy adoption and excellent ease-of-use and debug.