OneSpin Solutions GmbH’s 360 EC-FPGA equivalence checking solution supports 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.
The 360 EC-FPGA 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.
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.
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.
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.