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

2019-05-23

OneSpin 360 EC-FPGA Ensures Design Integrity for Machine Learning, AI, Big Data, High-Bandwidth Applications that Require Highly Optimised Implementations, QoR

 

 

Munich, Germany – May 23, 2019 – 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.”