Professional Documents
Culture Documents
Spyglass Lint: Early Design Analysis For Logic Designers
Spyglass Lint: Early Design Analysis For Logic Designers
SpyGlass Lint
Introduction
With soaring complexity and size of chips, achieving predictable design closure has
become a challenge. A multitude of coding style, structural and electrical design issues
can manifest themselves as design bugs and result in design iterations, or worst
still—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 becomes 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.
Lint
synopsys.com
SpyGlass Lint: Structural RTL Checks
SpyGlass linting integrates industry-standard best practices, as well as Synopsys’ own extensive experience working with industry-
leading customers. 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.
Design Design
planning Time planning Time
RTL RTL
design design
Implementation Implementation
Hundreds to
thousands SpyGlass
Saving
Tens
Implementation
Figure 2: The SpyGlass solution accelerates and economizes IC development by minimizing costly,
time-consuming design-and-debug iterations
• Smarter analysis in Turbo mode with violation categorization by root-cause for faster debug
• Faster hierarchical flow with abstract models with up to 10X performance gain
• Deeper analysis using formal technology to mitigate functional errors on corresponding structural lint rules and to remove
uncertainty with conclusive results
Using advanced formal analysis, SpyGlass pinpoints deeper functional problems in RTL designs without requiring test benches
or assertions.
2
User RTL
Synthesizability checks
Structural analysis
Netlist/ERC checks
Lint Turbo
• Sophisticated static and dynamic analysis identifies critical design issues at RTL
• A comprehensive set of electrical rules check to ensure netlist integrity
• Includes design reuse compliance checks, such as STARC and OpenMORE to enforce a consistent style throughout the design
• Customizable framework to capture and automate company expertise
• Integrated debug environment enables easy cross-probing among violation reports, schematic and RTL source
• The most comprehensive knowledge base of design expertise and industry best practices
• Supports Verilog, VHDL, V2K, SystemVerilog and mixed-language designs
• Tcl shell for efficient rule execution and design query
• SoC abstraction flow for faster performance and low noise
Advanced Methodology
SpyGlass Lint provides a structured, easy-to-use and comprehensive method for solving RTL design issues, thereby ensuring high-
quality RTL with fewer but meaningful violations.
3
Seamless Integration Increases Efficiency
SpyGlass Lint supports “correct-by-construction” design, leading to early design closure and minimizing costly back-end debugging
and iterations.
• Integrates with advanced SpyGlass capabilities like CDC, Constraints, Power, DFT and Physical feasibility analysis
––Easy to ramp up and begin productive u se within half a day, even for non-experts
––Structured methodology enables quick adoption by engineers and constraints-optimized designs
• Reduces or eliminates need for respins, potentially saving millions of dollars
• Enables early closure of hand-off ready RTL design
• Elevates design optimization from gate-level to RTL, where it is most cost effective
• Helps dispersed design teams to create more consistent, high-quality designs
• Enables effective design reuse and IP integration
• Integrates seamlessly into existing design environments, dramatically enhancing efficiency of installed tools and methodologies
SpyGlass Predictive Analyzer® significantly improves design efficiency for the world’s leading semiconductor and consumer
electronics companies. Patented solutions provide early design insight into the demanding performance, power and area
requirements of the complex system-on-chips (SoCs) fueling today’s consumer electronics.
©2018 Synopsys, Inc. All rights reserved. Synopsys is a trademark of Synopsys, Inc. in the United States and other countries. A list of Synopsys trademarks is
available at synopsys.com/copyright.html . All other names mentioned herein are trademarks or registered trademarks of their respective owners.
08/15/18.CS12112_SpyGlassLint_DS.