Synopsys VC SpyGlass™ RTL static signoff solution, builds on the proven Synopsys 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 TestMAX™ Advisor tool performs RTL testability analysis and optimization to predictably meet manufacturing and in-system test coverage goals by leveraging VC SpyGlass technology.