A multitude of coding styles, structural and electrical design issues can manifest themselves as design bugs and result in design iterations or silicon respins. Other tools may detect design bugs but often at late stages of design implementation, after a significant investment in time and effort has already been made. As design teams become geographically dispersed, consistency and correctness of design intent become a key challenge for chip integration teams. Emphasis on design reuse and IP integration requires that design elements be integrated and meet guidelines for correctness and consistency within a shorter span than necessary.
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.
Faster Closure with Reduced Setup and Debug using Advanced RTL Static Signoff Platform
Shift Left Verification with Comprehensive Lint Signoff
Achieving CDC Signoff on Multi Billion Gate Designs with Hierarchical CDC Flow
VC SpyGlass CDC: Constraint-Based Verification of Clock Domain Crossings
VC SpyGlass RDC: Exhaustive Verification of Reset Domain Crossings