“Fujitsu Kyushu Network Technologies Limited’s adoption of our SpyGlass Advanced Lint solution further validates the enhanced value of our SpyGlass platform,” said Ramesh Dewangan, senior director of product marketing for the SpyGlass platform at Atrenta.
Recently, Atrenta extended its SpyGlass family and added an Advanced Lint feature. Fujitsu Kyushu Network Technologies said that it performed rigorous evaluation of the Advanced Lint capability and identified several critical problems in RTL through its use.
“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,” said Yuji Yoshitani, senior engineer for Development Dept.II, System logic Development Center at Fujitsu Kyushu Network Technologies.
Yoshitani said that SpyGlass AutoVerify enables the company to check “RTL activation status,” such as checking dead code, FSM deadlocks, unreachable states, static registers and initialized values of registers.
Company officials said that Advanced Lint feature uses formal verification techniques to detect hard-to-find design problems early and fix them even before functional verification begins.
In addition to extensive finite state machine (FSM) checks and audit capabilities, dead code checks, Advanced Lint capabilities include parallel and full-case pragma verification, bus contention and floating bus detection.
Moreover, the solution provides extensive support for VHDL and Verilog and also System Verilog as part of the SpyGlass platform, according to company officials.
“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,” Dewangan said.
Atrenta is a provider of SoC Realization solutions for the semiconductor and electronic systems industries. Last month, the company announced the deployment of a comprehensive soft IP qualification program using its SpyGlass platform and a targeted subset of its GuideWare reference methodology in TSMC’s IP quality assessment program.
Want to learn more about the latest in communications and technology? Then be sure to attend ITEXPO West 2011, taking place Sept. 13-15, 2011, in Austin, Texas. ITEXPO (News - Alert) offers an educational program to help corporate decision makers select the right IP-based voice, video, fax and unified communications solutions to improve their operations. It's also where service providers learn how to profitably roll out the services their subscribers are clamoring for – and where resellers can learn about new growth opportunities. To register, click here.