Product category:
Design and Development Software
News Release from: OneSpin Solutions | Subject: 360 EC-FPGA
Edited by the Electronicstalk Editorial
Team on 11 December 2007
Equivalence checker is made for the FPGA
market
Tool verifies functional equivalence between the RTL code and post-synthesis FPGA netlist, and between the post-synthesis netlist and post-place-and-route FPGA netlist.
New from OneSpin Solutions, the stand-alone 360 EC-FPGA equivalence checker is reckoned to be the industry's first sequential equivalence checking solution dedicated to and priced for the FPGA market It is the only equivalence checker to support all sequential optimisations performed by FPGA synthesis tools
This article was originally published on Electronicstalk on 23 Jan 2008 at 8.00am (UK)
Related stories
Language link eases verification
OneSpin's 360 MV ensures that all functional errors in complex digital modules and intellectual property (IP) are detected.
Systematic verification boosts productivity
Process systematically delivers predictable, repeatable verification results for complex modules and IP, accelerating the gap-free formal verification that ensures first-time error-free operation.
It thus enables designers to verify functionality without disabling the advanced synthesis optimisations vital to achieving functional, performance and cost goals.
Formerly an extension of OneSpin's established 360 EC-ASIC equivalence checker, 360 EC-FPGA now is packaged stand-alone and priced for broad application in the FPGA market.
OneSpin also has extended 360 EC-FPGA's support to include: all Altera Stratix and Cyclone FPGAs, and HardCopy; most Xilinx Spartan and Virtex products; and the Synplicity Synplify Pro synthesis flow - including gated clock conversion.
Synthesis tool independent, 360 EC-FPGA verifies functional equivalence between the register transfer level (RTL) code and post-synthesis FPGA netlist, and between the post-synthesis netlist and post-place-and-route FPGA netlist.
It efficiently proves, without time-consuming simulation, that design functionality is preserved through all implementation phases - detecting errors and mismatches introduced by sophisticated FPGA synthesis optimisations, and dramatically reducing debug time.
The solution supports both prototyping and production-part verification.
According to Peter Feist, President and CEO of OneSpin: "The design of complex, highly optimised FPGAs mandates the use of equivalence checking, and designers want an FPGA-specific solution that does not compromise optimisations".
"We built the 360 EC-FPGA as a stand-alone, tailor-made solution to satisfy that need".
"Our customers tell us it fits easily into their established FPGA flows and ensures the quality of their designs".
"Its technological advantages and attractive pricing will help OneSpin capture the lead in this emerging market segment".
The new 360 EC-FPGA solution is available now for Linux 32/64bit and Solaris 32/64bit platforms.
A one-year, time-based licence for either Altera or Xilinx devices ("single vendor licence") is priced at US $40,800.
A full one-year time-based licence for both Altera and Xilinx ("full licence") is priced at US $57,100.
• OneSpin Solutions: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• Electronicstalk Home Page
Search the Pro-Talk network of sites
