DAC 2011, SAN DIEGO, USA: Atrenta Inc., a leading provider of SoC Realization solutions for the semiconductor and electronic systems industries, announced that Fujitsu Kyushu Network Technologies Ltd 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 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 percent 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.
“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' adoption of our SpyGlass Advanced Lint solution further validates the enhanced value of our SpyGlass platform.”