Fujitsu Kyushu Network Technologies Limited Adopts Atrenta’s SpyGlass® AutoVerify for RTL Functional Checks

Printer-friendly versionPDF version

Atrenta Inc. today announced at the Design Automation Conference here that Fujitsu Kyushu Network Technologies Limited has adopted its SpyGlass® AutoVerify for Advanced Lint analysis to achieve design quality of results (QoR) and design productivity improvements in their ASIC/FPGA flows.

San Diego, Calif. — June 6, 2011 — Atrenta Inc., a leading provider of SoC Realization solutions for the semiconductor and electronic systems industries, today announced at the Design Automation Conference here that Fujitsu Kyushu Network Technologies Limited has adopted its SpyGlass® AutoVerify for Advanced Lint analysis to achieve design quality of results (QoR) and design productivity improvements in their ASIC/FPGA flows.

Atrenta has recently extended its SpyGlass family by adding an Advanced Lint feature, which uses formal verification techniques to detect hard-to-find design problems early – and fix them even before functional verification begins. Advanced Lint capabilities include extensive finite state machine (FSM) checks and audit capabilities, dead code checks, parallel and full-case pragma verification, bus contention and floating bus detection. As part of the SpyGlass platform, the solution provides extensive support for VHDL and Verilog as well as System Verilog.

Fujitsu Kyushu Network Technologies Limited performed rigorous evaluation of the Advanced Lint capability and identified several critical problems in RTL through its use.

“With verification taking as much as 70% of total design cycle time, we believe that verification at the early stages of design can provide significant improvement in productivity,” said Yuji Yoshitani, Senior Engineer, Development Dept.II, System logic Development Center at Fujitsu Kyushu Network Technologies Limited. “With SpyGlass AuoVerify, we were able to identify deeper RTL issues using formal technologies which are hard-to-find using basic linting or a simulation based methodology. SpyGlass AutoVerify enables us to check “RTL activation status”, such as checking dead code, FSM deadlocks, unreachable states, static registers and initialized values of registers.”

“Atrenta’s SpyGlass is already a de-facto industry standard in linting solutions, and the only platform to perform RTL analysis for linting, power, DFT, clock domain crossing, timing constraints and routing congestion,” said Ramesh Dewangan, senior director, product marketing for the SpyGlass platform at Atrenta. “Fujitsu Kyushu Network Technologies Limited’s adoption of our SpyGlass Advanced Lint solution further validates the enhanced value of our SpyGlass platform.”

About Atrenta
Atrenta is a leading provider of SoC Realization solutions for the semiconductor and electronic systems industries. As one of the largest private electronic design automation companies, Atrenta provides a comprehensive SoC Realization solution that delivers higher quality semiconductor IP, predictable design coherence, automated chip assembly and improved implementation readiness. Its SpyGlass® and GenSys® products and GuideWare reference methodologies open the way for broader deployment of system on chip (SoC) devices in the marketplace, improving time to market, reducing implementation costs and lowering risk. With over 170 customers, including 18 of the top 20 semiconductor and consumer electronics companies, Atrenta enables the most complex SoC designs in the world. Atrenta, the SoC Realization Company. www.atrenta.com.

*******************************************************

© 2011 Atrenta Inc. All rights reserved. Atrenta, the Atrenta logo, SpyGlass and GenSys are registered trademarks of Atrenta Inc. All others are the property of their respective holders.

This press release contains forward-looking statements. Atrenta disclaims any obligation and does not undertake to update or revise the forward-looking statements in this press release.