VC SpyGlass™ RTL Static Signoff platform, part of the Synopsys Verification Family, builds on the proven SpyGlass® technology. Increasing SoC complexity demands verifying correct construction of RTL, clock domain crossing (CDC), and reset domain crossing (RDC) early in the RTL phase of development. Synopsys VC SpyGlass integrates advanced algorithms and analysis techniques that provides designers detailed information and insights about their design much earlier in the RTL phase. Synopsys also offers Static Verification Services specializing in enhancing productivity and reducing risk by working closely with domain experts in the deployment of verification methodology.
In addition, Synopsys offers TestMAX™ Advisor which performs RTL testability analysis and optimization to predictably meet manufacturing and in-system test coverage goals by leveraging VC SpyGlass technology.