OneSpin Launches Next-Generation 360 EC-FPGA Equivalence Checking

OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides breakthrough formal verification solutions, announced its next-generation 360 EC-FPGA equivalence checking solution.

It is the industry’s first equivalence checker to support all sequential optimizations performed by FPGA synthesis tools on large designs, enabling designers to meet functional, performance and cost targets, with minimal manual intervention. It is ideal for both prototyping and production-part verification.

The new 360 EC-FPGA enhances OneSpin’s established 360 EC ASIC equivalence checker with innovative FPGA verification capability. It thoroughly proves, without simulation, that design functionality is maintained through all implementation phases of FPGA and ASIC design.

Unlike other established equivalence checkers, synthesis-tool-independent 360 EC-FPGA allows FPGA designers to leverage the optimizations afforded by FPGA synthesis tools and to verify the design “as is,” without having to switch off optimizations and undertake extensive manual scripting.

In particular, it verifies whole-chip flat netlists, enabling the most aggressive optimizations.

It works with established FPGA synthesis tools and flows without any change to the flow, delivering industry-leading ease of use. Moreover, the solution does not require the “side files” generated by the synthesis tool, which often are not even validated by equivalence checkers.

According to Peter Feist, President and CEO of OneSpin, “Our customers tell us their ability to use the 360 EC-FPGA means they don’t have to trade-off quality vs. productivity. Our new push-button approach accelerates hardware delivery and software development, speeding overall time to market.”

The 360 EC-FPGA solution verifies functional equivalence between the register transfer level (RTL) code and the post-synthesis FPGA netlist, as well as between the post-synthesis netlist and the post-place-and-route FPGA netlist.

The new equivalence checker supports all major FPGA families from Altera and Xilinx, including netlists generated by the ubiquitous Synplicity(R) Synplify Pro(R) and the Altera(R) Quartus(R) II synthesis flows.

“OneSpin’s 360 EC-FPGA shows deep understanding of the sophisticated optimizations performed by Synplicity’s FPGA synthesis tools,” said Andy Haines, Synplicity’s Senior VP of Worldwide Marketing, “bringing extra productivity to our mutual customers.”

Majid Ghameshlu, Senior Project Manager Chip Design at Siemens CES added, “360 EC-FPGA secures our FPGA prototyping flow from bugs that might be introduced during synthesis and optimization steps. Its extensive support for sequential optimizations allows us to use more sophisticated synthesis optimizations, resulting in a faster implementation and in better device utilization. 360 EC-FPGA has proven very useful in shortening our debugging cycle.”

The 360 EC-FPGA solution also can be deployed with OneSpin’s 360 Module Verifier (360 MV) to deliver error-free FPGA-based intellectual property from RTL to FPGA device.

The 360 MV static formal verification solution ensures error-free IP, while 360 EC-FPGA preserves this quality through subsequent design phases.

Pricing and Availability
The 360 EC-FPGA solution – featuring FPGA equivalence checking for Synplicity’s Synplify Pro and Altera’s Quartus II FPGA synthesis tools as well as ASIC equivalence checking – is available now. A license is priced at U.S. $ 137,500.

About OneSpin Solutions
OneSpin Solutions provides electronic design automation (EDA) methodologies, tools and services for fundamental verification tasks at transaction, RT and gate levels. OneSpin’s patented formal verification technology builds on 250 engineer-years of innovation and development, and has been field-proven on hundreds of complex designs to increase the quality of results, while reducing the cost and time to results. Market-leading consumer, telecommunications, automotive, computer, and embedded system companies rely on OneSpin’s technology to achieve true functional sign-off for their IP, complex subsystems, processors and peripherals, and to preserve this quality level through subsequent design phases. Privately held, OneSpin was founded in 2005, and is headquartered in Munich, Germany.

OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH.