OneSpin Solutions Offers Full Availability of its Cloud Computing System After Successful Beta Program

Secure On-Demand Usage, Parallel Performance Through Amazon Web Services

SANTA CLARA, CALIF. –– September 24, 2013 –– OneSpin® Solutions (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, announced today full availability of its Cloud Computing System after a successful 90-day, limited-trial Beta program.

“With a successful limited-trial program drawing to a close, we can confirm the scalability and performance benefits of an EDA Cloud Computing strategy for static verification solutions,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer. “Companies have expressed confidence in the improved performance, security and accessibility of our solutions.”

The OneSpin Cloud Computing System, available via the Amazon Web Services™ (AWS) Marketplace, provides secure and fully automated solutions for advanced formal verification (FV), offering the functionality provided by OneSpin 360 DV-Inspect™ and 360 DV-Verify™.

One Beta program participant was brightONE™ Embedded Systems, a service provider for smart product engineering, including field programmable gate array (FPGA)-based solutions. “As a Beta tester for OneSpin’s Cloud Computing System, we were able to fully utilize this powerful verification technology and extend our coverage on a per-customer/per-project-basis,” notes Holger Soukup, its head of R&D Hi-Tech Electronics. “OneSpin has implemented a creative approach to a vexing problem. This could represent a breakthrough for EDA tools in the cloud.”

Unveiled in May, OneSpin’s Cloud Computing Systems is simple to use and designed to give project teams flexibility previously unavailable for electronic design automation (EDA) tools. Design security is assured by leveraging the operational model inherent in OneSpin’s Formal Verification software, which does not require the transfer of intellectual property to and from the cloud.

“Amazon welcomes OneSpin to the AWS Marketplace as part of an increasing trend toward scalable, cloud-based EDA solutions,” says Sajai Krishnan, GM, AWS Marketplace. “We are excited to have the power, economy and flexibility of the AWS cloud available to our EDA customers via OneSpin’s Cloud Computing System.”

Pricing and Availability

OneSpin’s Cloud Computing System is available now, with no upfront investment required to use the tools, available on a pay-per-use basis in AWS Marketplace. Pricing starts from $25 per hour for running the 360 DV Inspect functionality in the Cloud.

For more information, visit: www.onespin-solutions.com.

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: info@onespin-solutions.com. Website: www.onespin-solutions.com.