OneSpin Meets Increased Demand for Formal Equivalence Checking Solution with Support for Intel Stratix 10, Arria 10, Cyclone V FPGA Families

MUNICH, Germany, May 23, 2019 (GLOBE NEWSWIRE) -- OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, today announced its OneSpin 360 EC-FPGA now supports three Intel® field programmable gate array (FPGA) families, Stratix® 10, Arria® 10, and Cyclone® V. 

The move to support FPGAs used in high-bandwidth applications meets increasing demand from verification engineers for formal equivalence checking solutions that ensure functional correctness of FPGA designs from register transfer level (RTL) code to final netlist. OneSpin 360 EC-FPGA supports Cyclone V using Intel Quartus® Prime Standard Edition software for synthesis and place-and-route, and Stratix 10 and Arria 10 with Intel Quartus® Prime Pro Edition software for synthesis and place-and-route.

“We work closely with FPGA vendors including Intel to verify advanced optimizations in their leading-edge products, making EC-FPGA an essential part of successful design and verification,” says Tobias Welp, OneSpin’s engineering manager. “Adding Stratix 10, Arria 10 and Cyclone V to our extensive list of FPGA families is driven by users who rely on OneSpin 360 EC-FPGA to assure integrity for the most complex and demanding designs.”

OneSpin’s Support for High-Performance FPGAs

Cyclone V, Stratix 10 and Arria 10 are used in high-bandwidth applications that range from 5G communications, artificial intelligence, machine learning, data center acceleration and high-performance computing to radar processing, defense, automotive and medical. Applications like these require the latest synthesis technology to take advantage of architectural advances, such as specialized intellectual property (IP) blocks, and to meet timing and power specifications.

OneSpin 360 EC-FPGA ensures that advanced optimizations needed to meet aggressive power, performance and area goals do not change design functionality. Its sequential equivalence checking can determine whether these optimizations preserved the functional behavior of the design.

The tool is implemented in the FPGA flow from RTL to place-and-route to check RTL code against a post-synthesis, gate-level netlist, ensuring integrity through the logic and physical synthesis process.

EC-FPGA also detects unexpected functionality, unintentional logic inserted due to flow errors, and a variety of hardware Trojans and other malicious logic intentionally inserted. This assures trust in the final device.

In a separate news release today, OneSpin unveiled the RISC-V Verification App, the first App in the OneSpin RISC-V Integrity Verification Solution for safety- and security-critical applications.

Availability and Pricing

The latest version of OneSpin 360 EC-FPGA is shipping now, as is the RISC-V Verification App.

Pricing is available upon request.

OneSpin at DAC

EC-FPGA, the RISC-V Verification App and OneSpin’s other certified IC integrity verification solutions will be featured at the 56th Design Automation Conference (DAC) in Booth #308 Monday-Wednesday, June 3-5, from 10 a.m. until 6 p.m. at the Las Vegas Convention Center.

DAC attendees can schedule demonstrations by going to

OneSpin will host “Verified,” the annual celebration of the verification ecosystem, at Topgolf Las Vegas at MGM Grand Monday, June 3, during DAC. A limited number of tickets is available from OneSpin or its co-hosts Agnisys, AMIQ EDA, Avery Design Systems, Blue Pearl Software, Breker Verification Systems, Concept Engineering, Dassault Systèmes, Imperas, Semifore and Verific Design Automation.

About OneSpin Solutions

OneSpin Solutions is a leading provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits. These solutions are based on OneSpin's widely used formal verification technology and assure the integrity of SoCs, ASICs and FPGAs. Headquartered in Munich, Germany, OneSpin partners with leaders worldwide in automotive and industrial applications; defense; avionics; artificial intelligence and machine learning; consumer electronics; and communications. Its advanced solutions are well-suited for developing heterogeneous computing platforms, using programmable logic, and designing and integrating processor cores, such as RISC-V. OneSpin's customer-oriented commitment is fundamental to its growth and success. OneSpin: Assuring IC Integrity. Visit to learn more.

Connect with OneSpin at:
Twitter: @OneSpinSolution

OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins                         
Public Relations for OneSpin
(617) 437-1822                                         

OneSpin Signet Claim 2019 f01 rgb.png

Review Article Be the first to review this article

Featured Video
Latest Blog Posts
Graham BellSilvaco Nanometer Newsbyte
by Graham Bell
230 Power Device Simulations using Silvaco TCAD
Colin WallsEmbedded Software
by Colin Walls
Low power modes
Principal Software Engineer (Middleware) for Alcon Research, LLC. at Lake Forest, California
Nano-Optics Process Engineer for DiCon Fiberoptics, Inc. at Richmond, California
Electrical Engineer ‐  ASIC Layout  for SECOND SIGHT MEDICAL PRODUCTS at Sylmar, California
Product Applications Engineer for DiCon Fiberoptics, Inc. at Richmond, California
Electrical Engineer for SECOND SIGHT MEDICAL PRODUCTS at Sylmar, California
Lead Validation Engineer for Alcon Research, LLC. at Johns Creek, Georgia
Upcoming Events
Embedded Systems Conference (ESC) Silicon Valley at San Jose Convention Center San Jose CA - Aug 27 - 29, 2019
Tech Symposium on RISC-V at Hotel Daniel Herzlia Tel Aviv Israel - Sep 5, 2019
PCB West 2019 at santa clara convention center Santa Clara CA - Sep 9 - 12, 2019
SEMICON Taiwan 2019 at TaiNEX Taipei Taiwan - Sep 18 - 20, 2019

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