Press Releases

OneSpin Solutions, Plunify Join Forces to Deliver Cloud-Based FPGA Verification


Initial Integration Leverages OneSpin’s HDL Linting Technology to Extend Plunify’s Cloud-Based FPGA Software Suite

SANTA CLARA, CA, November 21, 2013 – OneSpin Solutions™ and Plunify® today announced a close and far-reaching partnership to improve the methodology for Cloud-based verification solutions for the design of field programmable gate arrays (FPGAs).

The alliance between OneSpin, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, and Plunify, provider of Cloud computing solutions for semiconductor chip design, will eliminate disjointed FPGA-based verification flows. OneSpin is enabling Plunify to improve the verification component of the FPGA flow by providing core, Cloudbased technology. The ability to access the entire FPGA design flow in the Cloud, through the ondemand, pay-per-use business model provides tool ownership flexibility, ease of use and installation.

Immediately available is OneSpin’s hardware description language (HDL) Linting technology integrated with Plunify’s EDAxtend, a Cloud-based, integrated suite of software for the entire FPGA design flow, that moves linting into the FPGA design and verification process. The integration allows linting tasks to be automatically scheduled in the correct sequence, with results viewed within the design suite environment or downloaded to the engineer’s desktop for better ease of use and shorter development cycles.

EDAxtend provides a Cloud-based, integrated suite of tools for the complete FPGA design flow. Providing high-end build servers and secure design collaboration capabilities, EDAxtend gives designers advanced analysis and verification tools on a pay-per-use basis. By augmenting this flow with a formal-based linting technology, engineers are able to find a broad range of potential design or code problems earlier in the design process, eliminating costly issues while they are easy to repair and accelerating the overall FPGA implementation.

“OneSpin has proven to be a visionary company cracking the Cloud computing issues dogging the industry,” says Harnhua Ng, Plunify’s vice president of Engineering. “We are delighted to be cooperating with OneSpin to extend verification to FPGA designs. With its HDL Linting features, hardware designers on our platform can detect language issues more quickly with minimal changes to their existing methodologies.”

“FPGAs are a critical component in many systems, and the increase in their size and complexity have driven an evolution in their verification requirements.” notes Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer. “Plunify has done an excellent job of changing the FPGA design systems game with its unique Cloud-based model and our partnership will bring powerful verification solutions to this key market segment, accelerating FPGA design flows.”

Pricing and Availability

The OneSpin Linting technology is available immediately as a part of the Plunify FPGA design and verification flow. Pricing is available upon request.

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions was founded in 2005 as a spin-off from Infineon Technologies AG. Its award-winning formal verification software is based on more than 300 engineering years of development and application service experience. OneSpin’s comprehensive product line enables design teams to avoid costly design respins, while dramatically cutting their verification effort, costs and engineering schedules. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in Santa Clara, Calif. Corporate headquarters is in Munich, Germany. Email: Website:

About Plunify

Plunify Pte. Ltd. solutions enable semiconductor chip designers to shorten product time-to-market and reduce development costs with no disruption to existing workflows. The EDAxtend™ cloud platform and the InTime™ auto-tuning tool helps electronics companies meet FPGA design performance targets and significantly reduce their products’ time to market. For more on Plunify’s products, send email

OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. Plunify is a registered trademark of Plunify Pte. Ltd. EDAxtend is a trademark of Plunify. All other trademarks are the property of their respective owners.

Media Contact:

Cecilia Choo
Plunify Pte Ltd
+65 8198 1931