OneSpin Solutions Delivers Next-Generation Equivalence Checker for Advanced FPGA Design Verification

MUNICH, Germany & SUNNYVALE, Calif.—(BUSINESS WIRE)—February 12, 2007— OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides breakthrough formal verification solutions, today 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.


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. For further information please visit or email Contact: OneSpin Solutions GmbH, Theresienhoehe 12, D-80339 Munich, Phone: + 49-89-99013-0; and 1275 Orleans Drive, Sunnyvale, CA 94089, Sunnyvale, CA 94089, Phone: 408.470.4970, Fax: 408.904.7515.

OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other brands, product names and marks are or may be trademarks or registered trademarks used to identify products or services of their respective owners.


OneSpin Solutions GmbH
Stephanie Kluenker, (49) 89.99013.446
Email Contact


Review Article Be the first to review this article

Featured Video
Senior RF Design Engineer for Lockheed Martin at Chelmsford, Massachusetts
Principal Engineer, Firmware Engineering for Western Digital at Milpitas, California
Firmware Engineer for Western Digital at Colorado Springs, Colorado
Principal Engineer - ASIC Implementation for Microchip at Portland, Oregon
Hardware Design Engineer for FlexRadio at Austin, Texas
Embedded Firmware Engineer for FlexRadio at Austin, Texas
Upcoming Events
NanoTech 2019 Conference and Expo at Boston MA - Jun 17 - 19, 2019
PCI-SIG DevCon US 2019 at santa clara convention center Santa Clara CA - Jun 18 - 19, 2019
2019 FLEX Korea at COEX Seoul Korea (South) - Jun 19 - 20, 2019
Sensors Expo & Conference 2019 at McEnery Convention Center San Jose CA - Jun 25 - 27, 2019
TrueCircuits: IoTPLL

Internet Business Systems © 2019 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise