The VC SpyGlass™ linting solution integrates industry-standard best practices with Synopsys’ extensive experience working with industry-leaders. Lint checks include design reuse compliance checks such as STARC and OpenMORE to enforce a consistent style throughout the design, ease the integration of multi-team and multi-vendor IP, and promote design reuse.
VC SpyGlass Lint uses advanced formal techniques to pinpoint deeper functional problems in RTL designs without requiring test benches or assertions. The integrated solution of traditional linting technology with formal technology leverages the comprehensive and widely used lint checks within formal flow resulting in noise reduction and improved accuracy of results. The Formal Aware lint coupled with the increased ease of use results in advanced debugging and interactivity.