Early Design Analysis for Logic Designers

SpyGlass Resources

Using advanced static analysis, SpyGlass pinpoints structural, coding and consistency problems in RTL descriptions. The SpyGlass Lint Solution offers a comprehensive solution for analysis of RTL structures. It traces problems to their source and helps designers resolve issues before they creep into downstream design implementation. The SpyGlass platform also addresses electrical rules checking (ERC) in the design. 

SpyGlass Lint: Structural RTL Checks

SpyGlass linting integrates industry-standard best practices, as well as Atrenta's 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. Base SpyGlass detects synthesizability & simulation issues way before the long cycles of verification and implementation. SpyGlass automates the audit and design review process by producing simple violation and waiver reports.

SpyGlass Lint Turbo: Smarter, Faster and Deeper Design Analysis

Atrenta’s next generation SpyGlass Lint Turbo Solution provides a three pronged attack on the issues facing SoC RTL signoff.

SpyGlass Advanced Lint: Deeper Design Analysis with Formal Technology

Using advanced formal analysis, SpyGlass Advanced Lint pinpoints deeper functional problems in RTL designs without requiring test benches or assertions. SpyGlass Advanced Lint ensures that design intent is correct by verifying control logic (FSM), synchronous FIFOs, signals toggling, bus integrity (contention, floating state, index overflow) and design initialization. The resulting RTL is more optimized and verifiable with comprehensive FSM style reporting and detection of logic redundancies (dead code). This improves the area, timing, power and testability of your design. SpyGlass Advanced Lint also provides a design complexity DashBoard for tracking RTL quality as it is developed. It complements the extensive structural linting checks of the SpyGlass solution.

The Methodology

Atrenta's SpyGlass solution methodology provides a structured, easy to use and a comprehensive method for solving RTL design issues, thereby ensuring high quality RTL with fewer design bugs.

Features & Benefits

SpyGlass Lint Features Lint Lint Turbo Advanced Lint

Structural Lint (Syntax, Semantics, Synthesis, Simulation etc.)

 

Functional Lint (Bit-width, Signed-unsigned assignment etc.)

   

Physical Lint (Large-Mux, Large Fanout / Fanin Cones, Synthesized/unsynthesized memories etc.)

   

Hierarchical Flow with abstract models (Top-down/Bottom-up)

   

FSM analysis to identify deadlocked and unreachable states

   

Synchronous FIFO analysis to report underflow and overflow

   

Dead code analysis

   

Cyclomatic complexity analysis